A methodology for automatic generation of executable communication specifications from parallel MPI applications.
Xing WuFrank MuellerScott PakinPublished in: ACM Trans. Parallel Comput. (2014)
Keyphrases
- parallel implementation
- shared memory
- message passing interface
- parallelization strategy
- formal specification
- parallel programming
- parallel computing
- distributed memory
- massively parallel
- attribute grammars
- message passing
- parallel algorithm
- control flow
- design methodology
- high performance computing
- multithreading
- parallel computers
- computer networks
- communication networks
- high level
- general purpose
- specification language
- conceptual model
- sensor networks
- parallel execution
- parallel computation
- processing units
- programming environment
- communication channels