Composable specifications for structured shared-memory communication.
Benjamin P. WoodAdrian SampsonLuis CezeDan GrossmanPublished in: OOPSLA (2010)
Keyphrases
- shared memory
- interprocess communication
- message passing
- parallel algorithm
- distributed memory
- multi processor
- parallel computing
- parallel programming
- multithreading
- parallel machines
- parallel architectures
- parallel computers
- parallel computation
- address space
- information sharing
- shared memory multiprocessors
- parallel execution
- parallel architecture
- memory access
- three dimensional
- distributed environment
- parallel tree search