会议论文《面向多核处理器的低级并行程序验证》发表于2008全国软件与应用学术会议（NASAC08）。该文针对多核处理器环境下并行程序的验证问题，提出了一种低级并行程序的验证方法。文章分析了多核架构下并行程序的复杂性，探讨了如何通过形式化方法确保程序的正确性和一致性，为多核编程提供了理论支持和实践指导。
文档为pdf格式，0.48MB，总共6页。
举报
