摘要
Adam,T.L.、Chandy,K.M.和Dickson,J.R.,1974年。 并行处理系统列表调度的比较。 通信ACM 17、12、685—690。 谷歌学者 数字图书馆 Amnell,T.、Behrmann,G.、Bengtsson,J.、Dargenio,P.R.、David,A.、Fehnker,A.、Hune,T.,Jeannet,B.、Larsen,K.G.、Moller,M.O.、Pettersson,P.、Weise,C.和Yi,W.,2001年。 并行过程的建模和验证。 施普林格,99岁-124岁。 谷歌学者 数字图书馆 Behrmann,G.、David,A.和Larsen,K.G.,2004年。 关于uppaal的教程。 在计算机、通信和软件系统设计的形式方法国际学校(SFM-RT'04),M.Bernardo和F.Corradini编辑,《计算机科学讲义》,第3185卷。 斯普林格,200-237。 谷歌学者 Behrmann,G.、Hendriks,M.和Mader,A.,2005年。 基于可达性分析的生产调度——案例研究。 《并行和分布式实时系统研讨会论文集》(WPDRTS’05)。 IEEE计算机学会出版社。 谷歌学者 数字图书馆 Burch,J.、Clarke,E.、McMillan,K.、Dill,D.和Hwang,L.1990年。 符号模型检查:1020个状态及以上。 在计算机科学逻辑研讨会(LICS’90)的会议记录中。 428--439. 谷歌学者 Carpenter,P.M.、Ramirez,A.和Ayguade,E.,2009年。 将流程序映射到异构多处理器系统上。 《嵌入式系统编译器、体系结构和综合国际会议论文集》(CASES'09)。 ACM出版社,纽约,57-66。 谷歌学者 数字图书馆 Clarke,E.M.、Grumberg,O.和Peled,D.2000。 模型检查。 麻省理工学院出版社。 谷歌学者 Coffman,Jr.,E.,Garey,M.和Johnson,D.,1978年。 二进制分组在多处理机调度中的应用。 SIAM J.计算。 7,1,1-17。 谷歌学者 数字图书馆 Farhad,S.M.、Ko,Y.、Burgsteller,B.和Scholz,B.,2011年。 近似编排:将流程序映射到多核架构。 16年会议记录 第个 编程语言和操作系统体系结构支持国际会议(ASPLOS’11)。 ACM出版社,纽约,357--368。 谷歌学者 数字图书馆 Gordon,M.I.、Thies,W.和Amarasinghe,S.,2006年。 利用流程序中的粗粒度任务、数据和管道并行性。 SIGOPS操作。 系统。 版次40,151--162。 谷歌学者 数字图书馆 Govindarajan,R.、Gao,G.R.和Desai,P.,2002年。 在常规数据流网络中,在速率最优调度下最小化缓冲区需求。 超大规模集成电路信号处理。 系统。 31, 3, 207--229. 谷歌学者 数字图书馆 Gupta,V.、Jagadeesan,R.和Saraswat,V.,1996年。 混合cc、混合自动机和程序验证。 《DIMACS/SYCON混合系统III:验证和控制研讨会论文集》,R.Alur、T.A.Henzinger和E.D.Sontag编辑,《计算机科学讲义》,第1066卷。 施普林格,52-63。 谷歌学者 数字图书馆 Hoare,C.1978年。 传达顺序过程。 通信ACM 21、8、666--677。 谷歌学者 数字图书馆 科勒,W.1975。 多处理器系统上调度任务的关键路径方法的初步评估。 IEEE传输。 计算。 24, 12, 1235--1238. 谷歌学者 数字图书馆 Kudlur,M.和Mahlke,S.,2008年。 在多核平台上协调流程序的执行。 《ACM SIGPLAN编程语言设计与实现会议论文集》(PLDI’08)。 ACM出版社,纽约,114-124。 谷歌学者 数字图书馆 Lee,E.A.和Messerschmitt,D.G.1987年。 用于数字信号处理的同步数据流程序的静态调度。 IEEE传输。 计算。 36、24-35之间。 谷歌学者 数字图书馆 Malik,A.和Gregg,D.,2012年A。 使用整数线性规划在异构执行体系结构上执行同步数据流图。 都柏林三一学院计算机科学与统计学院技术代表TCD-CS-2012-03。 谷歌学者 Malik,A.和Gregg,D.,2012年b。 模型检查定理。 都柏林三一学院计算机科学与统计学院技术代表TCD-CS-2012-17。 谷歌学者 Roop,P.S.、Andalam,S.、Hanxleden,R.、Yuan,S.和Traulsen,C.,2009年。 同步c程序的严密wcrt分析。 技术代表0912,Christian-Albrechts-Universitat Kiel,计算机科学系。 五月。 谷歌学者 Sarkar,V.1989年。 在多处理器上执行的分区和调度并行算法。 斯坦福大学博士论文。 http://www.cs.rice.edu/&sim ; vs3/PDF/Sarkar89.PDF。 谷歌学者 数字图书馆 Sih,G.C.和Lee,E.A.1993年。 解簇:一种新的多处理机调度技术。 IEEE传输。 平行配送系统。 4, 625--637. 谷歌学者 数字图书馆 Udupa,A.、Govindarajan,R.和Thazhuthaveetil,M.J.,2009年。 在gpu上以软件管道方式执行流程序。 在第7次会议记录中 第个 IEEE/ACM国际代码生成和优化年度研讨会(CGO’09)。 200--209. 谷歌学者 数字图书馆 Waingold,E.,Taylor,M.,Sarkar,V.,Lee,V.、Lee,W.、Kim,J.、Frank,M.、Finch,P.、Devabhaktumi,S.、Barua,R.、Babb,J.,Amarsinghe,S.和Agarwal,A.1997年。 把一切都交给软件:原始机器。 麻省理工学院技术代表。 http://groups.csail.mit.edu/cag/raw/documents/Waingold-LCS-TR-1997.pdf。 谷歌学者 数字图书馆
建议
分散搜索的并行化 对 -中值问题 专题:物流中的并行计算 本文为称为分散搜索的元启发式并行化开发了几种策略,分散搜索是一种基于人群的方法,它通过组合其他方法来构造解决方案。 提出了三种类型的并行化来实现。。。