摘要
A.Agarwal、M.Rinard、S.Sidiroglou、S.Misailovic和H.Hoffmann。 使用代码穿孔来提高性能、降低能耗和响应故障。 技术报告，麻省理工学院，2009年。 谷歌学者 
A.Askarov和A.C.Myers。 用于解密和背书的语义框架。 2010年《员工持股计划》。 谷歌学者 数字图书馆 
W.Baek和T.M.Chilimbi。《绿色：使用受控近似支持节能编程的框架》。 PLDI，2010年。 谷歌学者 数字图书馆 V.巴罗迪亚。 SCALE DRAM子系统功率分析。 麻省理工学院硕士论文，2005年。 谷歌学者 D.Brooks、V.Tiwari和M.Martonosi。 Wattch：用于体系结构级别的功率分析和优化的框架。 2000年，国际标准化协会。 谷歌学者 数字图书馆 A.Carroll和G.Heiser。 智能手机功耗分析。 USENIX，2010年。 谷歌学者 数字图书馆 A.Chlipala、L.Petersen和R.Harper。 严格的双向类型检查。 TLDI，2005年。 谷歌学者 数字图书馆 M.de Kruijf和K.Sankaralingam。 探索新兴工作负载和硅可靠性趋势的协同作用。 在SELSE，2009年。 谷歌学者 M.de Kruijf、S.Nomura和K.Sankaralingam。 Relax：硬件故障软件恢复的架构框架。 2010年《国际会计准则》。 谷歌学者 数字图书馆 D.Ernst、N.S.Kim、S.Das、S.Pant、R.Rao、T.Pham、C.Ziesler、D.Blaauw、T.Austin、K.Flautner和T.Mudge。 Razor：一种基于电路级时序推测的低功耗流水线。 在MICRO，2003年。 谷歌学者 数字图书馆 M.D.恩斯特。 类型注释规范（JSR 308）。 http://types.cs.washington.edu/jsr308/，2008年。 谷歌学者 X.Fan、W.-D.Weber和L.A.Barroso。 仓库大小计算机的电源供应。 ISCA，2007年。 谷歌学者 数字图书馆 K.Flautner、N.S.Kim、S.Martin、D.Blaauw和T.Mudge。 昏昏欲睡的缓存：减少泄漏功率的简单技术。 ISCA，2002年。 谷歌学者 数字图书馆 J.S.Foster、M.Fähndrich和A.Aiken。 类型限定符理论。 PLDI，1999年。 谷歌学者 数字图书馆 M.Ghosh和H.-H.S.Lee。 智能刷新：一种增强型内存控制器设计，用于减少传统和3D双稳态DRAM中的能量。 2007年，MICRO。 谷歌学者 数字图书馆 A.Igarashi、B.C.Pierce和P.Wadler。 Featherweight Java：Java和GJ的最小核心演算。 托普拉斯，23（3），2001年。 谷歌学者 数字图书馆 A.Kahng、S.Kang、R.Kumar和J.Sartori。从头开始设计处理器，以实现电压/可靠性权衡。 HPCA，2010年。 谷歌学者 交叉引用 
A.库马尔。 SRAM泄漏功率优化框架：一种系统级方法。 加州大学伯克利分校博士论文，2008年。 谷歌学者 L.Leem、H.Cho、J.Bau、Q.A.Jacobson和S.Mitra。 ERSA：概率应用的容错系统架构。 日期：2010年。 谷歌学者 数字图书馆 S.Li、J.H.Ahn、R.Strong、J.Brockman、D.Tullsen和N.Jouppi。 McPAT：用于多核和多核架构的集成电源、区域和时序建模框架。 2009年，MICRO。 谷歌学者 数字图书馆 X.Li和D.Yeung。 利用软计算提高容错能力。 ASGI，2006年。 谷歌学者 X.Li和D.Yeung。 应用程序级正确性及其对容错的影响。 HPCA，2007年。 谷歌学者 数字图书馆 S.Liu、K.Pattabiraman、T.Moscibroda和B.G.Zorn。 Flikker：通过关键的数据分区节省移动设备的刷新功率。 I ASPLOS，2011年。 谷歌学者 数字图书馆 A.Mahesri和V.Vardhan。 现代笔记本电脑的耗电故障。 在PACS中，2004年。 谷歌学者 数字图书馆 S.Misailovic、S.Sidiroglou、H.Hoffman和M.Rinard。 服务质量分析。 ICSE，2010年。 谷歌学者 数字图书馆 A.C.迈尔斯。 JFlow：实用的最静态信息流控制。 POPL，1999年。 谷歌学者 数字图书馆 K.Natarajan、H.Hanson、S.W.Keckler、C.R.Moore和D.Burger。 微处理器管道能量分析。 ISLPED，2003年。 谷歌学者 数字图书馆 M.M.Papi、M.Ali、T.L.Correa Jr.、J.H.Perkins和M.D.Ernst。 实用的Java可插拔类型。 ISSTA，2008年。 谷歌学者 数字图书馆 F.Perry和D.Walker。 存在瞬时故障时的控制流推理。 在SAS，2008年。 谷歌学者 数字图书馆 F.Perry、L.Mackey、G.A.Reis、J.Ligatti、D.I.August和D.Walker。 容错类型的汇编语言。 PLDI，2007年。 谷歌学者 数字图书馆 M.Rinard、H.Hoffmann、S.Misailovic和S.Sidiroglou。 模式和统计分析，以了解减少的资源计算。 前进！， 2010 谷歌学者 A.Sabelfeld和A.C.Myers。 基于语言的信息流安全。 IEEE通讯选定领域杂志，安全性形式方法专刊，21（1），2003年。 谷歌学者 数字图书馆 A.Sampson、W.Ditel、E.Fortuna、D.Gnanapragasam、L.Ceze和D.Grossman。 EnerJ：安全和一般低功耗计算的近似数据类型——完全证明。 技术报告UW-CSE-10-12-01，华盛顿大学，2011年。 谷歌学者 数字图书馆 J.Y.F.Tong、D.Nagle和R.A.Rutenbar。 通过优化浮点运算的必要精度/范围来降低功耗。 IEEE传输。 超大规模集成电路系统。， 8(3), 2000. 谷歌学者 数字图书馆 V.Wong和M.Horowitz。 概率推理应用程序的软错误恢复能力。 在SELSE，2006年。 谷歌学者
建议
规范近似编程的体系结构支持 ASPLOS XVII:第十七届编程语言和操作系统体系结构支持国际会议记录 严格的近似编程使程序员能够声明程序的哪些部分可以近似计算，从而以更低的能量成本计算。 编译器静态证明所有近似计算都与。。。 EnerJ：用于安全和通用低功耗计算的近似数据类型 PLDI’11：第32届ACM SIGPLAN编程语言设计与实现会议记录 能源越来越成为计算机系统中的首要问题。 在能够容忍误差的应用中，利用能量-精度权衡是一个很有吸引力的选择。 最近的工作探讨了在编程模型中暴露这种权衡。 一把钥匙。。。 Flikker：通过关键数据分区节省DRAM刷新功率 ASPLOS’11 能源已成为计算机系统中一流的设计约束。 内存是系统总功率的重要组成部分。 本文介绍了Flikker，一种用于降低DRAM存储器刷新功率的应用程序级技术。 Flikker启用。。。
