Taming Message-Passing Communication in Compositional Reasoning About Confidentiality.

Ximeng Li Heiko Mantel Markus Tasch

Published in: APLAS (2017)

Keyphrases

message passing
belief propagation
distributed systems
interconnection networks
probabilistic inference
shared memory
inference in graphical models
markov random field
factor graphs
ldpc codes
sum product algorithm
high quality
distributed shared memory
graphical models
three dimensional
matrix multiplication