A bridging model for parallel computation
Communications of the ACM
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
BSPlib: The BSP programming library
Parallel Computing
MPI-The Complete Reference, Volume 1: The MPI Core
MPI-The Complete Reference, Volume 1: The MPI Core
BSP in a lazy functional context
Trends in functional programming
The Paderborn University BSP (PUB) library
Parallel Computing
Portable and architecture independent parallel performance tuning using BSP
Parallel Computing
Parallel Scientific Computation: A Structured Approach Using BSP and MPI
Parallel Scientific Computation: A Structured Approach Using BSP and MPI
Concurrency and Computation: Practice & Experience - Compilers for Parallel Computers
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
Future Generation Computer Systems - Special issue: Parallel computing technologies
Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays
APPT '09 Proceedings of the 8th International Symposium on Advanced Parallel Processing Technologies
Bulk synchronous parallel ML with exceptions
Future Generation Computer Systems
Divide-and-conquer parallel programming with minimally synchronous parallel ML
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Formal semantics of DRMA-style programming in BSPlib
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Hybrid bulk synchronous parallelism library for clustered smp architectures
Proceedings of the fourth international workshop on High-level parallel programming and applications
Type system for a safe execution of parallel programs in BSML
Proceedings of the fifth international workshop on High-level parallel programming and applications
A formal programming model of Orléans skeleton library
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Bulk synchronous parallel ML: semantics and implementation of the parallel juxtaposition
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Verification of a heat diffusion simulation written with orléans skeleton library
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
A verified library of algorithmic skeletons on evenly distributed arrays
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Hi-index | 0.00 |
BSML is a library for parallel 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. The execution time can be estimated, dead-locks and indeterminism are avoided. Programs are written as usual functional programs (in Objective Caml) but using a small set of additional functions. Provided functions are used to access the parameters of the parallel machine and to create and operate on parallel vectors. It follows the execution and cost model of the Bulk Synchronous Parallel model. The paper presents the lastest implementation of this library and experiments of performance prediction.