Author:
Chiang Wei-Fan,Szubzda Grzegorz,Gopalakrishnan Ganesh,Thakur Rajeev
Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Eddy murphi. distribution,
http://www.cs.utah.edu/formal_verification/mediawiki/index.php/Eddy_Murphi
2. Altekar, G., Stoica, I.: ODR: Output-deterministic replay for multicore debugging. In: 22nd symposium on Operating Systems Principles (SOSP), pp. 193–206 (2009)
3. Vakkalanka, S.: Efficient Dynamic Verification Algorithms for MPI Applications. PhD thesis (2010),
http://www.cs.utah.edu/Theses
4. Lecture Notes in Computer Science;S. Vakkalanka,2008
5. Vo, A., Vakkalanka, S., DeLisi, M., Gopalakrishnan, G., Kirby, R.M., Thakur, R.: Formal verification of practical mpi programs. In: PPoPP, pp. 261–269 (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献