Reachability Testing of Asynchronous Message-Passing Programs.
Kuo-Chung TaiPublished in: PDSE (1997)
Keyphrases
- message passing
- belief propagation
- distributed systems
- shared memory
- inference in graphical models
- probabilistic inference
- factor graphs
- markov random field
- approximate inference
- distributed shared memory
- message passing interface
- sum product algorithm
- graphical models
- state space
- sum product
- stereo matching
- matrix multiplication
- energy minimization
- bayesian networks
- exact inference
- preprocessing