Variables as Resource for Shared-Memory Programs: Semantics and Soundness.
Stephen D. BrookesPublished in: MFPS (2006)
Keyphrases
- shared memory
- parallel algorithm
- message passing
- distributed memory
- parallel computing
- multi processor
- parallel programming
- parallel machines
- parallel architecture
- parallel computation
- resource management
- multithreading
- parallel architectures
- address space
- parallel execution
- memory access
- interprocess communication
- image processing
- parallel computers
- post processing
- logic programming
- programming environment
- massively parallel
- belief propagation
- high resolution
- commodity hardware
- computer vision
- parallel tree search