李文海 阳富民 卢炎生 张杰 缪劲松 欧阳吉庭 何巍

动态链接 木材 截止期最早优先 依赖关系 实时调度 表面处理 形式化方法 容错 下确界限制 嵌入式 实时调度算法 特征序列 偶发任务 小型化 弱硬实时 优先级上限协议 挪用时间 自动机 低温等离子体

华中科技大学计算机科学与技术学院 北京理工大学理学院