错误流模型相关论文
在许多关键应用中，计算机的高性能、低功耗和高可靠性是必须同时满足的要求．传统的软件容错技术频繁使用和比较分支指令检测错误，带来......
传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错．这种完全冗余在存储空间和性能上的开销都是相当大的．在错......
无论是可靠性工程还是软件可靠性中的可靠性模型，都难以描述硬件故障在程序中的传播问题．首先建立了计算数据流模型，并以无穷存储机器......
