已选(0)清除
条数/页: 排序方式: |
| 基于寄存器簇恢复的追踪信号选择方法 期刊论文 计算机学报, 2018, 卷号: 41.0, 期号: 010, 页码: 2318 作者: 程云; 李华伟; 王颖; 李晓维
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 追踪调试 追踪信号选择 状态恢复率 硅后调试 |
| 基于路径约束求解的多目标状态激励生成方法 期刊论文 计算机学报, 2016, 卷号: 39.0, 期号: 009, 页码: 1829 作者: 周艳红; 王天成 ; 李华伟; 吕涛; 李晓维
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 激励生成 难达状态 抽象引导模拟 路径约束求解 |
| 基于存储级并行的同时多线程电压紧急容错技术 期刊论文 计算机学报, 2013, 卷号: 36.0, 期号: 005, 页码: 1065 作者: 胡杏; 潘送军 ; 胡瑜 ; 李晓维
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 电压紧急 感应噪声 同时多线程 存储级并行 |
| 无权访问的条目 期刊论文 作者: 赵阳; 吕涛; 李华伟; 李晓维
Adobe PDF(640Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/18 |
| 无权访问的条目 期刊论文 作者: 徐朝农; 赵磊; 徐勇军; 李晓维
Adobe PDF(584Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/20 |
| 无权访问的条目 期刊论文 作者: 张旻晋; 李华伟; 李晓维
Adobe PDF(583Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/21 |
| 无线传感器网络时间同步协议的改进策略 期刊论文 计算机学报, 2007, 卷号: 30.0, 期号: 004, 页码: 514 作者: 徐朝农; 赵磊; 徐勇军; 李晓维
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 无线传感器网络 时间同步 网络时间协议 同步性 低功耗 |
| 面向串扰时延效应的时序分析方法及在集成电路测试中的应用 期刊论文 计算机学报, 2007, 卷号: 30.0, 期号: 010, 页码: 1681 作者: 张旻晋; 李华伟; 李晓维
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 串扰 静态时序分析 通路时延故障 时延测试 |
| 无权访问的条目 期刊论文 作者: 邵明; 李光辉; 李晓维
Adobe PDF(303Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/11/01 |
| 基于增量可满足性的等价性检验方法 期刊论文 计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者: 李光辉; 李晓维
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 增量可满足性 等价性检验 组合电路 形式验证 数字集成电路 等价结点 |