Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan. ISP Tool Update: Scalable MPI Verification. In Matthias S. Müller, Michael M. Resch, Alexander Schulz, Wolfgang E. Nagel, editors, Tools for High Performance Computing 2009 - Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden. pages 175-184, Springer, 2009. [doi]
Abstract is missing.