Verifying Deadlock-Freedom of Communication Fabrics.

Alexander Gotmanov Satrajit Chatterjee Michael Kishinevsky

Published in: VMCAI (2011)

Keyphrases

resource constrained
communication protocol
real time
data acquisition
communication networks
communication systems
communication channels
communication overhead
instant messaging
neural network
machine learning
search engine
multiscale
sensor networks
communication patterns