On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony.
Ahmed BouajjaniConstantin EneaKailiang JiShaz QadeerPublished in: CAV (2) (2018)
Keyphrases
- message passing
- belief propagation
- distributed systems
- probabilistic inference
- approximate inference
- markov random field
- distributed shared memory
- factor graphs
- sum product algorithm
- shared memory
- inference in graphical models
- loopy belief propagation
- graphical models
- computer vision
- junction tree
- matrix multiplication
- message passing interface
- sum product
- pairwise