维普中文期刊产品整合服务
共被期刊论文引用了2次 您的检索式:您选中1篇文献正在查看引证文献汇总
    题名 作者 年代 出处 被引量
1采用基本块规约的控制流检测性能优化方法显示文摘控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术,但是该技术引入的检测指令过多,导致程序效率低下.本文使用基本块规约的技术,在原基本块的基础上,选择合适的约束量重新划分基本块,减少引入的检测指令.与8个常见算法的性能比较表明,该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率.肖贺 王永吉 潘远明 丁丽萍 2009小型微型计算机系统2009,30,12:1
2CFCIB:基于插入块的控制流错误检测方法显示文摘为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。陆庄伟 张显明 刘立祥 赵军锁 2011计算机工程与设计2011,32,9:0
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费