Bettina Krammer, Michael M. Resch. Correctness Checking of MPI One-Sided Communication Using Marmot. In Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User s Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings. Volume 4192 of Lecture Notes in Computer Science, pages 105-114, Springer, 2006. [doi]
Abstract is missing.