On the decidability of shared memory consistency verification.
Ali SezginGanesh GopalakrishnanPublished in: MEMOCODE (2005)
Keyphrases
- shared memory
- parallel algorithm
- message passing
- parallel computing
- distributed memory
- multi processor
- parallel architecture
- parallel architectures
- model checking
- parallel machines
- parallel execution
- parallel programming
- shared memory multiprocessors
- address space
- parallel computation
- shared memory multiprocessor
- belief propagation
- general purpose
- commodity hardware
- interprocess communication
- three dimensional