并行程序验证相关论文
随着软件的迅速发展和广泛应用,并行程序在天气预测、石油勘探等一些重要领域的应用也越来越普遍。目前,OpenMP已经成为使用最广泛......
本文主要介绍PVM并行程序验证系统的基本原理和实现技术．首先，我们扼要分析PVM程序的构成与特点；然后阐述验证系统的理论模型和验证算......
本文主要介绍ＰＶＭ并行程序验证系统的基本原理和实现技术。首先，我们扼要分析ＰＶＭ程序的构成与特点，然后阐述验证系统的理论模型和验证算法；最......
近年来,由于物理定律的障碍,使用增加晶体管数量来提高处理器性能的摩尔定律已经逐渐走到了尽头。为了解决这个问题,人们将目光投......
多核多处理器等以共享存储为特征的新一代系统结构的出现,加速了对快速研发基于共享资源的并行软件的需求,这给基于共享资源的高可......
