Toward a compositional data plane verification for large-scale networks
Toward a compositional data plane verification for large-scale networks
复制标题
面向大规模网络的组合数据平面验证
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
K.Fukuda
中科院分区：
文献类型：
--
作者：
R.Shiiba;S.Kobayashi;O.Akashi;K.Fukuda
登录
查看更多内容
DOI：
10.1145/3132747.3132753
发表时间：
2017-10
期刊：
Proceedings of the 26th Symposium on Operating Systems Principles
影响因子：
--
作者：
Aaron Gember;Aditya Akella;Ratul Mahajan;H. Liu
通讯作者：
Aaron Gember;Aditya Akella;Ratul Mahajan;H. Liu
Taproot：具有有限延迟的弹性分集路由
DOI：
10.1145/3482898.3483364
发表时间：
2021
期刊：
ACM SIGCOMM Symposium on SDN Research (SOSR
影响因子：
--
作者：
Ramadan, Eman;Mekky, Hesham;Jin, Cheng Jin;Dumba, Braulio;Zhang, Zhi-Li
通讯作者：
Zhang, Zhi-Li
影响因子：
--
作者：
Ryan Beckett;Aarti Gupta;Ratul Mahajan;D. Walker
通讯作者：
Ryan Beckett;Aarti Gupta;Ratul Mahajan;D. Walker
DOI：
--
发表时间：
2019-02
期刊：
--
影响因子：
--
作者：
Kuo-Feng Hsu;Ryan Beckett;Ang Chen;J. Rexford;Praveen Tammana;D. Walker
通讯作者：
Kuo-Feng Hsu;Ryan Beckett;Ang Chen;J. Rexford;Praveen Tammana;D. Walker