{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,11]]，“日期时间”：“2024-01-11T23:59:03Z”，“时间戳”：1705017543130}，“参考计数”：105，“出版商”：“电气与电子工程师学会（IEEE）”，“问题”：“3”，“许可证”：[{“开始”：{-“日期部分“：[2018,7,1]]，”时间”：“2018-07-01T00:00:00Z”，“timestamp”：1530403200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}]，“funder”：[{“DOI”：“10.13039\/501100001659”，“name”：“德国研究基金会”，“DOI-asserted-by”：“crossref”}]、“content-domain”：{“域”：[]，“交叉标记限制”：false}，“short-container-title”：[“IEEE Trans.Multi-Scale Comp.Syst.”]，“published-print”：{“date-parts”：[[2018,7,1]]}，”DOI“：”10.1109\/tmscs.2017.2771750“，”type“：”journal-article“，”created“：{”date-part“：[[2017,11,9]]，”date-time“：”2017-11-09T21:45:53Z“，”timestamp“：1510263953000}”，“page”：“243-259“，”source“：”Crossref“，”is-referenced-by-count“：12，“title”：[“异构系统的硬件/软件堆栈”]，“前缀”：“10.1109”，“卷”：“4”，“作者”：[{“ORCID”：“http://\/ORCID.org\/00000-0002-5007-445X”，“authenticated-ORCID”：false，“给定”：“Jeronimo”，“family”：“Castrillon”，“sequence”：“first”，“affiliation”：[]}：[]}，{“给定”：“安德烈斯”，“家庭”：“戈恩斯”，“序列”：“附加”，“从属关系”：[]}，{“给出”：“塞巴斯蒂安”，“家族”：“哈斯”，”序列“：“附加的”，“附属关系”：[]}、{“给予的”：“德克”，“家人”：“习惯”，“顺序”：“额外的”，”从属关系“：[]neneneep{“given”：“Mattis”，“family”：“Hasler”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Immo”，“family”：“Huismann”，“segment”：“附加”，“从属关系”：[]}，}“giving”：“Tomas”，“家族”：“Karnagel”，“sequence”:“additionable”，“filiation“：[]{”given“：”Sven“，”family“Karol”，”sequence“：”additional“，”affiliance“：[]{“fixed”：“Akash”，“家庭”：“Kumar”“，”sequence“：”additional“，”affiliation“：[]}，{“ORCID”：“http://\/ORCID.org\/00000-0003-3137-0648”，“authenticated-ORCID”：false，“给定”：“Matthias”，“family”：“Lieber”，“sequence”：“additional”，“affiliation”：[]}，{”given“：”Wolfgang“，”family“：”Lehner“，”sequence“：”additional“，”affiliance“：[]neneneep，{，{“given”：“Siqi”，“family”：“Ling”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Steffen”，“family”：“Marcker”，“segment”：“附加的”，“从属的”：[]}，}“giving”：“Christian”，”family“：”Menard“，”sequence“：”additional“，”affiliance“：[]{“given”:“Johannes”，“家族”：“Mey”，“序列”：“additional”“sequence”：“附加”，“affiliation”：[]}，{“given”：“Benedikt”，“family”：“Nothen”，“sequence”：“additional”，“affaliance”：[]}6“，”authenticated-ORCID“：假，”given“：“Sascha”，“family”：“Kluppelholz”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Jorg”，“家族”：“Stiller”，“serquence”:“additionable”，“abfiliation“：[]{”，{”given“：”Annett“，”family“：”Ungethum“，”sequence“：”additional，{“given”：“Sascha”，“family”：“Wunderlich”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Marcus”，“family”：“Volp”，“segment”：“附加”，“从属”：[]}，}“giving”：“Nils”，“家族”：“Asmussen”，“sequence”:“additionable”，“abfiliation“：[]{”given：“Uwe”，，“sequence”：“additional”，“affiliation”：[]}，{“gived”：“Christel”，“family”：“Baier”，“sequence”：“additional”，“affiliation”：[]}，{“ORCID”：“http://\/ORCID.org\/0000-0003-4622-1311”，“authenticated-ORCID”：false，“giveed”：“Gerhard”，“家族”：“Fettweis”，“序列”：“附加”，“从属关系”：[]}，“成员”：“263”，“引用”：[{“key”：”ref39“，“doi-asserted-by”：”publisher“，“内政部”：“10.1145\/1629575.1629597”}，{“key”：“ref38”，“first-page”：“29:1”，“article-title”：“Popcorn：弥合异构ISA平台中的可编程性差距”，“author”：“barbalace”，“year”：“2015”，“journal-title“：”Proc-Syst Compute Conf“}，{”key“：”ref33“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.sysarc.2015.11.008“}”，{“263”，“文章标题”：“入侵计算”，“卷”：“58”，“作者”：“teich”，“年份”：“2014”，“日志标题”：“（特刊）it-Inform Technol”}，{“key”：“ref31”，“首页”：“1”，“文章标题”：”58 pJ\/Op 1150亿ops\/s，到1.78万亿ops\/s 32 nm 1000处理器阵列“，”作者“：”bohnenstiehl“，”年份“2016”，“日记标题”：电路“}，{“key”：“ref30”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/HPEC.2013.6670342”}，{”key“：“ref37”，“首页”：“285”，“article-title”：“K2：异构一致域的移动操作系统”，“author”：“lin”，”年份：“2014”，“journal-title“：”Proc Int Conf Architecture Support Program Lang Operat Syst“}，”{“key”：”ref36“，”doi-assert-by“：“出版商”，“DOI”：“10.1145\/1629575.1629579”｝，｛“key”：“ref35”，“DOI断言者”：“publisher”，“DOI”：“10.1145\/2872362.2872371”｝，｛“key”：“ref34”，“首页”：“107:1”，“文章标题”：“战斧：通信信号处理MPSoCs中的并行性和异构性”，“卷”：“13”，“作者”：“arnold”，“年份”：“2014”，“期刊标题”：“Trans-Embedded Comput Syst”｝，{“key”：“ref28”，“doi-asserted-by”：“crossref”，“first-page”：“96”，“doi”：“10.1007 \/978-3319-06880-0_5”，“article-title”：“能源效用分析的概率模型检查”，“author”：“baier”，“year”：“2014”，“journal-title“心灵的地平线”：“向普拉卡什·帕南加登致敬”}，{“key”：：“用于低延迟无线应用的28 nm CMOS中的异构SDR MPSoC”，“author”：“haas”，“year”：“2017”，“journal-title”：“Proc 54 Annul Des Autom Conf”}，{“key”：“ref29”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/HOTCHIPS.2011.7491”}5.482“}，{“键”：“参考22”，“首页”：“169”，“文章标题”：“走向组合和生成张量优化”，“作者”：“susungi”，“年份”：“2017”，“期刊标题”：“Proc Conf generative Program Concepts Experience”｝，｛“key”：“ref21”，“文章标题”：“并行粒子方法的特定领域语言和编辑器”，“作者”：“karol”，“年份”：“2017”｝，｛“key”：“ref24”，“first page”：“97”，“article-title”：“一个硬件支持的异构MPSoC，用于软件定义无线电的动态任务调度”，“author”：“limberg”，“year”：“2009”，“journal-title“：”Proc-Des-Autom-Conf“}，{“key”：”ref23“，“first-page”：“733”，“article-titel”：“异构计算资源上查询处理的自适应工作放置”，“author”：“karnagel”，“year”：“2017”，“journal title”：“Proc Conf Very Large Data Bases”｝，｛“key”：“ref101”，“首页”：“557”，“文章title”：“使用OmpSs进行GPU集群的高效编程”，“author”：“bueno”，“year”：“2012”，“journal title”：“Proc Parallel Distrib Process Symp”｝，｛“key”：“ref26”，“文章title”：“用于节能数据库查询处理的MPSoC”，“author”：“haas”，“year”：“2016”，“journal-title”：“Proc-Des-Autom-Conf”}，{“key”：“ref100”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MM.2016.11”}：“用于65nm CMOS中4G的105GOPS 36 mm2异构SDR MPSoC，具有能量感知动态调度和迭代检测解码功能”，“作者”：“noethen”，“年份”：“2014年”，“期刊标题”：“Proc Solid-State Circuits Conf”}，{“key”：“ref50”，“首页”：“347”，“article-title”：“嵌入式软件合成趋势”，“作家”：“castrillon”，《年份》：“2011年”，“journal-title”：“Proc-Conf嵌入式计算系统Archit Model Simul”}，{“key”：“ref51”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-94-017-7267-9_2”}\/3078659.3078663“}，{”key“：”ref57“，”doi-asserted-by“：“publisher”，“DOI”：“10.1145\/3095747”}，{“key”：“ref56”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/TII.2011.2173941“}，}“key”：”ref55“，”first page“：”1262“，”article-title“：”KPN应用程序到异构MPSoC的通信感知映射“，”author“：”castrillon“，”year“：”2012“，”journal-title”：“Proc-Des-Aut-Conf DAC”}，{“键”：“参考54”，“first page”：“1”，“article-title”：“MPSoC编译器的高级NoC模型”，“author”：“menard”，“year”：“2016”，“journal-title“：”Proc IEEE Nordic Circuits Syst Conf“}，{“key”：”ref53“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s10470-011-9670-1“}63“}，{”key“：”ref40“，”doi-asserted-by“：“publisher”，“DOI”：“10.1145\/362258.362278”}，{“key”：“ref4”，“article-title”：“STARnet Research”，“year”：“0”}“，”年份“：”2011“，”新闻标题“：“2011年第38届计算机体系结构国际研讨会（ISCA）”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MC.2005.160”}：“将吞吐量受限的应用程序映射到MPSoC的自动流”，“author”：“jordans”，“year”：“2011”，“journal-title”：“Proc Bringing Theory Practice Predictability Performance Embedded Syst”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，”doi：“10.1111\/j.1467-8659.2007.01012.x”}：“big.LITTLE Technology:The Future of Mobile”，“author”：“greenhalgh”，“year”：“0”}，{“key”：“ref46”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/PROC.1987.13876”}}，{“键”：“ref48”，“first page”：“29”，“article-title”：“将应用程序映射到平铺的多处理器嵌入式系统”，“author”：“thiele”，“year”：“2007”，“journal-title“：”Proc-Appl并发系统Dest Des“}，{“key”：”ref47“，“author”：“ptolemaeus”，“年份”：“2014”，“日记标题”：“使用托勒密二世的系统设计建模与仿真”}，“key“：”ref42“，“first-page”：“11”，“article-title”：“微内核操作系统体系结构和Mach”，“author”：“golub”，“year”：“1992”，“journal-title“：”Proc USENIX Microkernels和其他内核体系结构研讨会“}，{“key”：“ref41”，“first page”：”237“，”article-title“”：“On$\\mu$n-Kernel\n construction”，“作者”：“liedtke”，“年份”：“1995”，“日记标题”：“Proc-Symp Operating Syst Principles”}，{“key”：“ref44”，“article-title”：“编程异构MPSoC：工具流以缩小软件生产率差距”，“author”：“castrillon”，“year”：“2013”}、{“key”：”ref43“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/MC.2006.180“}，”{“密钥”：“ref73”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/QEST.2004 1348037英寸}，{“key”：“ref72”，“doi-asserted-by”：“publisher”，“doi”：“10.2168\/LMCS-4（4:8）2008”}，{”key“：”ref71“，”first page“：“1”，”article-title“：”概率模型检查和非标准多目标推理“，”author“：”baier“，”year“：”2014“，”journal-title tle“：“比率和权重分位数”，“author”：“kr”，“year”：“2015”，“journal-title”：“Proc Mathematical Foundations of Computer Science”}，{“key”：“ref76”，“doi-asserted-by”：“crossref”，“first page”：”234“，“doi”：“10.1007\/11817963_23”，“article-title“：”概率模型检查的对称约简“，”author“：”kwiatkowska“，”year“：”2006“，”journal-title“：“Proc-Conf计算机辅助验证”}，{“key”：“ref77”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/11901914_4”}“年份”：“2006年”，“新闻标题”：“Proc-Conf软件技术与理论计算机科学基础”}，{“key”：“ref78”，“first page”：”430“，“article-title”：“概率过程的符号模型检查”，“author”：“baier”，“year”：“1997”，“journal-title“：”Proc-Coloq Autom Lang Program“}，”{“密钥”：“ref79”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10009-004-0140-2”}，{“key”：“ref60”，“first-page”：“251”，“article-title”：“模型检查：在硬件和软件之间来回”，“author”：“clarke”，“year”：“2005”，“journal-title“：”Proc Int'l Conf Verified software Theorys Tools Experiences“}，{“密钥”：“ref62”，“作者”：“grumberg”，“年份”：“0”，“日记标题”：“A 25 Years of Model Checking History Achievements Perspectives”}，{“key”：“ref61”，“first-pages”：“26”，“article-title”：“2${}^{\\mbox{5}}$\n Years of Model Checking”，“author”：“clarke”，“year”：“2014”，“journal-title“：”Proc Perspectives Syst Inform“}，”{“密钥”：“ref63”，“doi-asserted-by”：“publisher”，“doi”：“10.1007”，978-3-319-63121-9_1 9“}，{”键“：”参考64“，“first page”：“1”，“article-title”：“ProFeat:面向特征的工程，用于基于家族的概率模型检查”，“author”：“chrszon”，“year”：“2017”，“journal-title“：”Formal Aspects Compute“}，{“key”：”ref65“，”doi-asserted-by“：”crossref“，”first-page“：”515“，”doi“：”10.1007\/978-3642-54862-8_43“，”article-title“：“高效计算马尔科夫模型中的条件概率”，“author”：“baier”，“year”：“2014”，“journal-title”：“Proc-Conf Tools Algorithms Construction Ana Syst”}，{“key”：“ref66”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3662-54580-5_16”}“密钥”：“ref68”，“首页”：“353”，“article-title”：“马尔可夫报酬模型中的计算分位数”，“author”：“ummels”，“year”：“2013”，“journal-title“：Proc Found Softw Sci计算结构”}，{“key”：“ref2”，“article-titel”：“More Moore”，“年份”：“2016”}“：”2014“，“journal-title”：“Proc 1st NASA Formal Methods Sympion”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MCSE.2017.29”}、{“密钥”：“ref95”，“首页”：“14”，“文章标题”：“NVM+DRAM混合内存的操作系统支持”，“author”：“mogul”，“year”：“2009”，“jornal-tittle”：“第十二届操作系统热点会议论文集”}，{“key”：“ref94”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/313202.3132414”}{“key”：“ref105”，“author”：“belleville”，“年份”：“2016年”，“journal-title”：“架构与IC设计嵌入式软件2015年度研究报告”}，{“key”：“ref91”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/JEDS.2013.2244641”}，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TNANO.2015.2397696”}，{“key”：“ref103”，“doi-asserted-by”：”crossref“，”first page“：”976“，”doi“：”10.1016\/j.micpro.2014.04.001“，”article-title“：”Teraflux:“利用下一代teradevices中的数据流”，“volume”：”38“，”author“：”giorgi“，”year“：”2014“，”journal-title“：”j微处理器和微系统“}，{“key”：“ref102”，“首页”：“137”，“文章标题”：“Zynq时的OmpSs全可编程SoC生态系统“，”author“：”filgueras“，”year“：”2014“，”journal-title“：”Proc Int l Symb Field-programmable Gate Arrays“}，{”key“：”ref98“，”first page“：“28.7.1”，“article-title”：“用于非布尔关联计算的成对耦合混合钒二氧基MOSFET（HVFET）振荡器”，“author”：“shukla”，“year”：“2014”，“journal-title”Proc IEEE Int Electron Devices Meet“}，{”key“：”ref99“，”article-title“：”SEJITS:通过选择性嵌入式JIT专业化获得生产力和性能“，”author“：”catanzaro“，”year“：”2010“}”，{“key”：“ref96”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TETC.2016.2563323”}，“key“”：”ref97“，”first page“：“43”，“article-title”：“”挑战和机遇：从近内存计算到内存计算”，“作者”：“khoram”，“年份”：“2017年”，“新闻标题”：“Proc Phys Symp”}，{“key”：“ref10”，“article-title”：“使用导航器运行时最大化多核效率”，“author”：“biscond”，“year”：“2012”}key“：”ref12“，”doi-asserted-by“：”crossref“，”first-page“：”6“，”doi“：”10.1109\/MM.2011.77“，”article-title“：”Toward dark silicon in servers“，”volume“：“31”，”author“：”ferdman“，”year“：”2011“，”journal-title”：“IEEE Micro”}，{“key”：“ref13”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/MCSE.2013.95”}“，{”key“：”ref14“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/MM.2005.110“}，{“key”：“ref15”，“article-title”：“Arch2030:未来15年计算机体系结构研究的展望”，“author”：“ceze”，“year”：“2016”}，“key“：”ref16“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/MC.2015.376“}“：”10.1007\/978-3642-22110-1_47“，”文章标题“：“PRISM 4.0：概率实时系统的验证”，“作者”：“kwiatkowska”，“年份”：“2011”，“期刊标题”：“Proc Conf Comput Aided Verification”}，｛“key”：“ref17”，“首页”：“1”，“文章标题”：“片上网络：十亿晶体管时代的架构”，“作者”：“hemani”，“年份”：“2000”，“期刊标题”：“Proc IEEE Norchip Conf“}，{“key”：“ref81”，“first-page”：“1”，“article-title”：“PRISM概率模型检查的进展：变量重排、分位数和弱确定性Büchi自动机”，“author”：“klein”，“year”：“2017”，“journal-title“：”J Softw Tools Technol Transfer“}”，{”key：“ref18”，“首页”：“1417”，“article-titel”：“”Parallel skeletons“，”author“：”gorlatch“，”year“：”2011“，”journal-title“：”Parallel Computing百科全书“}，{”key“：”ref84“，”first-page“：”1“，”article-title”：“使用gem5和SystemC进行系统仿真：实现完全互操作性的关键点”，“author”：“menard”，“year”：“2017”，”johnal-title:“Proc-Conf Embedded Computer Syst Archit Model Simul”}，}“key”：“”ref19”，“文章标题”：“格式良好且可扩展的入侵软件组合”，“作者”：“karol”，“年份”：“2015”}，{“密钥”：“ref83”，“doi断言者”：“publisher”，“doi”：“10.1145\/20247716.2024718”}，{“密钥”：“ref80”，“doi断言者”：“publisher”，“doi”：“10.1016/S1567-8326（02）00066-8”}，{“密钥”：“ref89”，“doi断言者”：“publisher”，“doi”：“10.1109\/TNANO.2016.2564925“}，{“key”：“ref85”，“year”：“2016”}，}“keys”：“ref86”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MC.2015.374”}doi“：”10.1021\/nl401826u“}]，“container-title”：[“IEEE Transactions on Multi-Scale Computing Systems“]，”原标题“：[]，”链接“：[｛”URL“：”http:\/\/exploresting.IEEE.org/ielx7\/6687315\/8466693\/081003042.pdf？arnumber=81030042“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2022,1,26]，”日期时间“：”2022-01-26T11:29:13Z“，”timestamp“：1643196553000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/8103042\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：}“date-parts”：[[2018,7,1]]}，《references-count》：105，“journal-sissue”：“{”issue“：”3“}”，“URL”：“http://”\\/dx.doi.org\/10.109\/tmscs.2017.2771750“，”关系“：{}，”ISSN“：[”2332-7766“，”2372-207X“]，”issn-type“：[{”value“：”2332-7666“，“type”：”electronic“}，{”value“：”2352-207X“，”type“:”electric“}]，“subject”：[]，“published”：{”date-parts“：[[2018,7,1]]}}}