信息科学技术学术著作丛书：面向嵌入式系统的绿色编译理论与方法研究
图书信息
书名：信息科学技术学术著作丛书：面向嵌入式系统的绿色编译理论与方法研究作者：何炎祥,陈勇
包装：平装
开本：32
页数：187页
全文字数：252000
出版社：科学出版社
出版时间：2014-5-1
图书简介
编译器是软件开发和构建的重要工具，具有无可比拟的优势。本书由能耗以及资源的均衡使用度这两个影响嵌入式系统绿色指标的问题出发，全面介绍了绿色编译优化理论及其关键技术在嵌入式系统中的应用。章节涵盖了绿色编译及评估模型、面向嵌入式系统的指令调度方法、多目标数据分配优化方法、面向新型存储技术的绿色编译优化方法、基于符号执行的能耗错误检测及反例生成技术等内容。作者还在最后一章进行了总结和展望。
推荐理由
本书系统而全面地介绍了绿色编译优化理论及其关键技术在嵌入式系统中的应用。既是高等院校和科研院所计算机科学与技术、软件工程、计算机应用技术等相关学科高年级本科生或研究生的教材，也适用于软件优化等相关领域的研究人员。对编译器工程师也有启发性的作用。