Static Provenance Verification for Message Passing Programs.
Rupak MajumdarRoland MeyerZilong WangPublished in: SAS (2013)
Keyphrases
- message passing
- belief propagation
- distributed systems
- probabilistic inference
- factor graphs
- approximate inference
- inference in graphical models
- markov random field
- sum product algorithm
- distributed shared memory
- graphical models
- matrix multiplication
- stereo matching
- shared memory
- object recognition
- lp relaxation
- similarity measure
- image processing