On Optimal Topology Verification and Failure Localization for Software Defined Networks.
Ulas C. KozatGuanfeng LiangKoray KoktenJános TapolcaiPublished in: IEEE/ACM Trans. Netw. (2016)
Keyphrases
- social networks
- optimal solution
- fully connected
- formal methods
- computer systems
- software development
- software architecture
- complex networks
- small world
- network analysis
- network structure
- software systems
- source code
- dynamic programming
- user interface
- genetic algorithm
- computer networks
- optimal control
- software tools
- software design
- network design
- root cause