CSpace

浏览/检索结果: 共7条,第1-7条 帮助

限定条件        
已选(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
作者:  张仕健;  许彤;  章隆兵;  胡伟武
收藏  |  浏览/下载: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
作者:  陈云霁;  张健;  沈海华;  胡伟武
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
形式验证  模型检验  SAT  E—CNF  标志子句  
一种向分支指令后插入冗余指令的容错微结构 期刊论文
计算机学报, 2007, 卷号: 30.0, 期号: 010, 页码: 1674
作者:  张仕健;  胡伟武
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
瞬态故障  时间冗余  容错  分支预测  嵌入式微处理器