Sign in

A Framework for Proving Correctness of Adjoint Message-Passing Programs.

Uwe NaumannLaurent HascoëtChris HillPaul D. HovlandJan RiehmeJean Utke
Published in: PVM/MPI (2008)
Keyphrases
  • message passing
  • belief propagation
  • motion estimation
  • distributed systems
  • post processing
  • approximate inference
  • shared memory
  • sum product algorithm
  • inference in graphical models