刘宏伟 黄明 崔光佐 刘荣峰 郭庆平 张侃晖 钱晓东 李引珍 李晓明 王泉 周敏刚 张学宏

加速比 并行程序设计 业务处理时间 终止状态 客户服务器 谓词 分布式系统 顺序推理机 假脱机系统 分布式处理 死锁 实时软件 自动机 SQL语言 拓扑结构 静态分析 同步控制 并行处理 ODBC 打印机进程 Unix系统 算法 晶片机 可达标识图 结构分析 数据冲突 Transputer 元素组成 状态向量 进栈