Verification of Faulty Message Passing Systems with Continuous State Space in PVS.

Concetta Pilotto Jerome White

Published in: NASA Formal Methods (2010)

Keyphrases

message passing
distributed systems
distributed shared memory
belief propagation
approximate inference
state space
probabilistic inference
sum product algorithm
sum product
three dimensional
computational complexity
stereo matching
shared memory