C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
VeriFlow: Verifying Network-Wide Invariants in Real Time.
Ahmed Khurshid
Xuan Zou
Wenxuan Zhou
Matthew Caesar
Philip Brighten Godfrey
Published in:
NSDI (2013)
Keyphrases
</>
real time
low cost
wide range
wireless sensor networks
network model
network structure
complex networks
communication networks
transport protocol
distributed network
real time systems
network design
communication cost
network traffic
quality of service
high speed
multiscale
social networks
neural network