控制流检测

作品数:17被引量:47H指数:4
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:戴葵陈微徐建军谭庆平刘芳更多>>
相关机构:国防科学技术大学哈尔滨工程大学华中科技大学中国科学院软件研究所更多>>
相关期刊:《计算机工程与设计》《计算机研究与发展》《计算机工程》《高技术通讯》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划黑龙江省博士后基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=信息工程大学学报x
条 记 录,以下是1-1
视图:
排序:
基于检测能力分析的控制流检测优化方法被引量:1
《信息工程大学学报》2015年第1期30-34,40,共6页卫彦伉 王大鸣 崔维嘉 
国家863计划资助项目(2012AA01A502)
控制流检测是抵抗单粒子效应的有效手段之一。高效的控制流检测方法须实现容错性能和容错开销的合理均衡。首先对控制流标签检测方法的检测性能及影响因素进行建模分析,得到了标签添加的理论基础。然后将一种基于格式化标签的可拓展控...
关键词:控制流检测 扩展块 标签检测 软件容错 故障注入 
检索报告 对象比较 聚类工具 使用帮助 返回顶部