On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony.
Ahmed BouajjaniConstantin EneaKailiang JiShaz QadeerPublished in: CoRR (2018)
Keyphrases
- message passing
- belief propagation
- distributed systems
- markov random field
- probabilistic inference
- shared memory
- inference in graphical models
- factor graphs
- approximate inference
- distributed shared memory
- sum product algorithm
- computer vision
- graphical models
- matrix multiplication
- ldpc codes
- sum product
- post processing
- loopy belief propagation
- pairwise
- high quality