A Formal CSP Framework for Message-Passing HPC Programming.

John D. Carter William B. Gardner

Published in: CCECE (2006)

Keyphrases

message passing
belief propagation
shared memory
probabilistic model
distributed systems
constraint satisfaction problems
sum product algorithm
three dimensional
preprocessing
graph cuts
stereo matching