Automatic Generation of Executable Communication Specifications from Parallel Applications.
Xing WuFrank MuellerScott PakinPublished in: IPDPS Workshops (2011)
Keyphrases
- formal specification
- attribute grammars
- control flow
- communication networks
- distributed memory
- high level
- interconnection networks
- communication protocol
- communication overhead
- parallel computing
- data sets
- parallel implementation
- shared memory
- automatically generate
- computer networks
- communication technologies
- functional requirements
- specification language
- parallel computation
- communication systems
- parallel processing
- general purpose
- information systems
- delay insensitive
- real time