Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. In Jack J. Dongarra, Alexandre Denis, Brice Goglin, Emmanuel Jeannot, Guillaume Mercier, editors, Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France, September 21-23, 2015. pages 16, ACM, 2015. [doi]
Abstract is missing.