Verifying parallel programs with MPI-spin

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4757 LNCS, Issue , 2007, Pages 13-14

  Siegel, Stephen F ^a  

^a University of Delaware   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; PARALLEL PROGRAMMING; PROGRAM DEBUGGING; SUPERVISORY AND EXECUTIVE PROGRAMS;

LANGUAGE BASICS; MESSAGE PASSING INTERFACE (MPI); NUMERICAL COMPUTATIONS;

MESSAGE PASSING;

EID: 38449085075     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75416-9_8     Document Type: Conference Paper

References (0)