Verified Compilation for Shared-Memory C.
Lennart BeringerGordon StewartRobert DockinsAndrew W. AppelPublished in: ESOP (2014)
Keyphrases
- shared memory
- message passing
- parallel algorithm
- distributed memory
- multi processor
- parallel computing
- parallel machines
- parallel computation
- parallel programming
- address space
- parallel architectures
- parallel tree search
- parallel execution
- parallel architecture
- memory access
- data parallelism
- parallel computers
- distributed environment
- multi core systems
- shared memory multiprocessors
- image processing