梁晓雯 刘桂英 徐骏 赵保华 顾翔 毕于慧 森下严 方毅 周颢 钱兰 张英堂 杨晶 胡劲松 邓勇 方木云 周晓芳 周晓煜 孙宇霖 李姝 赵静 贾若宇 谢孟昊 潘全科 李越鹏 李翠 吕欣岩 袁斌 石勇军 曹小虎 张波

最大完成时间 传输延迟 TCL 算法 RSL JM模型 并发路径 通信顺序进程 仿生学 形式化描述 随机测试 双环网络 BorlandCBuilder 被动测试 人工智能 负载平衡 VM管理 LPN 同步有向图 CC2500 扩展可达树 NAT 字更新写回型Cache SAPIT 种植生产 无线传感网络 超并行MIMD TURN 主控计算机 吞吐量

中国科技大学计算机系 中国科学技术大学信息科学技术学院 中国科学技术大学电子工程与信息科学系 中国科学技术大学计算机科学与技术系 中国科学技术大学计算机系 中国科技大学电子工程与信息科学系 中国科学技术大学 中国科学技术大学电子工程系