On Verification of Parallel Message-Passing Processes.
Stein KrogdahlOlav LysnePublished in: Formal Aspects Comput. (2002)
Keyphrases
- message passing
- shared memory
- belief propagation
- message passing interface
- distributed shared memory
- distributed systems
- probabilistic inference
- factor graphs
- distributed memory
- markov random field
- approximate inference
- parallel programming
- parallel computing
- sum product
- parallel algorithm
- sum product algorithm
- ldpc codes
- parallel implementation
- graph cuts
- graphical models
- three dimensional
- inference in graphical models
- matrix multiplication
- parallel execution
- parallel architectures
- dynamic programming