Synthesizing Runtime Programmable Switch Updates
Synthesizing Runtime Programmable Switch Updates
复制标题
综合运行时可编程交换机更新
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Chen, Ang
中科院分区：
文献类型：
--
作者：
Qiu, Yiming;Beckett, Ryan;Chen, Ang
登录
查看更多内容
DOI：
--
发表时间：
2020
期刊：
--
影响因子：
--
作者：
Jiarong Xing;Qiao Kang;Ang Chen
通讯作者：
Jiarong Xing;Qiao Kang;Ang Chen
DOI：
10.4204/eptcs.157.10
发表时间：
2014
期刊：
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Susmit Jha;S. Seshia
通讯作者：
S. Seshia
DOI：
10.1145/3484266.3487377
发表时间：
2021-11
期刊：
Proceedings of the 20th ACM Workshop on Hot Topics in Networks
影响因子：
--
作者：
Jiarong Xing;Kuo-Feng Hsu;Hongyi Liu;Matty Kadosh;Nvidia Alan;Lo Nvidia;Aditya Akella;T. Anderson;Arvind Krishnamurthy;T. Ng;Ang Chen;Yiming Qiu;Matty Ka-dosh;Alan Lo;Arvind Krish-namurthy
通讯作者：
Jiarong Xing;Kuo-Feng Hsu;Hongyi Liu;Matty Kadosh;Nvidia Alan;Lo Nvidia;Aditya Akella;T. Anderson;Arvind Krishnamurthy;T. Ng;Ang Chen;Yiming Qiu;Matty Ka-dosh;Alan Lo;Arvind Krish-namurthy
DOI：
10.1109/icnp.2019.8888057
发表时间：
2019-10
期刊：
2019 IEEE 27th International Conference on Network Protocols (ICNP)
影响因子：
--
作者：
G. Li;Menghao Zhang;Chang Liu;Xiao Kong;Ang Chen;G. Gu;Haixin Duan
通讯作者：
G. Li;Menghao Zhang;Chang Liu;Xiao Kong;Ang Chen;G. Gu;Haixin Duan
影响因子：
--
作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig
通讯作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig