Results 1  10
of
11
Functional Bulk Synchronous Parallel Programming in C++
 In 14th IASTED International Conference on Parallel and Distributed Computing Systems
, 2002
"... This paper presents the BSFC++ library for functional bulk synchronous parallel programming in C++. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. This guarantees the determinism and the absence ..."
Abstract

Cited by 19 (14 self)
 Add to MetaCart
This paper presents the BSFC++ library for functional bulk synchronous parallel programming in C++. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. This guarantees the determinism and the absence of deadlock. Broadcast algorithms are implemented using the core library.
A Polymorphic Type System for Bulk Synchronous Parallel ML
, 2003
"... The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. ..."
Abstract

Cited by 12 (10 self)
 Add to MetaCart
The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml.
Parallel Juxtaposition for Bulk Synchronous Parallel ML
 EuroPar 2003, number 2790 in LNCS
, 2002
"... The BSMLlib is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
The BSMLlib is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention.
Skeletonbased parallel programming: Functional and parallel semantics in a single shot
, 2007
"... ..."
A Tutorial Implementation of the Diffusion Algorithmic Skeleton with the BSMLlib Library
, 2004
"... Skeleton programming enables programmers to build parallel programs easier by providing efficient readymade parallel algorithms. The diffusion skeleton was proposed (associated with a method for program derivation) to abstract a good combination of primitive skeletons, such as map, parallel red ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Skeleton programming enables programmers to build parallel programs easier by providing efficient readymade parallel algorithms. The diffusion skeleton was proposed (associated with a method for program derivation) to abstract a good combination of primitive skeletons, such as map, parallel reduction and parallel prefix sum (scan).
Verifying Functional Bulk Synchronous Parallel Programs Using the Coq System
, 2003
"... The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP) programming. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. We present the formal proofs of c ..."
Abstract
 Add to MetaCart
The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP) programming. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. We present the formal proofs of correctness of BSML programs in the Coq proof assistant. Such development demonstrates the usefulness of higherorder logic in the process of software certification and parallel applications. They also show that proof of rather complex parallel algorithms may be made with inductive types by using the certified programs.
Implementation of the BSMLlib Library v0.2
, 2002
"... The BSMLlib is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the #calcul by parallel operations on a parallel data structure named parallel vector, which is given by intention. A first implementation of this ..."
Abstract
 Add to MetaCart
The BSMLlib is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the #calcul by parallel operations on a parallel data structure named parallel vector, which is given by intention. A first implementation of this library was based on the BSPlib library, which is not longer supported nor updated. Being the basis of a framework for Grid computing, a new implementation of the BSMLlib based on MPI has been designed. Experimental results on a cluster of PCs are presented.
Pattern Matching and Exception Handling for Bulk Synchronous Parallel ML
, 2003
"... The BSML (Bulk Synchronous ML) language is a dataparallel functional language for programming BSP (Bulk Synchronous algorithms) algorithms in socalled direct mode. In a direct mode BSP algorithm, the physical structure of processes is made explicit. The execution time can then be estimated and dea ..."
Abstract
 Add to MetaCart
The BSML (Bulk Synchronous ML) language is a dataparallel functional language for programming BSP (Bulk Synchronous algorithms) algorithms in socalled direct mode. In a direct mode BSP algorithm, the physical structure of processes is made explicit. The execution time can then be estimated and deadlocks and indeterminism are avoided. The BSMLlib library, the current implementation of the BSML language, permits, as an extension of Objective Caml, the use of the exceptions handling mechanism that comes with this language. However, the interaction of Objective Caml exceptions with the BS#calculus (the theoretical model underlying the BSML language) has not yet been studied and yields some safety issues. In particular, the use of collective synchronization operations needs the participation of all processes during the call to one of these operation, should the opposite occur, processes involved in this call are locked. The BSML language, without exceptions, ensures that all processes participate to such a call and thus that deadlocks are avoided (except for process failure). When one introduces Objective Caml exceptions, this safety property does not hold any more. Thus it is needed to study a new semantics, suitable to exceptions handling, to recover this property. The present work introduces such a semantics in which the participation of all processes is ensured and deadlock issues are avoided. We will also introduce a semantics allowing the patternmatching of BSML parallel vectors. This semantics has been studied in the framework of a previous work on exceptions handling which has not been retained here but its functionalities will be nethertheless add to the BSML language.
Contents
, 2004
"... 1.1 The BSP Model............................................ 4 1.2 Explicit processes and the SPMD programming style....................... 5 1.3 Overview of the core BSMLlib library................................ 6 ..."
Abstract
 Add to MetaCart
1.1 The BSP Model............................................ 4 1.2 Explicit processes and the SPMD programming style....................... 5 1.3 Overview of the core BSMLlib library................................ 6
Efficiency of Bulk Synchronous Parallel Programming Using C++, BSFC++ and BSMLlib
, 2002
"... 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 #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. ..."
Abstract
 Add to MetaCart
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 #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention.