Rely-Guarantee Reasoning for Causally Consistent Shared Memory.
Ori LahavBrijesh DongolHeike WehrheimPublished in: CAV (1) (2023)
Keyphrases
- shared memory
- message passing
- parallel algorithm
- distributed memory
- parallel computing
- multi processor
- parallel computation
- parallel programming
- parallel machines
- parallel execution
- shared memory multiprocessors
- address space
- parallel architectures
- parallel architecture
- heterogeneous platforms
- parallel computers
- computer architecture
- markov random field
- multi core systems
- dynamic programming