Efficient race detection for message-passing programs with nonblocking sends and receives

IEEE Symposium on Parallel and Distributed Processing - Proceedings

Volumn , Issue , 1995, Pages 534-541

  Cypher, Robert ^a   Leu, Eric ^a  

^a JOHNS HOPKINS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; ERROR DETECTION; MATHEMATICAL MODELS; PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS; PROGRAM DEBUGGING;

LOGICAL CLOCKS; MESSAGE BUFFERING; MESSAGE-PASSING PROGRAMS; NONBLOCKING SENDS/RECEIVES; PARALLEL PROGRAMS; POLYNOMIAL TIME; RACE DETECTION;

DATA COMMUNICATION SYSTEMS;

EID: 0029507670     PISSN: 10636374     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)