×
亚美尼亚梅林;盖坦·海恩斯

批量同步并行进程代数。 （英语） Zbl 1112.68105号

计算。语言系统。结构。 33，编号3-4，111-133（2007）.
概要：通信系统演算（CCS）进程代数是一个众所周知的同步和通信的形式化模型。它用于分析协议或分布式程序中的安全性和活性。在最近的工作中，它用于分析安全属性。Bulk-Synchronous Parallelism（BSP）是一种数据并行计算的算法和编程模型。它对可扩展并行算法的设计、分析和编程很有用。当前的许多发展需要分布式和并行编程的集成：用于跨Internet共享资源的网格系统、对并行计算机系统的安全可靠的全球访问、在随机访问的系统上对机密数据的地理分布等。这些软件服务必须提供安全保障，活跃性、安全性以及可扩展和可靠的性能。因此，需要形式化模型来结合并行性能和并发行为。有鉴于此，我们提出了BSP与CCS语义的集成，概括了其成本（性能）模型，并简述了其在元计算调度问题中的应用。

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68甲19 其他编程范式（面向对象、顺序、并发、自动等）

关键词：

性能模型;BSP模型;并行程序设计;过程代数;路代数;通信系统演算;批量同步并行

软件：

BSP备份;BSP接口;磁粉探伤
PDF格式BibTeX公司 XML格式引用
\textit{A.Merlin}和\textit{G.Hains}，计算。语言系统。结构。33，编号3--4，111-133（2007；Zbl 1112.68105）
全文： 内政部

参考文献：

[1] Loulergue，F。；海恩斯，G。；Foisy，C.，《功能BSP程序的微积分》，《计算机编程科学》，37，1-3，253-277（2000）·Zbl 0954.68036号
[2] Valiant，L.，并行计算的桥接模型，ACM的通信，33，8，103（1990）
[3] Skillicorn，D。；希尔，J.M.D。；McColl，W.F.，《关于bsp的问答》，科学规划，6，3，249-274（1997）
[4] Bisseling，R.，《并行科学计算，使用BSP和MPI的结构化方法》（2004），牛津大学出版社：牛津大学出版社·兹比尔1059.65133
[5] Nemeth，Z。；Sunderam，V.，《表征网格：属性、定义和形式化》，网格计算杂志，1，9-23（2003）
[6] （Foster，I.；Kesselman，C.，《网格：新计算基础设施蓝图》（The grid:blueprint for a new computing infrastructure）（1999），摩根考夫曼：摩根考夫曼·洛斯·阿尔托斯，加利福尼亚州）
[7] Milner R.并发进程的操作和代数语义。收件人：Van Leeuwen J，编辑。理论计算机科学手册。马萨诸塞州坎布里奇市阿姆斯特丹：北荷兰，MIT-Press；1990.; Milner R.并发进程的操作和代数语义。收件人：Van Leeuwen J，编辑。理论计算机科学手册。马萨诸塞州坎布里奇市阿姆斯特丹：北荷兰，MIT-Press；1990
[8] Milner，R.，《通信与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0683.68008号
[9] （Van Leeuwen，J.，《理论计算机科学手册》（1990），北荷兰，MIT-Press:北荷兰，麻省理工学院阿姆斯特丹，剑桥）·Zbl 0712.68054号
[10] Gondran，M。；米努克斯，M。；Vajda，S.，《图形和算法》（1984），威利出版社：威利纽约·Zbl 0611.90096号
[11] Krishnan P.分布式CCS。在：并发理论：统一和扩展：CONCUR-91。计算机科学课堂讲稿，第527卷。柏林：施普林格；1991年8月。第393-407页。；Krishnan P.分布式CCS。在：并发理论：统一和扩展：CONCUR-91。计算机科学课堂讲稿，第527卷。柏林：施普林格；1991年8月。第393-407页。
[12] Rebeuf X.Un modèle de co-t t symbolique pour-les programs parall-les asynchrones as dépendances structureées。奥尔良大学博士学位，2000年。；Rebeuf X.Un modèle de co-t t symbolique pour-les programs parall-les asynchrones as dépendances structureées。2000年奥尔良大学博士学位。
[13] Benoit，A。；科尔，M。；吉尔摩，S。；Hillston，J.，评估基于骨架的高级并行程序的性能，（Bubak，M.；van Albada，D.；Sloot，P.；Dongarra，J.），国际计算科学会议（ICCS 2004），第三部分，计算机科学讲稿（2004），Springer:Springer Berlin），299-306
[14] 普拉萨德KVS。可重启系统的组合器和互模拟证明。爱丁堡大学博士论文；1987年12月。；Prasad KVS公司。可重启系统的组合器和互模拟证明。爱丁堡大学博士论文；1987年12月。
[15] 丙酮，L。；Jeffrey，A.，一类定时规则行为的定时互模拟的完全公理化，理论计算机科学，152，2，251-268（1995）·Zbl 0872.68039号
[16] Katoen J-P，D'Argenio PR.过程代数中的一般分布。计算机科学讲稿，第2090卷；2001.; Katoen J-P，D'Argenio PR.过程代数中的一般分布。计算机科学讲稿，第2090卷；2001. ·Zbl 0990.68091号
[17] Chen J.定时移动微积分。In:第16届北欧规划理论研讨会（NWPT’04）；2004.; Chen J.定时移动微积分。In:第16届北欧规划理论研讨会（NWPT’04）；2004
[18] 米尔纳，R。；帕罗，J。；Walker，D.，《移动进程演算》，I和II，《信息与计算》，100，1，1-40（1992），和41-77·Zbl 0752.68036号
[19] Fournet G，Gonthier G。自反CHAM和联合演算。参加：第23届美国计算机学会编程语言原则年会（POPL'96），美国佛罗里达州圣彼得堡；1996年1月。第371-385页。；Fournet G，Gonthier G。自反CHAM和联合演算。参加：第23届美国计算机学会编程语言原则年会（POPL'96），美国佛罗里达州圣彼得堡；1996年1月。第371-385页。
[20] 斯尼尔，M。；Gropp，W.，《MPI完整参考》（1998），麻省理工学院出版社：麻省理学院出版社剑桥
[21] 希尔，J.M.D。；麦克尔，B。；斯特凡内斯库。；Goudreau，M.W。；Lang，K。；Rao，S.B.，Bsplib:bsp编程库，并行计算，24,141947-1980（1998）
[22] Anantharaman S，Hains G.一种基于同步互模拟的信息流分析方法。在：关于关键系统自动化验证的第三次研讨会：（AVOCS'03）；2003年4月。；Anantharaman S，Hains G.一种基于同步互模拟的信息流分析方法。In：关键系统自动验证第三次研讨会：（AVOCS’03）；2003年4月。
[23] Loulerge F.批量同步并行ML的并行并置。在Kosch H，Boszorményi L，Hellwagner H编辑。2003年欧洲议会。计算机科学课堂讲稿，第2790卷。柏林：施普林格；2003年，第781-8页。；Loulerge F.批量同步并行ML的并行并置。在Kosch H，Boszorményi L，Hellwagner H编辑。2003年欧洲议会。计算机科学课堂讲稿，第2790卷。柏林：施普林格；2003年，第781-8页·Zbl 1033.68532号
[24] Loulergue F.批量同步并行ML的并行叠加，In:Slot PMA等编辑。国际计算科学会议（ICCS 2003），第三部分，计算机科学讲稿，第2659卷。柏林：施普林格；2003年6月。第223-32页。；Loulergue F.批量同步并行ML的并行叠加，In:Slot PMA等编辑。国际计算科学会议（ICCS 2003），第三部分，计算机科学讲稿，第2659卷。柏林：施普林格；2003年6月。第223-32页。
[25] Merlin A.Modéles opérationnels传播者、表演等。2004年奥尔良大学博士学位。；Merlin A.Modéles opérationnels传播者、表演等。奥尔良大学博士学位，2004年。
[26] Lafrance S，Mullins J.使用可接受干扰检测拒绝服务漏洞。收录人：Morris JM、Aziz B、Oehl F.编辑。第六次正式方法国际研讨会。英国计算机学会（BCS）计算电子研讨会（eWiC）；2003.; Lafrance S，Mullins J.使用可接受干扰检测拒绝服务漏洞。收录人：Morris JM、Aziz B、Oehl F.编辑。第六次正式方法国际研讨会。英国计算机学会（BCS）计算电子研讨会（eWiC）；2003
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。