您的位置： 专家智库 > >

张鲁子

作品数：2 被引量：0H指数：0
供职机构：中国科学院海洋研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇调度
  • 1篇调度系统
  • 1篇多处理机
  • 1篇多处理机系统
  • 1篇多任务
  • 1篇多任务并行
  • 1篇程序语言
  • 1篇处理机
  • 1篇处理机系统

机构

  • 2篇青岛大学
  • 1篇中国科学院

作者

  • 2篇张鲁子
  • 2篇许曰滨

传媒

  • 2篇青岛大学学报...

年份

  • 1篇1998
  • 1篇1997
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一个描述内存工作区操作的公理语义方法
1997年
本文定义了一个内存工作区处理语言ＭＰＬ，并提出用于描述该语言的形式化方法．作为示例，文中最后给出一个程序部分正确性的验证提纲．
许曰滨张鲁子
关键词：程序语言
多任务并行调度系统中的一种订票算法
1998年
本文提出多道相关任务系统并行调度方法．文中引入了一种描述任务资源分配的数据基ＴＣＢ（任务控制块），并提出一个用于任务定序的“订票”算法，简称ＢＴ（ＢｏｏｋｉｎｇＴｉｃｋｅｔ）算法，改善了系统的处理能力．
许曰滨张鲁子
关键词：多处理机系统
全选 清除 导出
共1页<1>
聚类工具0