程序可靠性相关硕士博士期刊学术论文 - 皮皮文库

程序可靠性相关论文

反编译在航天工业中的应用

本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；介绍了反编译的背景知识；给出一个实用的反编译系统ＤＣＰＬ的设计模......

期刊

反编译软件工具程序验证程序可靠性

面向软错误的寄存器活跃区间分析

继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错......

期刊

软错误寄存器程序可靠性数据流分析过程间分析

看过本文同时还关注