吕毅
【姓名】 吕毅
【职称】
【研究领域】 计算机硬件技术;计算机软件及计算机应用;互联网技术;
【研究方向】 机群文件系统的语义模型
【发表文献关键词】 有序二元判决图,异步时序电路,I/O自动机,机群文件系统,形式化方法,缓存一致性协议,特征函数,OBDD,异步时序,形式证明,基准程序,形式验证,网格评价,高生产率服务,全生命周期,形式规范,织女星网...
【工作单位】 中国科学院计算技术研究所
【曾工作单位】 中国科学院计算技术研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 5 5 4 153 1508
中国期刊全文数据库    共找到5篇
[1]李晓林,杨宁,李慧,吕毅.网格的全生命周期原理及应用[J]计算机研究与发展.2003,(12)
[2]吕毅,贺劲.LBCCP:一种符合UNIX语义的文件缓存一致性协议及其证明[J]微电子学与计算机.2003,(06)
[3]吕毅.形式化方法介绍及其在工程中的应用[J]微电子学与计算机.2003,(10)
[4]吕毅,马捷,唐荣锋.FSbench:一个机群文件系统基准程序[J]计算机工程.2004,(02)
[5]吕毅,姚志江,魏道政,解永良.异步时序电路分析的一种OBDD方法[J]计算机辅助设计与图形学学报.2001,(06)
更多