| 刘键(1930年11月生)，江西临川人。从1982年起任华中理工大学计算机系教授，曾任中国计算机学会理事，湖北省计算机学会副理事长兼软件专业委员会上任。从1992年起享受国务院颁发的特殊贡献津贴。长期从事并行与分布式程序设计的教学与研究，先后主持多个系统软件的研制开发(其中包括获联合国颁发的“发明创新科技之星”奖的全自动并行化编译系统HZPARA)，完成多项国家自然科学基金资助项目，在并行与分布式计算理论方面做了较为系统的创新丁作。已出版的专著有《分布式计算机系统》与《并行分布式程序设计》，在国内外著名期刊上发表的学术
论文五十篇以上。 |
| 第一章 概论 1.1 并行计算与并行程序设计方法学 1.2 并行计算机系统 1.3 网络拓扑与通信模式 1.4 并行计算 1.5 并行算法结构 1.6 程序设计的一般概念 1.7 并行程序设计方法的基本原则 1.8 常见的几种同步互斥机制 1.9 并行程序设计的性能考虑 第一章 小结 第二章 并行计算理论初步 2.1 抽象数据类型与并行模块化 2.2 对象式程序设计概念 2.3 抽象相关分析 2.4 基于数据驱动模型的并行程序构造 2.5 基于数据驱动模式的并行程序设计 2.6 软件开发过程的计划 2.7 并行程序执行控制模式 第二章 小结 第三章 并行分解技术 3.1 并行分解技术概论 3.2 论域分解之一 3.3 论域分解之二 3.4 对象分解方法 3.5 计算分解 3.6 控制分解 第三章 小结 第四章 分布式反应系统 4.1 分布式反应系统与形式开发方法 4.2 传统Petri网与扩充Petri网 4.3 分布式状态机模型 4.4 分布式实时状态机模型 4.5 DSM的代数模型及基模型检验算法 第四章 小结 第五章 并行程序设计环境与工具 5.1 并行程序设计环境的目标、特点与基本问题 5.2 并行软件IC的识别与开发 5.3 并行软件IC的检验与编码 5.4 软件IC的合成与组装 第五章 小结 参考文献 |
内容加载中，请稍后...
商品评论（0条）