中国科学院计算技术研究所机构知识库

浏览/检索结果: 共6条，第1-6条

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序WOS被引频次升序WOS被引频次降序提交时间升序提交时间降序期刊影响因子升序期刊影响因子降序题名升序题名降序发表日期升序发表日期降序
	基于路径约束求解的多目标状态激励生成方法 期刊论文 计算机学报, 2016, 卷号: 39.0, 期号: 009, 页码: 1829 作者:  周艳红;  王天成;  李华伟;  吕涛;  李晓维 收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04 激励生成  难达状态  抽象引导模拟  路径约束求解
	PCIE协议栈模拟验证平台的设计和实现 期刊论文 计算机工程, 2015, 卷号: 41.0, 期号: 006, 页码: 287 作者:  张良;  王天成;  王健;  李华伟;  郭建 收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04 功能验证  PCIE协议栈  协议栈验证  功能覆盖率  约束随机模拟  激励生成
	处理器验证激励在线筛选技术 期刊论文 计算机辅助设计与图形学学报, 2012, 卷号: 24.0, 期号: 005, 页码: 690 作者:  郭崎 收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04 功能验证  激励生成  在线学习  功能覆盖率  核函数
	无权访问的条目 期刊论文 作者:  刘领一;  赵阳;  吕涛;  李华伟;  李晓维 Adobe PDF(271Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/22
	基于混合遗传算法的RTL激励生成 期刊论文 小型微型计算机系统, 2006, 卷号: 27.0, 期号: 1.0, 页码: 80 作者:  鲁巍;  杨修涛;  李晓维 收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04 混合遗传算法  激励生成  模拟
	无权访问的条目 期刊论文 作者:  鲁 巍;  吕 涛;  杨修涛;  李晓维 Adobe PDF(406Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/15