{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2024,9,5]],“日期时间”:“2024-09-05T11:42:37Z”,“时间戳”:1725536557871},“引用计数”:41,“发布者”:“IEEE”,“内容域”:{“域”:[],“交叉标记限制”:false},”短容器时间“:[]”,“published-print“:{”日期部分“:[[2009,7]]},”DOI“:“10.1109\/memcod.2009.5185384”,“type”:“procesdings-article”,“created”:{“date-parts”:[[2009,8,11]],“date-time”:“2009-08-11T15:09:22Z”,“timestamp”:1250003362000},“page”:”88-97“,“source”:《Crossref》,“is-referenced-by-count”:3,“title”:[“跨层异质性和可靠性方法”],“prefix”:“10.109”,“volume”:“35”,“author”:[{“给定”:“Daniel”,“family”:“Williams”,“sequence”:“first”,“affiliation”:[]},{“given”:“Aprotim”,“家族”:“Sanyal”,“serquence”:“additional”,“filiation“:[]{”,{”given“:”Dan“,”family“:”Upton“,”sequence“:”additional“,”family“:”Ghosh“,”sequence“:“additional”,“affiliation”:[]},{“given”:“Kim”,“family”:“Hazelwood”,“sequence”:“addressive”,“abfiliation“:[]2],“member”:“263”,“reference”:[{“key”:”19“,“doi-asserted-by”:”publisher“,”doi“:”10.1145“/1013235.1015“},”doi-assert-by“publisher”,”doi:“10.1109”/CGO.2003.119531“},{“key”:“17”,“doi-asserted-by”:“publisher”,“doi”:“10.1109\/HPCA.2002.995694”},{“key”:“36”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/605397.605403”}:“高性能计算机体系结构国际研讨会(HPCA-15)”,“文章标题”:“电压紧急情况预测:基于信号的减少电压紧急情况的方法”,“年份”:“2009年”,“作者”:“reddi”,“关键”:“33”},{“期刊标题”::“通过共同设计的虚拟机实现动态微体系结构自适应”,“年份”:“2002年”,“作者”:“dhodapkar”,“key”:“15”},{“journal-title”:“第五届IEEE逻辑系统效应硅错误研讨会(SELSE)”,“文章标题”:“电压噪声:为什么不好,该怎么办”,“年”:“2009年”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/264107.264126”},{“key”:“39”,“doo-asserted-by”:”publisher“,”doi“:”10.1504\/IJES.2007.016030“},“key“:”13“,”doi-assert-by“:”publister“,”doi“::“transmeta代码变形软件:使用推测、恢复和自适应重译来解决现实生活中的挑战”,“author”:“dehnert”,“year”:“2003”,“journal-title”:“Sympon code Generation and Optimization”},{“key”:“37”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/859654.859657”}:“10.1177\/109434200001400303”},{“journal-title”:“高性能微处理器执行核心中简化di\/dt的功耗分析和指令调度”,“year”:“1999”,“author”:“toburen”,“key”:“38”}、{“key“:”12“,”doi-asserted-by“:”publisher“,”doi“:”10.1145\/125481254830“},”{:“10.1109\/DATE.2007.364539”},{“key”:“20”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/1186736.1186737”}:“Proc 11th Int l Conf Parallel Architectures and Compilation Techniques”},{“journal-title”:“技术报告SUNY Binghamton”,“文章标题”:“ptlsim用户指南和参考:x86-64无序微处理器的剖析”,“年份”:“0”,“作者”:“yourst”,“密钥”:“40”}:“IA-32 Intel\uffd体系结构软件开发人员手册第3卷系统编程指南”,“文章标题”:“Intel corporation”,“year”:“2006”,“key”:“22”},{“key”:“23”,“doi asserted by”:“publisher”,“doi”:“10.1109\/HPCA.2003.1183526”},{“key”:“24”,“首页”:“25”,“文章标题”:“面向累加器体系结构的动态二进制翻译”,“author”:“kim”,“year”:“2003”,“journal-title”:“Sympon on Code Generation and Optimization”},{“journal-title“:“11th USENIX Security Symposium”,《文章标题》:“secure execution via program shepherding”,“年”:“2002”,“作者”:“kiriansky”,“密钥”:“25”},“doi-asserted-by”:“publisher”,“doi”:“10.1109\/ISCA.2004.1310764”},{“key”:“28”,“doo-asserted-by”:”publisher“,”doi“:”10.1145\/10650134“},”key“:”29“,”first-page“:”50“,”volume“:“35”,“author”:“magnusson”,“year”:“2002”,“journal-title”:“Simics A Full System Simulation Platform”}:“AMD64体系结构程序员手册第2卷系统编程”,“article-title”:“amd corporation”,“year”:“2003”,“key”:“3”},{“journal-title“:“IBM Research Report RC 21665”,“article-title”:“boa:二进制翻译处理器的体系结构”,“年”:“2000”,“作者”:“altman”,“密钥”:“2”}、{“密钥”:“10”,“首页”:“83”,“rticle-titel”:“Wattch:架构级功率分析和优化框架”,“author”:“brooks”,“year”:“2000”,“journal-title”:“第27届计算机体系结构国际研讨会论文集(IEEE Cat-No RS00201)ISCA”},{“journal-title“:“International Technology Roadmap for Semiconductors”,“年份”:“2005”,“key”:“1”},“article-title”:“lmbench:用于性能分析的便携式工具”,“author”:“mcvoy”,“year”:“1996”,“journal-tittle”:“USENIX年度技术会议”},{“key”:”7“,“doi-asserted-by”:“publisher”,“doi”:“10.1109\/ISCA.2005.51”}、{“key”:doi-asserted-by“:”publisher“,”doi“:“10.1145\/106972.106982”},{“key”:“5”,“首页”:“7”,“article-title”:“di\/dt引起的电源电压变化的微体系结构模拟和控制”,“author”:“ayers”,“year”:“2002”,“journal-title“:“Proc 5th Int l Symp High-Performance Computer Architecture”},{“key”:“4”,“doi-asserted-by”:“publisher”,“doi”:“10.1109\/2.982917”},{“密钥”:“9”,“doi-assertd-by”:“publisher”,“DI:”10.1145\/94561.945462“},}“key:”8“,“doiasserted-by“:”publisher“,”doi“:”10.1109\/MICRO.2003.1253195“}],“event”:{“name”:“2009年第七届IEEE\/ACM国际形式方法会议和协同设计模型(MEMOCODE)“,”启动“用法:{“date-parts”:[[2009,7,13]]},“location”:“Cambridge,MA,USA”,“end”:{”date-part“:[[2009,7,15]]}},”container-title“:[”2009年第七届IEEE\/ACM联合设计形式方法和模型国际会议“],“original-title”:[],“link”:[{“URL”:“http://explorestaging.iee.org\/ielx5\/5173407\/5185370\/05185384.pdf?arnumber=5185384“,”内容类型“:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2019,5,21]],“date-time”:“2019-05-21T19:30:59Z”,“timestamp”:1558467059000},“score”:1,“resource”:{“primary”:“URL”:“http://ieeexplore.iee.org\/document\/5185384\/”}},”副标题“:[],”短标题“:[],”已发布“:{“日期-部分”:[[2009,7]]},“references-count”:41,“URL”:“http://\/dx.doi.org\/10.1109\/memcod.2009.5185384”,“relation”:{},“subject”:[],“published”:{“date-parts”:[[2009,7]]}}}