control-flow checking; control-flow error detection; inherent redundancy; multi-core processor; on-line testing;
机译:收回并行执行跟踪:在控制流程检查的多核架构中开发未充分利用的资源的替代解决方案
机译:并行执行跟踪:用于控制流检查的多核架构中未充分利用资源的替代解决方案
机译:一种有效的自适应软件实现技术,可检测多核体系结构中的控制流错误
机译:在商品多核架构中结合基本和程序级别检查的控制流错误检测
机译:通过模型检查自动检测严重的存储系统错误。
机译:将自动规划完整性检查(APIC)与标准计划文件和清单方法相结合以减少治疗计划中的错误
机译:并行执行跟踪:用于利用用于控制流程检查的多核架构中利用资源的替代解决方案