Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation Edgar Gabriel1 , Graham E. Fagg1 , George Bosilca1 , Thara Angskun1 , Jack J. Dongarra1 , Jeffrey M. Squyres2 , Vishal Sahay2 , Prabhanjan Kamb

First Page		Document Content
Date: 2016-07-13 05:33:02 Computing Parallel computing Computer programming Application programming interfaces Message Passing Interface Fault-tolerant computer systems LAM/MPI MPICH Open MPI Computer cluster SHMEM Application checkpointing		Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation Edgar Gabriel1 , Graham E. Fagg1 , George Bosilca1 , Thara Angskun1 , Jack J. Dongarra1 , Jeffrey M. Squyres2 , Vishal Sahay2 , Prabhanjan Kamb Add to Reading List Source URL: www.open-mpi.de Download Document from Source Website File Size: 133,31 KB Share Document on Facebook

	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that DocID: 1xVqL - View Document
	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that DocID: 1xUKn - View Document
	Cluster Fault-Tolerance: An Experimental Evaluation of Checkpointing and MapReduce through Simulation Thomas C. Bressoud #1 , Michael A. Kozuch ∗2 # DocID: 1rqZy - View Document
	Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ † DocID: 1rqQM - View Document