并行程序验证论文

论文摘要近年来,由于物理定律的障碍,使用增加晶体管数量来提高处理器性能的摩尔定律已经逐渐走到了尽头。为了解决这个问题,人们将目光投向了多核处理器,它主要通过并行计算来提高性能。...

论文摘要多核多处理器等以共享存储为特征的新一代系统结构的出现,加速了对快速研发基于共享资源的并行软件的需求,这给基于共享资源的高可信并行软件构造带来许多挑战性研究课题。在基于共...

论文摘要近年来,随着超线程、多核体系结构等多线程技术的发展和广泛应用,计算机硬件已经提供了越来越高效的软件运行平台。但是要更好地利用这些平台的并行优势,计算机软件就需要具备更好...

论文题目:并行最优化算法与软件设计及数值软件移植论文类型:博士论文论文专业:计算机软件与理论作者:王建导师:迟学斌关键词:非线性共轭梯度法,无约束最优化,并行算法,并行计算,线...