Delta-net: Real-time Network Verification Using Atoms.
Alex HornAli KheradmandMukul R. PrasadPublished in: NSDI (2017)
Keyphrases
- real time
- linear combination
- network structure
- computer networks
- network topologies
- link prediction
- data sets
- neural network
- data flow
- peer to peer
- logic programs
- network model
- wireless sensor
- network architecture
- communication networks
- network traffic
- complex networks
- end to end
- shortest path
- low cost
- mobile robot
- image sequences