已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 期刊论文 作者: Wei-Wu Hu(胡伟武); Jian Wang(王 剑)
Adobe PDF(5783Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/11/02 |
| 无权访问的条目 期刊论文 作者: 张仕健; 许彤; 章隆兵; 胡伟武
Adobe PDF(734Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/19 |
| 一个基于微处理器功能模型的可靠度评估系统 期刊论文 计算机学报, 2008, 卷号: 31.0, 期号: 003, 页码: 391 作者: 张仕健; 许彤; 章隆兵; 胡伟武
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 故障注入 可靠度评估 容错技术 微处理器 瞬态故障 |
| 无权访问的条目 期刊论文 作者: 张仕健; 胡伟武
Adobe PDF(759Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/21 |
| 无权访问的条目 期刊论文 作者: 陈云霁; 张健; 沈海华; 胡伟武
Adobe PDF(413Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/21 |
| 一种基于SAT的运算电路查错方法 期刊论文 计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082 作者: 陈云霁 ; 张健; 沈海华; 胡伟武
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 形式验证 模型检验 SAT E—CNF 标志子句 |
| 一种向分支指令后插入冗余指令的容错微结构 期刊论文 计算机学报, 2007, 卷号: 30.0, 期号: 010, 页码: 1674 作者: 张仕健; 胡伟武
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 瞬态故障 时间冗余 容错 分支预测 嵌入式微处理器 |