Verifying Concurrent Message-Passing C Programs with Recursive Calls.
Sagar ChakiEdmund M. ClarkeNicholas KiddThomas W. RepsTayssir TouiliPublished in: TACAS (2006)
Keyphrases
- message passing
- belief propagation
- distributed systems
- factor graphs
- approximate inference
- shared memory
- probabilistic inference
- graphical models
- markov random field
- distributed shared memory
- sum product
- sum product algorithm
- message passing interface
- inference in graphical models
- keypoints
- image processing
- loopy belief propagation
- energy minimization
- multi view