A bridging model for parallel computation
Communications of the ACM
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
Scalable parallel geometric algorithms for coarse grained multicomputers
SCG '93 Proceedings of the ninth annual symposium on Computational geometry
Pthreads programming
Scalability, portability and predictability: the BSP approach to parallel programming
Future Generation Computer Systems - Special issue: parallel computing applications
Verification of sequential and concurrent programs (2nd ed.)
Verification of sequential and concurrent programs (2nd ed.)
Structured development of parallel programs
Structured development of parallel programs
Using the BSP cost model to optimise parallel neural network training
Future Generation Computer Systems - Special issue: Bio-inspired solutions to parallel processing problems
BSPlib: The BSP programming library
Parallel Computing
JBSP: a BSP programming library in Java
Journal of Parallel and Distributed Computing
MPI-The Complete Reference, Volume 1: The MPI Core
MPI-The Complete Reference, Volume 1: The MPI Core
Parallel Programming Using Skeleton Functions
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
The Paderborn University BSP (PUB) library
Parallel Computing
An advanced environment supporting structured parallel programming in Java
Future Generation Computer Systems - Tools for program development and analysis
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 library of constructive skeletons for sequential style of parallel programming
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
QUAFF: efficient C++ design for parallel skeletons
Parallel Computing - Algorithmic skeletons
A bulk-synchronous parallel process algebra
Computer Languages, Systems and Structures
Intel threading building blocks
Intel threading building blocks
Speeding up genetic programming: a parallel BSP implementation
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
Using B SP and Python to simplify parallel programming
Future Generation Computer Systems
Model checking nonblocking MPI programs
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Flexible skeletal programming with eskel
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Bulk synchronous parallel ML: modular implementation and performance prediction
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part II
Joint structured/unstructured parallelism exploitation in muskel
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Fine tuning algorithmic skeletons
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Domain-specific optimization strategy for skeleton programs
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Practical model-checking method for verifying correctness of MPI programs
PVM/MPI'07 Proceedings of the 14th European conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
A formal programming model of Orléans skeleton library
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Towards high-performance implementations of a custom HPC kernel using ® array building blocks
Facing the Multicore-Challenge II
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
| Hi-index | 0.00 |
The existing solutions to program parallel architectures range from parallelizing compilers to distributed concurrent programming. Intermediate approaches propose a more structured parallelism: Algorithmic skeletons are higher-order functions that capture the patterns of parallel algorithms. The user of the library has just to compose some of the skeletons to write her parallel application. When one is designing a parallel program, the parallel performance is important. It is thus very interesting for the programmer to rely on a simple yet realistic parallel performance model such as the Bulk Synchronous Parallel (BSP) model. We present OSL, the Orléans Skeleton Library: it is a library of BSP algorithmic skeletons in C++. It offers data-parallel skeletons on arrays as well as communication oriented skeletons. The performance of OSL is demonstrated with two applications: heat equation and FFT.