Parallel juxtaposition for bulk synchronous parallel ML

被引：0
|
作者：
Loulergue, F [1 ]
机构：
[1] Lab Algorithms Complex & Log, F-94010 Creteil, France
来源：
EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS | 2003年 / 2790卷
关键词：
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 条
  • [11] EXTERNAL MEMORY IN BULK-SYNCHRONOUS PARALLEL ML
    Gava, Frederic
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2005, 6 (04): : 43 - 69
  • [12] A polymorphic type system for bulk synchronous parallel ML
    Gava, F
    Loulergue, F
    PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2003, 2763 : 215 - 229
  • [13] Semantics of an exception mechanism for Bulk Synchronous Parallel ML
    Gesbert, Louis
    Loulergue, Frederic
    EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2007, : 201 - +
  • [14] Bulk synchronous parallel ML: Modular implementation and performance prediction
    Loulergue, F
    Gava, F
    Billiet, D
    COMPUTATIONAL SCIENCE - ICCS 2005, PT 2, 2005, 3515 : 1046 - 1054
  • [15] A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation
    Tesson, Julien
    Loulergue, Frederic
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE (ICCS), 2011, 4 : 36 - 45
  • [16] A MODULAR IMPLEMENTATION OF DATA STRUCTURES IN BULK-SYNCHRONOUS PARALLEL ML
    Cava, Frederic
    PARALLEL PROCESSING LETTERS, 2008, 18 (01) : 39 - 53
  • [17] Parallel composition and bulk synchronous parallel functional programming
    Loulergue, F
    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2, 2000, : 77 - 88
  • [18] REDUCING THE BULK IN THE BULK SYNCHRONOUS PARALLEL MODEL
    Barrett, R. F.
    Vaughan, C. T.
    Hammond, S. D.
    Roweth, D.
    PARALLEL PROCESSING LETTERS, 2013, 23 (04)
  • [19] Divide-and-conquer parallel programming with Minimally Synchronous Parallel ML
    Benheddi, Radia
    Loulergue, Frederic
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2008, 4967 : 1078 - 1085
  • [20] Bulk synchronous parallel: practical experience with a model for parallel computing
    Krizanc, D
    Saarimaki, A
    PARALLEL COMPUTING, 1999, 25 (02) : 159 - 181
12345