A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.
Subodh SharmaSarvani S. VakkalankaGanesh GopalakrishnanRobert M. KirbyRajeev ThakurWilliam GroppPublished in: PVM/MPI (2008)
Keyphrases
- automatic detection
- shared memory
- computer programs
- message passing
- parallel implementation
- detection method
- parallel computing
- parallelization strategy
- expert systems
- general purpose
- formal specification
- java programs
- mathematical theory
- parallel programming
- high performance computing
- formal methods
- complex background
- data sets
- computer systems
- information systems