论文部分内容阅读
本文先根据Keller并行程序模式介绍程序等价性概念,然后重点阐述HZPARA系统中顺序程序并行转换规则及其不变性质,最后,给出顺序程序与其并行转换后的并行程序的等价性定理。
关于MIMD系统顺序并行转换的正确性
【摘 要】
：
本文先根据Keller并行程序模式介绍程序等价性概念,然后重点阐述HZPARA系统中顺序程序并行转换规则及其不变性质,最后,给出顺序程序与其并行转换后的并行程序的等价性定理。
【机 构】
：
华中理工大学计算机系,华中理工大学计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
1993年4期
【基金项目】
：
国家自然科学基金资助项目
其他文献
磁盘阵列操作系统ＤＡＯＳ把当前计算机Ｉ／Ｏ最新技术－独立磁盘冗余阵列技术ＲＡＩＤ融入ＵＮＩＸ操作系统中，它支持磁盘阵列中Ｉ／Ｏ并发操作，缓和了计算机主机和磁盘速度不匹配的矛盾。本文介绍了ＤＡＯＳ各模块的设计及其
本文介绍了将CAD技术应用于工件测量、绘制方面的一个实例。文章中论述了该系统的构成及如何实现CAD软件与高级语言间的自动联接。对开发三视图生成软件做了较详细的叙述。本系统与半自动三维座标测量仪联机,大大提高了对工件测量、绘制的效率,在工业生产方面具有实用价值。
贵州小香猪是我国最先开发、驯化、用于科学试验的小型猪,适于制作人类疾病的动物模型。为了准确了解它的病理过程,本文测定了小型香猪的生理、生化及形态正常值,并探讨了此
本文在已采用OPS5实现的基于知识的机器人规划系统KBROPS-1的基础上,讨论了同样世界模型下,KBROPS-1的OPS83实现,并对其规划过程及规划结果做了分析。
这是终年与海风相伴的出海门户。夜晚，环形海面上彻夜闪烁的渔灯与码头灯光、夜空星辰交相辉映，柔美的风景里有淡雅的气息。这是南中国海上的白鹭天堂。白鹭群骤飞起来的时候，既
本文介绍了一种用公共电话线网络进行远程通讯的集散式工控机系统。阐述了该系统的硬件配置及远程通讯软件编程，讨论了集散式系统的一般工业网络及调制解调器的工作原理等问题
本文提出了一种在关系数据库的基础上实现面向对象的存储机制,给出了存贮模型,并引进了对象标识的概念。通过标识映射把用户查询模式转换为库中基于标识的查询,实现了面向对