First Page | Document Content | |
---|---|---|
Date: 2016-03-18 13:52:39Computing Internet Network architecture Internet protocols Internet Standards Routing protocols Networking hardware Computer networking Border Gateway Protocol Router Internet exchange point Raspberry Pi | iSDX: An Industrial-Scale Software-Defined IXP Arpit Gupta, Princeton University http://sdx.cs.princeton.edu Robert MacDavid, RĂ¼diger Birkner, Marco Canini, Nick Feamster, Jennifer Rexford, Laurent VanbeverAdd to Reading ListSource URL: opensourcesdn.orgDownload Document from Source WebsiteFile Size: 988,05 KBShare Document on Facebook |
Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver um eDocID: 1uOJq - View Document | |
Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver um eDocID: 1uyBr - View Document | |
Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver um eDocID: 1tJRq - View Document | |
Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug WoosDocID: 1tGFv - View Document | |
Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Doug WeitzDocID: 1t2Vi - View Document |