A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency.
Ian J. HayesLarissa A. MeinickeKirsten WinterRobert J. ColvinPublished in: CoRR (2017)
Keyphrases
- shared memory
- message passing
- parallel computing
- parallel algorithm
- multi processor
- distributed memory
- program execution
- parallel architectures
- parallel execution
- parallel computation
- data model
- parallel architecture
- address space
- data flow
- parallel computers
- parallel machines
- belief propagation
- multi core systems
- concurrency control
- parallel programming
- compute unified device architecture