并行程序性能优化技术与程序正确性验证方法

2014-02-26
【项目来源】 国家863重大项目(2012AA010901) 
【起止时间】 2012.1-2015.12