Ordering Traces Logically to Identify Lateness in Message Passing Programs.
Katherine E. IsaacsTodd GamblinAbhinav BhateleMartin SchulzBernd HamannPeer-Timo BremerPublished in: IEEE Trans. Parallel Distributed Syst. (2016)
Keyphrases
- message passing
- belief propagation
- factor graphs
- distributed systems
- approximate inference
- sum product
- probabilistic inference
- inference in graphical models
- shared memory
- markov random field
- distributed shared memory
- sum product algorithm
- graphical models
- high resolution
- loopy belief propagation
- ldpc codes
- input image