2. 您的位置
3. 首页
4. 期刊论文
5. MDCI：基于多粒度动态控制流不变式的硬件故障局部化

MDCI：基于多粒度动态控制流不变式的硬件故障局部化

来源 :电子学报 | 被引量 : 0次 | 上传用户：xianyekong

【摘 要】

：

本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点

【作 者】

：

郑衍松 佟冬 王克义 程旭 

【机 构】

：

北京大学微处理器研发中心,北京大学深圳研究生院

【出 处】

：

电子学报

【发表日期】

：

2010年11期

【关键词】

：

多粒度 动态控制流不变式 硬件故障 故障局部化 multi-granularity  dynamic control flow invariants  hard 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点是否可达,从而将与硬件故障相关的代码范围局部化.实验结果表明MDCI只需检验少量的控制流程序点,就能准确地将与故障相关的代码范围局部化.

其他文献

春夏交替之口蹄疫篇

今年年初．武汉市和上海市奉贤区相继发生了A型口蹄疫疫情，这是A型口蹄疫首次在中国发生．引起了社会各界的广泛关注。农业部于2月13日发布消息称，上海市奉贤区口蹄疫疫情处置工作

期刊

口蹄疫世界动物卫生组织春夏疫情处置偶蹄动物传播速度生产危害动物疫病

中国品牌国际论坛11月开锣

由中国世界贸易组织研究会、中国广播电视协会主办的中国品牌国际论坛将于今年11月10日－12日在北京兰行．品牌是国际市场的通用语言，是支配资源、争夺市场的决定性力量．同时品牌也

期刊

中国品牌国际论坛世界贸易组织中国广播电视国际市场研究会不可分决定性

一种用于H.264编解码的新型高效可重构多变换VLSI结构

H.264/AVC标准采用了4×4整数变换.本文针对4×4正反变换分别提出了两个新的二维直接信号流图.在此基础上,设计了一个支持多变换的可重构高性能二维结构.该结构无需

期刊

可重构结构整数变换信号流图H.264reconfigurable architecture integer transform signal flo

乳业问题何时休？

各乳企经过2008年的乳业浩劫，在巨大的销售亏损和前所未有的信任危机之下，都立志洗心革面、痛改前非。但正所谓树欲静而风不止，乳企愈是想息事宁人，重振消费者信心，乳业越是不平静

期刊

乳业信任危机三聚氰胺消费者

我国面向中西亚最大外贸市场开业

我国面向中西亚、俄罗斯最大的专业外贸市场一火车头国际采购基地．近日在乌鲁木齐市正式开业来自全国各地的商品．今后将可通过这里走向中亚国际市场。火车头国际采购基地占地14

期刊

国际市场开业外贸西亚国际采购行业协会乌鲁木齐市哈萨克斯坦塔吉克斯坦

彩色兔毛和兔绒的市场价值

彩色长毛免是长毛免家族中的一个稀有品种。其主产品彩色兔毛、兔绒是纺织工业的高档原料。一直是毛纺织业的俏销产品，长期处于供不应求的市场趋势之中，价格坚挺，市场价格高出白

期刊

市场价值兔毛彩色兔绒市场价格纺织工业毛纺织业市场趋势供不应求

中国纺织品行业已经进入历史最好的发展时期

“中国纺织行业已经进入历史最好的发展时期”。中国纺织工业协会会长杜钰洲在2005中国纺织服装行业竞争力发布会上表示，中国纺织行业的综合竞争力正呈现全面提高的势头。

期刊

纺织行业中国历史纺织品行业竞争力纺织工业协会纺织服装发布会

河北省纺织行业协会毛纺分会成立

河北省纺织行业协会毛纺分会于2005年7月正式成立，河北省启发集团王启发董事长当选会长。

期刊

行业协会河北省毛纺纺织董事长

GM650养牛场应用情况浅析

随着生活水平的提高，人们对牛奶的需求量迅速增加，并且人们的要求也从最初的能有牛奶喝逐渐升级到了能喝上有安全保证、营养价值高的优质牛奶。这给全国的养牛场和养牛户出了一

期刊

养牛场应用优质牛奶滑移装载机安全保证营养价值生活水需求量

基于CMOS集成有源传感器的新型高能物理粒子轨迹追踪器

本文研究了一个采用标准0.35μm CMOS工艺制造的新型高能物理粒子轨迹追踪器.这个新型的追踪器运用CMOS有源像素传感器技术（CMOS Monolithic Active Pixel Sensors,MAPS）将信号

期刊

高能物理粒子轨迹追踪器CMOS有源像素传感器相关双次采样随机噪声固定噪声high-energy particle tracking detector