Login / Signup
Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks.
Hongyi Zeng
Shidong Zhang
Fei Ye
Vimalkumar Jeyakumar
Mickey Ju
Junda Liu
Nick McKeown
Amin Vahdat
Published in:
NSDI (2014)
Keyphrases
</>
metro ethernet
traffic engineering
social networks
database
case study
network analysis
network model
network design
databases
packet forwarding
learning algorithm
data model
network structure
complex networks
power law
verification method