中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共20条，第1-10条 帮助

限定条件        
已选(0)清除 条数/页：   排序方式：
Observability statement coverage based on dynamic factored use-definition chains for functional verification 期刊论文
JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2006, 卷号: 22, 期号: 3, 页码: 273-285
作者:  Lv, Tao;  Fan, Jian-Ping;  Li, Xiao-Wei;  Liu, Ling-Yi
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/16
design verification  coverage metrics  observability  dynamic factored use-definition chains  data-flow analysis  
基于混合遗传算法的RTL激励生成 期刊论文
小型微型计算机系统, 2006, 卷号: 27.0, 期号: 1.0, 页码: 80
作者:  鲁巍;  杨修涛;  李晓维
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
混合遗传算法  激励生成  模拟  
一种微处理器芯片的验证测试分析及应用 期刊论文
计算机工程, 2006, 卷号: 32.0, 期号: 009, 页码: 219
作者:  檀彦卓;  韩银和;  李晓维
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
验证测试  生产测试  失效分析  可测试性设计  故障模型  
端到端的可用带宽测量方法 期刊论文
软件学报, 2006, 卷号: 17.0, 期号: 1.0, 页码: 108
作者:  刘敏;  李忠诚;  过晓冰;  邓辉
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
可用带宽  瓶颈带宽  容量  蒙特卡洛  带宽测量  
机群系统中对硬件监控方法的研究与实现 期刊论文
计算机工程, 2006, 卷号: 32.0, 期号: 1.0, 页码: 229
作者:  金正操;  侯紫峰;  杜晓黎
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
高性能计算  机群系统  机群监控  串口通信  层次串口网络  
一种基于自动机分解的网络协议并行处理策略 期刊论文
计算机学报, 2006, 卷号: 29.0, 期号: 008, 页码: 1496
作者:  张志斌;  郭莉;  陈小军;  方滨兴
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
SMT  协议处理  自动机分解  Cache  
移动IPv6网络的层次AAA方案研究 期刊论文
通信学报, 2006, 卷号: 27.0, 期号: 002, 页码: 50
作者:  肖文曙;  张玉军;  李忠诚
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
移动IPv6  层次AAA  外地安全关联  
全局部分重复计算划分 期刊论文
计算机研究与发展, 2006, 页码: 2158
作者:  王轶然;  陈莉;  冯晓兵
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
并行化编译器  分布式主存系统  部分重复计算划分  数据并行  
覆盖状态内部分枝的测试向量生成 期刊论文
小型微型计算机系统, 2006, 卷号: 27.0, 期号: 004, 页码: 745
作者:  杨修涛;  鲁巍;  李华伟;  李晓维
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
状态覆盖  分枝覆盖  测试向量生成  
CMOS电路动静态功耗协同分析 期刊论文
计算机工程, 2006, 卷号: 32.0, 期号: 010, 页码: 231
作者:  徐勇军;  陈静华;  骆祖莹;  李晓维
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
功耗估计  协同分析  均方率  最大偏移率