Parallel juxtaposition for bulk synchronous parallel ML

被引:0
|
作者
Loulergue, F [1 ]
机构
[1] Lab Algorithms Complex & Log, F-94010 Creteil, France
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the lambda-calculus by parallel operations on a parallel data structure named parallel vector. An attempt to add a parallel composition to this approach led to a non-confluent calculus and to a restricted form of parallel composition. This paper presents a new, simpler and more general semantics for parallel composition.
引用
收藏
页码:781 / 788
页数:8
相关论文
共 50 条
  • [1] Bulk synchronous parallel ML:: Semantics and implementation of the parallel juxtaposition
    Loulergue, F.
    Benheddi, R.
    Gava, F.
    Louis-Regis, D.
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 475 - 486
  • [2] Parallel superposition for bulk synchronous parallel ML
    Loulergue, F
    COMPUTATIONAL SCIENCE - ICCS 2003, PT III, PROCEEDINGS, 2003, 2659 : 223 - 232
  • [3] A parallel virtual machine for bulk synchronous parallel ML
    Gava, F
    Loulergue, F
    COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS, 2003, 2657 : 155 - 164
  • [4] Bulk synchronous parallel ML with exceptions
    Gesbert, Louis
    Gava, Fredric
    Loulergue, Frederic
    Dabrowski, Frederic
    DISTRIBUTED AND PARALLEL SYSTEMS: FROM CLUSTER TO GRID COMPUTING, 2007, : 33 - +
  • [5] Optimizing bulk synchronous parallel ML
    Loulergue, F
    SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERNG, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING AND FIRST AICS INTERNATIONAL WORKSHOP ON SELF-ASSEMBLING WIRELESS NETWORKS, PROCEEDINGS, 2005, : 294 - 299
  • [6] Bulk synchronous parallel ML with exceptions
    Gesbert, Louis
    Gava, Frederic
    Loulergue, Frederic
    Dabrowski, Frederic
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2010, 26 (03): : 486 - 490
  • [7] Implementation of the parallel superposition in bulk-synchronous parallel ML
    Gava, Frederic
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS, 2007, 4487 : 611 - 619
  • [8] Parallel I/O in bulk-synchronous parallel ML
    Gava, R
    COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 331 - 338
  • [9] Implementing Powerlists with Bulk Synchronous Parallel ML
    Loulergue, Frederic
    Niculescu, Virginia
    Tesson, Julien
    16TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2014), 2014, : 325 - 332
  • [10] A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
    Gava, F
    Loulergue, F
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2005, 21 (05): : 665 - 671