摘要
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上以软件管道方式执行流程序。 第七届会议记录 第个 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。 谷歌学者 数字图书馆
建议
分散搜索的并行化 第页 -中值问题 专题：物流中的并行计算 本文为称为分散搜索的元启发式并行化开发了几种策略，分散搜索是一种基于人群的方法，它通过组合其他方法来构造解决方案。 提出了三种类型的并行化来实现。。。
