近日,全球网络通信领域会议ACM SIGCOMM'2022公布了录用论文,同济大学电子与信息工程学院SNLAB实验室撰写的《Flash:针对大规模网络快速,一致的数据平面验证系统》(Flash:Fast,Consistent Data Plane Verification for Large-Scale Network Settings)论文被录用.论文针对大规模网络中可能出现的数据平面更新风暴和长尾更新,引入...
In Proc. of the the 13th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'15), pages 218- 227. IEEE, 2015... S Jaksic,E Bartocci,R Grosu,... - Acm/ieee International Conference on Formal Methods & Models for Codesign 被引量: 32发表: 2015年 Web...