Detection of Asynchronous Message Passing Errors Using Static Analysis.
Maria ChristakisKonstantinos SagonasPublished in: PADL (2011)
Keyphrases
- message passing
- static analysis
- belief propagation
- dynamic analysis
- distributed systems
- source code
- probabilistic inference
- shared memory
- distributed shared memory
- inference in graphical models
- approximate inference
- graphical models
- factor graphs
- test suite
- anomaly detection
- sum product algorithm
- junction tree
- sum product
- markov random field
- feature space