Tiramisu: Fast Multilayer Network Verification
作者： Aaron Gember-Jacobson , Aditya Akella , Anubhavnidhi Abhashkumar
DOI:
关键词:
摘要: … model common network features. We develop a new, general multilayer graph control plane … configurations in < 0.08s in small networks and < 2.2s in large networks. Tiramisu is 2-600X …
参考文章(2)
David Maltz, Theophilus Benson, Aditya Akella, Unraveling the complexity of network management networked systems design and implementation. pp. 335- 348 ,(2009)
Jin Y. Yen, Finding the K Shortest Loopless Paths in a Network Management Science. ,vol. 17, pp. 712- 716 ,(1971) , 10.1287/MNSC.17.11.712