Scalable verification of MPI programs

2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW) ◽

10.1109/ipdpsw.2010.5470683 ◽

2010 ◽

Author(s):

Anh Vo ◽

Ganesh Gopalakrishnan

Download Full-text