Tiramisu: Fast Multilayer Network Verification.

Anubhavnidhi Abhashkumar Aaron Gember-Jacobson Aditya Akella

Published in: NSDI (2020)

Keyphrases

network model
single layer
network structure
database
information retrieval
complex networks
network traffic
communication networks
face verification
mobile communication
data sets
artificial intelligence
e learning
response time
model checking
network architecture