Semantics driven dynamic partial-order reduction of MPI-based parallel programs.
Robert PalmerGanesh GopalakrishnanRobert M. KirbyPublished in: PADTAD (2007)
Keyphrases
- parallel implementation
- model checking
- shared memory
- partial order reduction
- parallel computing
- parallel programming
- message passing interface
- distributed memory
- parallelization strategy
- massively parallel
- parallel algorithm
- parallel processing
- data driven
- formal semantics
- petri net
- logic programming
- operational semantics
- fixpoint
- high performance computing
- transformation rules
- stable model semantics
- dynamic aspects
- message passing