📚 故障容错技术资料

📦 资源总数:3022
💻 源代码:1553

🔥 故障容错热门资料

查看全部3022个资源 »

可重构计算技术兼具通用处理器(General-Purpose Processor,GPP)和专用集成电路(Application Specific Integr—ated Circuits,ASIC)的特点,既可以提供硬件高速的特性,又具有软件可以重新配置的特性。而动态部分可重构技术是可重构计算技术...

👤 edrtbme ⬇️ 131 次下载

可重构计算技术兼具通用处理器(General-Purpose Processor,GPP)和专用集成电路(Application Specific Integr—ated Circuits,ASIC)的特点,既可以提供硬件高速的特性,又具有软件可以重新配置的特性。而动态部分可重构技术是可重构计算技术...

👤 canderile ⬇️ 3 次下载

软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方...

👤 dudu1210004 ⬇️ 191 次下载

💻 故障容错源代码

查看更多 »
📂 故障容错资料分类