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

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

帮助

限定条件

语种：英语

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	基于路径约束求解的多目标状态激励生成方法 期刊论文 计算机学报, 2016, 卷号: 39.0, 期号: 009, 页码: 1829 作者:  周艳红;  王天成;  李华伟;  吕涛;  李晓维 收藏  |  浏览/下载：7/0  |  提交时间：2023/12/04 激励生成  难达状态  抽象引导模拟  路径约束求解
	SER-Tvpack：基于软错误率评估的SRAM型FPGA的装箱算法 期刊论文 计算机研究与发展, 2014, 卷号: 51.0, 期号: 008, 页码: 1764 作者:  夏静;  王天成;  吕涛;  李华伟;  邝继顺 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 SRAM型FPGA  软错误率  可靠性  装箱  单粒子翻转
	小型猪经脉区皮肤微血管的三维重建 期刊论文 解剖学报, 2011, 卷号: 42.0, 期号: 003, 页码: 425 作者:  吕钊君;  张涛;  郭洋;  薛久洲;  李华;  胡平;  穆祥 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 微血管构筑  经脉线  免疫组织化学  三维重建  猪
	基于SAT的快速电路时延计算 期刊论文 计算机辅助设计与图形学学报, 2011, 卷号: 23.0, 期号: 003, 页码: 480 作者:  何子键;  吕涛;  李华伟;  李晓维 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 可满足性  电路时延  电路展开
	基于VPM和随机激励的处理器核仿真建模 期刊论文 计算机工程, 2010, 卷号: 36.0, 期号: 020, 页码: 19 作者:  许彤;  张仕健;  吕涛 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 IP仿真模型  SimpleScalar模拟器  可控随机事件  总线功能模型  龙芯1号处理器
	基于覆盖率模型的AMBA接口随机验证方法 期刊论文 计算机应用研究, 2008, 卷号: 25.0, 期号: 007, 页码: 2078 作者:  许彤;  吕涛 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 覆盖率模型  约束化随机测试  AMBAAHB  龙芯1号IP核  片上系统  设计重用
	无权访问的条目 期刊论文 作者:  Wei Lu(鲁巍);  Xiu-Tao Yang（杨修涛）;  Tao Lv（吕涛）;  Xiao-Wei Li（李晓维） Adobe PDF(701Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/03
	基于对等网络的全文信息检索 期刊论文 计算机研究与发展, 2004, 卷号: 41.0, 期号: 012, 页码: 2148 作者:  程学旗;  吕建明;  周昭涛 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 对等网络  全文信息检索  质心法  路由
	模拟验证中的覆盖评估准则 期刊论文 微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 40 作者:  吕涛;  李晓维;  樊建平 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 模拟验证  覆盖评估准则  电路结构  可观测性  有限自动机  错误模型  集成电路
	通用CPU设计中的模拟验证技术及应用 期刊论文 系统仿真学报, 2002, 卷号: 14.0, 期号: 012, 页码: 1698 作者:  吕涛;  李华伟;  尹志刚;  刘国华;  李晓维;  樊建平 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 CPU  设计  模拟验证  芯片  错误模型  覆盖准则