解绍词 文韶 何蔓微 温平川 刘久富 曹继伟 史应文 霍汉强 王树宗 麻信洛 郑萍 胡建军 孙德敏 曹东 肖可伟 秦祖立 秦大同 殷茜 李国义 王洪发 高晶 武勇 杨忠 张敏 刘翌 牟洪福 齐俊杰 赵全忠 张晓宇 熊金泉

计算科学 流程图 时钟中断 发展 嵌入式产品 VxWorks软件系统 接口库 虚拟原型 瓶颈 数字信号处理器 实时操作系统 操作系统 构件式设计 软件验证 实验教学 保健信息 动态优化技术 软件产业 能耗分析 虚拟系统集成 飞行控制软件 算法 嵌入式系统 符号化调试技术 嵌入式操作系统 间接转移指令 接口自动机 事务映射 虚拟机 Vmware虚拟机软件