The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA

First Page		Document Content
Date: 2010-07-21 10:31:15 Parallel computing Computing Computer engineering Computer science Electrical engineering Electronic engineering Electromagnetism Message Passing Interface Model checking Computer programming Computational science Simulation		The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 998,62 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