Verification and coverage of message passing multicore applications.
Etem DenizAlper SenJim HoltPublished in: ACM Trans. Design Autom. Electr. Syst. (2012)
Keyphrases
- message passing
- shared memory
- belief propagation
- distributed systems
- probabilistic inference
- inference in graphical models
- sum product algorithm
- approximate inference
- factor graphs
- markov random field
- parallel computing
- parallel programming
- sum product
- distributed shared memory
- graph cuts
- graphical models
- junction tree
- ldpc codes
- image processing