Header Space Analysis: Static Checking for Networks.

Peyman Kazemian George Varghese Nick McKeown

Published in: NSDI (2012)

Keyphrases

social networks
search space
real world
data analysis
real time
low dimensional
statistical analysis
artificial intelligence
multiscale
image analysis
space time
end to end