Symbolic consistency checking of OpenMp parallel programs.
Fang YuShun-Ching YangFarn WangGuan-Cheng ChenChe-Chang ChanPublished in: LCTES (2012)
Keyphrases
- consistency checking
- shared memory
- parallel programming
- multi core processors
- query answering
- parallel execution
- stochastic search
- parallel computing
- temporal constraints
- intermediate level
- distributed memory
- programming environment
- multi processor
- temporal reasoning
- parallel processing
- parallel algorithm
- massively parallel
- parallel computation
- high level
- processing units
- high performance computing
- path consistency
- graphics processing units
- constraint satisfaction problems
- computational complexity