Victor Samofalov, V. Krukov, B. Kuhn, S. Zheltov, Alexander V. Konovalov, J. Desouza. Automated Correctness Analysis of MPI Programs with Intel(r) Message Checker. In Gerhard R. Joubert, Wolfgang E. Nagel, Frans J. Peters, Oscar G. Plata, P. Tirado, Emilio L. Zapata, editors, Parallel Computing: Current & Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, 13-16 September 2005, Department of Computer Architecture, University of Malaga, Spain. Volume 33 of John von Neumann Institute for Computing Series, pages 901-908, Central Institute for Applied Mathematics, Jülich, Germany, 2005.
Abstract is missing.