Symbolic verification of message passing interface programs.
Hengbiao YuZhenbang ChenXianjin FuJi WangZhendong SuJun SunChun HuangWei DongPublished in: ICSE (2020)
Keyphrases
- message passing interface
- parallel implementation
- parallel algorithm
- massively parallel
- message passing
- high performance computing
- model checking
- shared memory
- processing units
- parallel programming
- high end
- parallel architectures
- programming environment
- parallel execution
- query optimization
- bayesian networks
- graphical models