高级语言程序变换的机械化证明导论 何炎祥,江南 著.pdf
随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详
何炎祥
面向嵌入式系统的绿色编译理论与方法研究.pdf
本书从能耗以及资源的均衡使用度这两个影响嵌入式系统绿色指标的问题出发，系统而全面地介绍绿色编译优化理论及其关键技术在嵌入式系统中的应用。
面向片上缓存子系统的功耗优化方法.pdf
缓存作为计算机存储体系结构中的重要组成部分，对系统功耗和性能非常关键。本书全面系统地介绍缓存优化方法及其关键技术，从存储体系结构的角度出发，解决缓存的静态功耗和动态功耗问题，从而保证系统整体功耗的降低。同时，本书还重点阐述新型非易失性存储技术在架构缓存中的应用与实践。本书的主要内
可信编译构造理论与关键技术.pdf
本书介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。