×
桑吉瓦·普拉萨德

Best-by-simulations：一个用于比较可重构架构在工作负载和截止日期上的效率的框架。 （英语） 兹比尔1400.68043

J.日志。阿尔盖布。方法计划。 100, 1-15 (2018).
摘要：能耗是多核系统中的一个主要问题。也许降低能源成本的最简单策略是只使用尽可能多的内核，同时仍然能够提供所需的服务质量。受早期针对H.264视频解码的动态（异构）核心分配方案的工作激励，我们制定了以下公式：操作上对执行一系列操作的一般问题可重构机器同时满足相应的序列绝对截止日期，带有降低成本的目标.
使用将成本（例如时间、能量）与对特定资源配置执行操作关联起来的过渡系统框架，我们制定了一个非常简单的模拟关系用于累计成本过渡系统。这种模拟概念构成了指定截止日期/预算一致执行的基础，以及用于比较此类执行的适当概念。我们相信，这些基于仿真的概念可以为最优成本执行的操作理论和近似解决方案的性能保证提供基础，特别是将过渡系统的仿真概念与用于在线算法的竞争分析概念联系起来。

引用于1文件

MSC公司：

64岁以下 分布式系统
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

动态可重构体系结构；最后期限；模拟关系；累积幺半群；成本和效率；在线算法的竞争分析

软件：

McPAT公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Prasad}，J.Log。阿尔盖布。方法程序。100,1-15（2018；Zbl 1400.68043）
全文： 内政部 arXiv公司

参考文献：

[1] Albers，S.，《动态速度缩放算法》，（第28届计算机科学理论方面国际研讨会，STACS 2011，莱布尼茨国际信息学论文集（LIPIcs），第9卷，（2011），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik Dagstull，德国），1-11·Zbl 1230.68097号
[2] 阿尔马戈，S。；博克，美国。；库普夫曼，O.，加权自动机的决定因素是什么？，（验证和分析自动化技术：第九届国际研讨会论文集，2011年亚洲电视协会，台湾台北，2011年10月11日至14日，（2011），海德堡施普林格柏林），482-491·Zbl 1348.68089号
[3] 阿鲁尔（Alur，R.）。；La Torre，S。；Pappas，G.J.，加权时间自动机中的最优路径，（混合系统：计算与控制，第四届国际研讨会论文集，HSCC 2001，意大利罗马，2001年3月28日至30日，（2001）），49-62·Zbl 0991.93076号
[4] 氨基f，B。；库普夫曼，O。；Lampert，R.，用加权自动机推理在线算法，ACM Trans。算法，6，2，28:1-28:36，（2010年4月）·Zbl 1300.68071号
[5] 北班萨尔。；Chan，H.-L。；Lam，T.-W。；Lee，L.-K.，《限速处理器的调度》，（自动机，语言与编程：第35届国际学术讨论会论文集，第一部分，ICALP 2008，冰岛雷克雅未克，2008年7月7日至11日，（2008），斯普林格-柏林，海德堡），409-420·Zbl 1153.68334号
[6] 北班萨尔。；Kimbrel，T。；Pruhs，K.，管理能量和温度的速度缩放，J.ACM，54，1，3:1-3:39，（2007）·Zbl 1326.68043号
[7] 伯纳多，M。；德尼古拉，R。；Loreti，M.，《建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架》，Inf.Compute。，225、29-82（2013年4月）·Zbl 1358.68210号
[8] 博克，美国。；Henzinger，T.A。；Radhakrishna，A.，电池转换系统，（第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，（2014），美国纽约州纽约市ACM），595-606·Zbl 1284.68382号
[9] 鲍耶，P。；Fahrenberg，美国。；Larsen，K.G。；马基，N。；Srba，J.，无限在能量约束的加权时间自动机中运行，（时间系统的形式化建模与分析：第六届国际会议论文集，FORMATS 2008，法国圣马洛，2008年9月15日至17日，（2008），斯普林格-柏林，海德堡），33-47·Zbl 1171.68524号
[10] 卡尔森，T.E。；海尔曼，W。；Eeckhout，L.，Sniper：探索可扩展且准确的并行多核仿真的抽象层次，（高性能计算、网络、存储和分析国际会议，2011年11月），ACM，52:1-52:12
[11] 查特吉，K。；Doyen，L。；Henzinger，T.A。；Raskin，J.，广义平均值与能量博弈，（IARCS软件技术与理论计算机科学基础年会，FSTTCS 2010年12月15-18日，印度钦奈，（2010）），505-516·Zbl 1245.68090号
[12] 哥茨，N。；赫尔佐格，美国。；Rettelbach，M.，《多处理器和分布式系统设计：使用随机过程代数集成功能规范和性能分析》，（《计算机和通信系统性能评估》，93年和93年Sigmetrics联合教程论文，（1993年），英国伦敦斯普林格-弗拉格出版社），121-146
[13] Hermanns，H。；赫尔佐格，美国。；Katoen，J.，《绩效评估的过程代数》，Theor。计算。科学。，274, 1-2, 43-87, (2002) ·Zbl 0992.68149号
[14] ISO/IEC 14496-10，通用视听服务的高级视频编码（2012）
[15] Kanter，D.，Silvermont：英特尔的低功耗架构（2013）
[16] Klin，B.，《加权转换系统的结构操作语义》（semantics and Algebraic Specification:Essays Dedicated to Peter D.Mosses on the occass of His 60th Birthday，（2009），海德堡施普林格柏林），121-139·Zbl 1253.68214号
[17] Klin，B。；Sassone，V.，随机和加权转移系统的结构操作语义，Inf.Compute。，227, 58-83, (2013) ·兹比尔1358.68214
[18] 科彻，P.C。；杰菲，J。；Jun，B.，差分功率分析，（第19届国际密码学年会密码学进展会议论文集，CRYPTO’99，（1999），Springer-Verlag），388-397·Zbl 0942.94501号
[19] Larsen，K.G。；Rasmussen，J.I.，多值时间自动机的最优可达性，Theor。计算。科学。，390, 2-3, 197-213, (2008) ·Zbl 1134.68029号
[20] 李，S。；安，J.H。；斯特朗，R.D。；布罗克曼，J.B。；Tullsen，D.M。；Jouppi，N.P.，Mcpat:多核和多核架构的集成功率、面积和时序建模框架，（第42届IEEE/ACM国际微架构研讨会论文集，（2009），ACM），469-480
[21] 帕尔，R.K。；Paul，K。；Prasad，S.，Rekonf：动态可重构多核体系结构，J.并行分布计算。，74, 11, 3071-3086, (2014)
[22] Pal，R.K。；沙纳亚，我。；Paul，K。；Prasad，S.，同质和异构多核架构中节能视频解码的动态核心分配，《未来一代》。计算。系统。，56, 247-261, (2016)
[23] Roitzsch，M.，Slice-balancing H.264视频编码，用于提高多核解码的可扩展性，（第七届ACM/IEEE嵌入式软件国际会议论文集，（2007）），269-278
[24] 姚，F。；Demers，A。；Shenker，S.，减少CPU能量的调度模型，（第36届计算机科学基础年会论文集，FOCS’95，（1995），IEEE计算机学会，华盛顿特区，美国），374-382·Zbl 0938.68533号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。