肖子枫 熊劲 吕毅 徐志伟 马捷 冯军 吴思宁 孟丹 韩承德 韩冀中

形式证明 平面扫描 IO自动机 异步IO 机群文件系统 文件元数据 元数据服务器 过滤规则 全路径解析 高速通信协议 渐缩规整包围盒 缓存一致性协议 包围盒 线段相交 存储服务器

中国科学院计算技术研究所智能中心 中国科学院计算技术研究所国家智能计算机研... 中国科学院计算技术研究所系统结构部