QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 MSAID: Automated detection of interference in multiple SDN applications 期刊论文 COMPUTER NETWORKS, 2019, 卷号: 153, 页码: 49-62 作者:  Li, Yahui;  Wang, Zhiliang;  Yao, Jiangyuan;  Yin, Xia;  Shi, Xingang 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30 Multiple SDN applications  Interferences  Formal methods   A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges 期刊论文 IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2019, 卷号: 21, 页码: 940-969 作者:  Li, Yahui;  Yin, Xia;  Wang, Zhiliang;  Yao, Jiangyuan;  Shi, Xingang 收藏  |  浏览/下载：13/0  |  提交时间：2019/12/30 Network verification  network testing  formal methods  network reliability  software-defined network   Efficient Scheduling of Weighted Coflows in Data Centers 期刊论文 IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2019, 卷号: 30, 页码: 2003-2017 作者:  Wang, Zhiliang;  Zhang, Han;  Shi, Xingang;  Yin, Xia;  Li, Yahui 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 DataCenter  coflow  weight  CCT  WCCT