Collective Contracts for Message-Passing Parallel Programs.
Ziqing LuoStephen F. SiegelPublished in: CAV (2) (2024)
Keyphrases
- message passing
- shared memory
- distributed shared memory
- message passing interface
- belief propagation
- distributed systems
- distributed memory
- parallel computing
- probabilistic inference
- sum product algorithm
- parallel programming
- inference in graphical models
- markov random field
- factor graphs
- parallel computation
- sum product
- parallel architectures
- matrix multiplication
- massively parallel
- parallel implementation
- parallel processing
- graph cuts
- graphical models