Synchronous Message Passing and Semaphores: An Equivalence Proof.
Iain CraigEgon BörgerPublished in: ASM (2010)
Keyphrases
- message passing
- belief propagation
- distributed systems
- probabilistic inference
- shared memory
- distributed shared memory
- factor graphs
- sum product algorithm
- approximate inference
- inference in graphical models
- markov random field
- graphical models
- matrix multiplication
- sum product
- message passing interface
- ldpc codes
- probabilistic model
- image processing