{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,9]]，“日期时间”：“2024-02-09T06:52:16Z”，“时间戳”：1707461536850}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540346999”，“类型”：“打印”}，{“值”：“9783540347002”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2006]]}，”DOI“：”10.1007\/11767589_15“，”type“：”book-chipter“，”created“：”{“date-part”：[2006,6,20]]，“date-time”：“2006-06-20T14:38:34Z”，“时间戳”：1150814314000}，“页面”：“261-281”，“源”：“Crossref”，“is-referenced-by-count”：9，“title”：[“通过概率建模分析嵌入式系统的软件性能和能耗：一种基于彩色Petri网的方法”]，“prefix”：“10.1007”，”author“：[{”given“：”Meuse N.O.“，”family“：”Junior“，”sequence“：”first“，”affiliation“：[]}，{“given”：“Silvino”、“family”：“Neto”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Paulo”，“family”：“Maciel”，“sequence”：“additive”，“filiation“：[]{”given“：”Ricardo“，”family“：”Lima“，”sequence“：”additional“：”附加“，”从属“：[]}，{“given”：“Eduardo”，“family”：“Tavares”，“sequence”：“additional”，“affiliation”：[]}{“key”：“15_CR2”，“非结构化”：“Bernat，G.，Colin，A.，Petters，S.M.：Pwcet，实时系统概率wcet分析工具。In:wcet，pp.21\u201338（2003）”}，{“key”：“15_CR3”，“doi-asserted-by”：“crossref”，“first page”：”886“，“doi”：“10.1109\/DAC.2002.1012747”，“volume-title”：“第39届设计自动化会议论文集”，“author”：“A.Bona”，“year”：“2002”，“非结构化”：“Bona，A.，Sami，M.，Sciuto，D.，Zaccaria，V.，Silvano，C.，Zafalon，R.：基于指令聚类的嵌入式vliw处理器的能量估计和优化。摘自：第39届设计自动化会议论文集，第886\u2013891页。ACM出版社，纽约（2002）“}，{”key“：”15_CR4“，”first page“：“1128”，”volume-title“：”Proceedings of the conference on Design，automation and test in Europe“，”author“：”A.Bona“，”year“：”2002“，”unstructured“：”Bona，A.、Sami，M.、Sciuto，D.、Zaccaria，V.、Silvano，C.、Zafalon，R.：嵌入式vliw核功率估计和优化的指令级方法。摘自：欧洲设计、自动化和测试会议记录，第1128页。IEEE Computer Society，Los Alamitos（2002）“}，{”key“：“15_CR5”，”doi-asserted-by“：”publisher“，”first page“：”63“，”doi“：”10.1109\/92.219908“，”volume“：1“，”author“：”R.Burch“，“year”：“1993”，“unstructured”：“Burch，R.，Najm，F.，Yang，T.T.P.：功率估计的蒙特卡罗方法。vlsi系统上的IEEE事务\u00a01，63\u201371（1993）”，“journal-title“：“vlsi系统上的IEEE事务”}，{“key”：“15_CR6”，“unstructured”：“Burns，F.，Koelmans，A.，Yakovlev，A.：使用有色petri网模拟超标量处理器的Wcet分析。国际时间临界计算系统杂志”}Jensen，K.：有色petri网。基本概念、分析方法和实际应用。基本概念。理论计算机科学专著，vol.\u00a01（2）（1997）“，“DOI”：“10.1007\/978-3642-60794-3”}，{“key”：“15_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“J\u03c6rgensen，J.，Christensen，S.，Tuovinen，A.-P.，Xu，J.：估算手机软件内存使用的工具支持。国际技术转让软件工具杂志（STTT）（2006）“，”DOI“：”10.1007\/s10009-006-0012-z“}，{”key“：”15_CR9“，”series-title“：”计算机科学讲义“，”volume-title“：“利用形式方法的应用”，”author“：”A.Arcoverde Jr.“，”year“：”2006“，”unstructured“：”Arcoverde Jr.，A.、Alves Jr.、G.、Lima，R.、Maciel，P.、Oliveira Jr.和M.、Barreto，R.：Ezpetri：基于pnml的eclipse的petri网交换框架。收录：Margaria，T.，Steffen，B.（编辑）ISoLA 2004。LNCS，卷\u00a04313。Springer，Heidelberg（2006）“}，{”key“：”15_CR10“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“362”，“doi”：“10.1007\/978-3-540-30205-6_38”，“volume-title”：“集成电路与系统设计”，“author”：“M.N.O.Junior”，“year”：“2004”，“unstructured”：“Junior，M.N.O.，Maciel，P.，Barreto，R.，Carvalho，F.：使用有色petri网建立软件功耗成本分析框架。收录：Macii，E.，Paliouras，V.，Koufopavlou，O.（编辑）PATMOS 2004。LNCS，卷\u00a03254，第362页\u2013371。Springer，Heidelberg（2004）“}，{”key“：”15_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“49”，”doi“：”10.1007\/11556930_6“，”volume-title“：“集成电路与系统设计.功率与时序建模，优化与仿真”，”author“：”M.N.O.J\u00fanior“，”year“：”2005“，”unstructured“：”J\u00fanior，M.N.O.，Maciel，P.R.M.，Lima，R.M.F.，Ribeiro，A.，Oliveira，C.，Arcoverde，A.，Barreto，R.S.，Tavares，E.，Amorin，L.：一个用于功率感知代码评估的可重定目标环境：一种基于有色petri网的方法。In：Paliouras，V.，Vounckx，J.，Verkest，D.（编辑）PATMOS 2005。LNCS，第u00a03728卷，第49\u201358页。Springer，Heidelberg（2005）“}，{“key”：“15_CR12”，“unstructured”：“Klass，B.，Thomas，D.，Schmit，H.，Nagle，D.：数字信号处理器中结构间能量效应建模。in:Power-Driven Microarchitecture Workshop in convention with ISCA 1998（1998）”}，}“issue”：“2”10.1007\/s100090050021“，“卷”：“2”，“作者”：“L.Kristensen”，“年份”：“1998”，“非结构化”：“Kristenson，L.，Christensen，S.，Jensen，K.：从业者\u2019s有色petri网指南。国际技术转让软件工具杂志：彩色Petri网专题文章\u00a02（2），98\u2013132（1998）“，“Journal-title”：“国际技术转让工具杂志：有色Petri网特别文章”}，{“key”：“15_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Laopoulos，T.、Neofotistos，P.、Kosmatopoulos，C.、Nikolaidis，S.：估算软件相关功耗的电流变化测量。在：IEEE仪器和测量技术会议（2002年5月）“，”DOI“：”10.1109\/IMTC.2002.1007205“}，{”key“：”15_CR15“，”DOI-asserted-by“：”publisher“，”first page“：“572”，”DOI:“10.1109\/DATE.2001.915081”，”volume-title“：”DATE 2001。欧洲设计、自动化和测试会议记录”，“作者”：“R.Marculescu”，“年份”：“2001年”，“非结构化”：“Marculescusu，R.，Nandi，A.：系统级性能分析的概率应用建模。日期：2001年。欧洲设计、自动化和测试会议记录，美国新泽西州皮斯卡塔韦，第572\u2013579页。IEEE Press，Los Alamitos（2001）“}，{”key“：”15_CR16“，”first page“：“455”，”volume-title“：”设计自动化第39届会议进程“，”author“：”A.K.Murugavel“，”year“：”2002“，”unstructured“：”Murugavel，A.K.，Ranganathan，N.：功率估计的门和互连延迟的Petri网建模。In：程序。第39届设计自动化会议，第455\u2013460页。ACM Press，New York（2002）“}，{”issue“：“4”，”key“：“15_CR17”，”doi-asserted-by“：”publisher“，”first page“：”446“，”doi“：”10.1109\/92.335013“，”volume“：2”，”author“：”F.N.Najm“，”year“：”1994“，”unstructured“：”Najm，F.N.：vlsi电路中功率估计技术的调查。IEEE Trans.超大规模集成系统。\u00a02（4），446\u 2013455（1994）“，”journal-title“：”IEEE Trans。超大规模集成电路。系统。“}，{”key“：”15_CR18“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“279”，“doi”：“10.1007\/978-3-540-39762-5_34”，“volume-title”：“集成电路与系统设计.功率与时序建模、优化与仿真”，“author”：“S.Nikolaidis”，“year”：“2003”，“unstructured”：“”Nikolaidis，S.、Kavvadias，N.、Laopoulos，T.、Bisdounis，L.、Blionas，S.：流水线处理器的指令级能量建模。收录：Chico，J.J.，Macii，E.（编辑）PATMOS 2003。LNCS，第u00a02799卷，第279\u2013288页。Springer，Heidelberg（2003）“}，{“问题”：“4”，“关键”：“15_CR19”，“doi-asserted-by”：“出版商”，“首页”：“437”，“doi”：“10.1109\/92.335012”，“卷”：“2”，“作者”：“V.Tiwari”，“年份”：“1994”，“非结构化”：“Tiwari，V.、Malik，S.、Wolfe，A.：嵌入式软件的功耗分析：软件功耗最小化的第一步。《IEEE超大规模集成系统汇刊》\u00a02（4），437\u2013445（1994）“，”期刊标题“：”《IEEE超大型集成系统汇报》“}，{“key”：“15_CR20”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-14615-6065-4”，“volume-title”：“实用低功耗数字VLSI设计”，“author”：“G.Yeap”，“year”：“1998”，“非结构化”：“是的，G.：实用低功耗数字VLSI设计。Kluwer Academic Publishers，Dordrecht（1998）“}]，“container-title”：[“Petri Nets和其他并发模型-ICATPN 2006”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/11767589_15.pdf”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2021,7,28]]，“日期-时间”：“2021-07-28T15:17:49Z”，“时间戳”：1627485469000}，“分数”：1，“资源“：{”主要“：{”URL“：”http://\/link.springer.com\/10.1007\/11767589_15“}，”副标题“：[]，”短标题“：[]，“发布”：{”日期-部分“：[2006]]}，BN“：[”9783540346999“，”978354347002“]，”参考计数“：20，”URL“：”http://\/dx.doi.org\/10.1007\/11767589_15“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743”，“type”：“print”}，{”value“：”1611-33049“，”type“:”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2006】}}}}