图形技术
图形技术技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
图形技术 全部资料 500 份
Matlab图形图像(苏金明).pdf
资料->【C】嵌入系统->【C5】Matlab仿真->【2】数值计算、数字图像与数字信号->【数字图像】->Matlab图形图像(苏金明).pdf
2024-12-10
6
一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的...
2014-01-15
191