A bridging model for parallel computation
Communications of the ACM
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
Direct bulk-synchronous parallel algorithms
Journal of Parallel and Distributed Computing
Scalability, portability and predictability: the BSP approach to parallel programming
Future Generation Computer Systems - Special issue: parallel computing applications
Efficient high-level parallel programming
Theoretical Computer Science - Special issue on parallel computing
Structured development of parallel programs
Structured development of parallel programs
BSPlib: The BSP programming library
Parallel Computing
A calculus of functional BSP programs
Science of Computer Programming - Special issue on mathematics of program construction
BSP in a lazy functional context
Trends in functional programming
Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
The Paderborn University BSP (PUB) Library - Design, Implementation and Performance
IPPS '99/SPDP '99 Proceedings of the 13th International Symposium on Parallel Processing and the 10th Symposium on Parallel and Distributed Processing
Submachine Locality in the Bulk Synchronous Setting (Extended Abstract)
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing-Volume II
Parallel composition and bulk synchronous parallel functional programming
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
ESA '95 Proceedings of the Third Annual European Symposium on Algorithms
Skeletons for parallel image processing: an overview of the SKIPPER project
Parallel Computing - Special issue: Advanced environments for parallel and distributed computing
A bulk-synchronous parallel process algebra
Computer Languages, Systems and Structures
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
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
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
| Hi-index | 0.00 |
The BSMLlib is a library for Bulk Synchronous 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, which is given by intention. Those operations are flat and allow BSP programming in direct mode but it is impossible to express directly divide-and-conquer algorithms. This paper presents a new construction for the BSMLlib library which can express divide-and-conquer algorithms. It is called parallel superposition because it can be seen as the parallel composition of two BSP threads which can each use all the processors. An associated cost model derived from the BSP cost model is also given.