Automatic generation of executable communication specifications from parallel applications.
Xing WuFrank MuellerScott PakinPublished in: ICS (2011)
Keyphrases
- formal specification
- attribute grammars
- control flow
- communication overhead
- high level
- communication protocols
- communication protocol
- packet switched
- shared memory
- communication cost
- communication channels
- instant messaging
- general purpose
- delay insensitive
- information systems
- information exchange
- parallel implementation
- specification language
- parallel processing
- distributed memory
- information sharing
- human computer interaction
- interconnection networks
- wireless sensor networks