Testing nondeterministic message-passing programs with NOPE.
Dieter KranzlmüllerPublished in: SPDT (1998)
Keyphrases
- message passing
- belief propagation
- distributed systems
- shared memory
- graphical models
- probabilistic inference
- approximate inference
- factor graphs
- sum product algorithm
- inference in graphical models
- matrix multiplication
- sum product
- distributed shared memory
- markov random field
- ldpc codes
- loopy belief propagation
- lp relaxation
- graph cuts