×
卢卡·贝尼尼；米歇尔·伦巴第；马可·曼托瓦尼；米歇拉·米兰；鲁杰罗、马蒂诺

用于优化多核架构的多级Benders分解。 （英语） Zbl 1142.68506号

Perron，Laurent（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日，第五届国际会议，CPAIOR 2008，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68154-0/pbk）。《计算机科学讲义》5015，36-50（2008）。
摘要：多核架构的软件优化是当今高端计算中最关键的挑战之一。在本文中，我们重点关注一个著名的多核平台，即Cell BE处理器，并解决其处理器、通信通道和内存的分配和调度问题，以最小化应用程序执行时间为目标。
我们开发了一个基于Benders分解的完整优化策略。不幸的是，传统的两阶段分解会产生不平衡的组件：分配部分比较困难，而调度部分则容易得多。为了解决这个问题，我们开发了一个多阶段分解，这是标准的基于逻辑的Benders分解（LBD）的递归应用。我们的实验表明，这种方法在获得平衡子问题和减少优化器运行时间方面非常有效。
关于整个系列，请参见[Zbl 1136.68010号].

引用于11文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
2007年7月68日 计算机体系结构的数学问题
68平方米 计算机系统环境下的性能评估、排队和调度
PDF格式BibTeX公司 XML格式引用
\textit{L.Benini}等人，Lect。注释计算。科学。5015，36-50（2008；Zbl 1142.68506）
全文： 内政部

参考文献：

[1] 贝尼尼，L。；贝尔托齐，D。；游击队，A。；米兰，M。；van Beek，P.，《通过分解和非优生成为MPSOC分配和调度》，《约束编程的原理和实践——CP 2005》（2005），海德堡：斯普林格出版社·Zbl 1153.68448号 ·doi:10.1007/11564751-11
[2] 贝尼尼，L。；贝尔托齐，D。；游击队，A。；米兰，M。；贝克，J.C。；Smith，B.M.，能量感知MPSoC的分配、调度和电压缩放，AI和OR技术在组合优化问题约束编程中的集成（2006），海德堡：斯普林格·Zbl 1177.68023号 ·doi:10.1007/117573756
[3] Benini，L.、Lombardi，M.、Mantovani，M.，Milano，M.和Ruggiero，M.：优化多核架构的多级Benders分解。技术报告LIA-008-07·Zbl 1142.68506号
[4] Bockmayr，A.，Pisaruk，N.：使用CP检测MIP的不可行性并生成切割。In:Int.Workshop Integration AI OR Techniques Constraint Programming Combin.Optim。问题CP-AI-OR 2003，加拿大蒙特利尔（2003）·兹比尔1086.90041
[5] Flachs，B.等人：细胞处理器的流处理单元。参加：固态电路会议。技术论文摘要。ISSCC。2005 IEEE国际，第134-135页（2005）
[6] 格罗斯曼，I.E。；Jain，V.，一类优化问题的混合milp/cp模型算法，《计算信息杂志》，13，258-276（2001）·Zbl 1238.90106号 ·doi:10.1287/ijoc.131.4.258.9733
[7] 胡克，J.N。；Ottosson，G.，《基于逻辑的弯曲分解》，《数学规划》，96，33-60（2003）·Zbl 1023.90082号
[8] 胡克，J.N。；Wallace，M.，《规划与调度的混合方法》，《约束编程的原理与实践——CP 2004，305-316（2004）》，海德堡：斯普林格出版社·Zbl 1152.90445号
[9] 胡克，J.N。；van Beek，P.，《尽量减少延误的规划和调度，约束编程的原则和实践——CP 2005，314-327（2005）》，海德堡：斯普林格·Zbl 1153.90423号 ·doi:10.1007/11564751-25
[10] Kistler，M。；佩罗内，M。；Petrini，F.，《细胞多处理器通信网络：为速度而构建》，IEEE Micro，26，3，10-23（2006）·doi:10.1109/MM.2006.49
[11] Pham，D.等人：第一代细胞处理器的设计和实现。摘自：IEEE国际固态电路会议ISSCC 2005，第1卷，第184-592页（2005）
[12] Sadykov，R。；Wolsey，L.A.，《整数规划和约束规划在解决具有截止日期和发布日期的多机指派调度问题中的应用》，《计算信息杂志》，18，2，209-217（2006）·Zbl 1241.90056号 ·doi:10.1287/ijoc.1040.0110
[13] de Siqueira，N.J.L.，Puget，J.F.：基于解释的故障概括。摘自：欧洲人工智能会议，第339-344页（1988年）
[14] Junker，U.：QUICKXPLAIN：过度约束问题的首选解释和放松。In：程序。第十九届全国人工智能会议-AAAI 2004，美国加利福尼亚州圣何塞，2004年7月，第167-172页。AAAI出版社/麻省理工学院出版社（2004）
[15] Lombardi，M.，Milano，M.：MPSoC中条件任务图的随机分配和调度。In：程序。国际约束编程原理与实践会议（2006）
[16] 塔里木，A。；米格尔，I。；Hnich，B。；卡尔森，M。；Fages，F。；Rossi，F.，求解具有线性资源的随机约束程序的混合Benders分解方法，约束的最新进展，133-148（2006），海德堡：Springer，Heidelberg·Zbl 1180.68252号 ·doi:10.1007/11754602-10
[17] 坎巴扎德，H。；Jussien，N.，在约束编程中集成Benders分解，Proc。约束编程原理与实践国际会议，752-756（2005），海德堡：施普林格·Zbl 1153.68451号 ·doi:10.1007/11564751_58
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。