Rely-Guarantee Based Reasoning for Message-Passing Programs.
Jinjiang LeiZongyan QiuPublished in: Sci. Ann. Comput. Sci. (2014)
Keyphrases
- message passing
- belief propagation
- distributed systems
- markov random field
- probabilistic inference
- shared memory
- inference in graphical models
- distributed shared memory
- factor graphs
- sum product
- approximate inference
- sum product algorithm
- graphical models
- message passing interface
- matrix multiplication
- lp relaxation
- ldpc codes
- junction tree
- image processing
- bayesian networks