当前位置 >>  首页 >> 研究成果 >> 论文论著

2005年发表刊物论文

撰稿: 摄影: 发布时间:2006年09月15日
1.         李华伟、李晓维,Selection of Crosstalk-induced Faults in Enhanced Delay Test, Journal of Electronic Testing –Theory and Application,2005, 21 (3), pp.181-195
2.         韩银和、胡瑜、李晓维、李华伟等, Wrapper Scan Chains Design for Rapid and Low Power Testing of Embedded Cores, IEICE Transactions on Information and Systems,2005, Vol.E88-D, No.9, pp.2126-2135
3.         **宫曙光、李华伟、李晓维,An Innovative Free Memory Design for Network Processors in Home Network Gateway,IEEE Transactions on Consumer Electronics,2005, Vol.51, No.4,  pp.1182-1187
4.         李晓维、李光辉、邵明,Formal Verification Techniques Based on Boolean Satisfiability Problem, Journal of Computer Sciences and Technology, 2005, 20(1), pp.38-47
5.         鲁巍、杨修涛、吕涛、李晓维, An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage, Journal of Computer Sciences and Technology, 2005, Vol.20, No.6, pp.875-884
6.         刘昊植,余海燕,徐志伟,GSML: 一种面向交互和协同的用户端编程语言,计算机学报,2005, Vol. 28(4): 704~711.
7.         胡伟武,张福新,李祖松,Microarchitecture of the Goodson-2 Processor, Journal of Computer Science and Technology, 2005, 20(2):243-249
8.         熊劲,范志华,马捷,DCFS2的元数据一致性策略,计算机研究与发展,2005年第42卷第6期,P.1019-1027
9.         黄伟, 詹剑锋, 樊建平, DCFT-Kernel:一种基于组服务的机群容错管理系统的设计与实现,计算机研究与发展, 2005年第42卷第6期,P.993-999
10.     朱峻茂,杨寿保,樊建平,陈明宇,Grid与P2P混合计算环境下基于推荐证据推理的信任模型,计算机研究与发展,2005年第42卷第5期,P.797-803
11.     武林平,孟丹,梁毅,LUNF--基于节点失效特征的机群作业调度策略         计算机研究与发展2005年第42卷第6期,P.1000-1005
12.     孟丹,张志宏,陈明宇,高生产率计算系统,计算机研究与发展,2005年第42卷第4期,P.563-569
13.     林基,周小成,孟丹,基于智能网卡支持的并行通信协议,计算机研究与发展,2005年第42卷第6期,P.971-978
14.     张跃冬,杨毅,樊建平,计算机外设部件网格使能协议—gDevice,计算机研究与发展,2005年第42卷第6期,P.918-923
15.     杨卫兵,孙凝晖,陈明宇,曙光4000A中网格路由器的实现,计算机研究与发展,2005年第42卷第6期,P.1013-1018
16.     冯圣中,谭光明,徐琳,曙光4000H生物信息处理专用计算机的高性能算法研究,计算机研究与发展,2005年第42卷第6期,P.1053-1058
17.     杨晓君,张佩珩,苗彦超,系统域网络适配器设计,计算机研究与发展,2005年第42卷第6期,P.958-964
18.     孟丹,詹剑锋,王磊,一体化机群操作系统Phoenix,计算机研究与发展,2005年第42卷第6期,P.979-986
19.     张佩珩,刘新春,江先阳,一种面向生物信息学的可重构加速卡的设计与实现,计算机研究与发展,2005年第42卷第6期,P.930-937
20.     王海霞,韩承德,整数乘法电路的形式化验证方法研究,计算机研究与发展,2005,42(3):404-410
21.     解咏梅,张珩,张福新,基于覆盖率的功能验证方法, 计算机应用研究,22(1): 23-24,2005
22.     庄泗华,王剑,张福新, 检测Linux下的VFS型内核后门软件, 计算机应用研究,22(5):194-196,2005
23.     王敏,李静,范中磊,许鲁,一种虚拟化资源管理服务模型及其实现,计算机学报,2005年第28卷第5期
24.     尹宏达,史岗,胡明昌,系统域
附件下载: