Thread-Modular Verification for Shared-Memory Programs.
Cormac FlanaganStephen N. FreundShaz QadeerPublished in: ESOP (2002)
Keyphrases
- shared memory
- message passing
- parallel algorithm
- distributed memory
- parallel computing
- multi processor
- parallel programming
- parallel computation
- parallel architecture
- multi core systems
- parallel machines
- parallel architectures
- address space
- computer vision
- parallel computers
- parallel execution
- belief propagation
- programming environment
- commodity hardware