Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

First Page		Document Content
Date: 2014-02-26 06:04:38 Parallel computing Application programming interfaces Computer programming Message Passing Interface Computing Edsger W. Dijkstra Deadlock NC Software engineering Model checking		Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 356,13 KB Share Document on Facebook

	Recommended Reading W. Gropp, E. Lusk and A. Skjellum: “Using MPI: Portable Parallel Programming with the Message-Passing Interface”, 2nd Edn., MIT Press, 1999. DocID: 1uTIt - View Document
	DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 9, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standar DocID: 1sKGn - View Document
	Instructions for Preparing the MPI Standard Document Message Passing Interface Forum March 15, DocID: 1sslw - View Document
	DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 14, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standa DocID: 1sjfj - View Document
	DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 12, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standa DocID: 1sdTu - View Document