Convenus: Congestion verification of network updates in software-defined networks.
Xin LiuDong JinCheol Won LeeJong Cheol MoonPublished in: WSC (2016)
Keyphrases
- network structure
- network topologies
- network size
- dynamic routing
- complex networks
- network parameters
- network model
- computer networks
- network design
- heterogeneous networks
- real world networks
- cellular networks
- counter propagation
- dynamic networks
- high bandwidth
- community structure
- network resources
- connectionist networks
- peer to peer
- transport network
- network traffic
- scale free
- traffic patterns
- telecommunication networks
- small world
- recurrent networks
- transmission rate
- congestion control
- information diffusion
- internet traffic
- traffic flows
- future internet
- software development
- fully connected
- transportation networks
- power law
- travel time
- model checking
- software systems
- network nodes
- network analysis
- communication networks
- end to end
- social networks
- ns simulator