A “minimal disruption” skeleton experiment: seamless map & reduce embedding in OCaml
M Danelutto, R Di Cosmo - Procedia Computer Science, 2012 - Elsevier
We discuss the implementation of a minimalist parallel library in OCaml. The library provides
parallel map and fold (reduce) higher order functions and targets standard cache coherent …
parallel map and fold (reduce) higher order functions and targets standard cache coherent …
PySke: algorithmic skeletons for Python
J Philippe, F Loulergue - 2019 International Conference on …, 2019 - ieeexplore.ieee.org
PySke is a library of parallel algorithmic skeletons in Python designed for list and tree data
structures. Such algorithmic skeletons are high-order functions implemented in parallel. An …
structures. Such algorithmic skeletons are high-order functions implemented in parallel. An …
SPOC: GPGPU programming through stream processing with OCaml
M Bourgoin, E Chailloux, JL Lamotte - Parallel Processing Letters, 2012 - World Scientific
General purpose computing on graphics processing units (GPGPU) consists of using GPUs
to handle computations commonly handled by CPUs. GPGPU programming implies …
to handle computations commonly handled by CPUs. GPGPU programming implies …
Multi-ML: programming multi-BSP algorithms in ML
V Allombert, F Gava, J Tesson - International Journal of Parallel …, 2017 - Springer
Abstract bsp is a bridging model between abstract execution and concrete parallel systems.
Structure and abstraction brought by bsp allow to have portable parallel programs with …
Structure and abstraction brought by bsp allow to have portable parallel programs with …
Parallel programming and performance predictability with Orléans skeleton library
N Javed, F Loulergue - 2011 International Conference on High …, 2011 - ieeexplore.ieee.org
Orléans Skeleton Library (OSL) is a library of parallel algorithmic skeletons in C++ on top of
MPI. It provides a structured approach towards parallel programming. Skeletons in OSL are …
MPI. It provides a structured approach towards parallel programming. Skeletons in OSL are …
Implementing algorithmic skeletons with bulk synchronous parallel ML
F Loulergue - 2017 18th International Conference on Parallel …, 2017 - ieeexplore.ieee.org
Skeletal parallelism offers a good trade-off between programming productivity and execution
efficiency. In this style of parallelism, an application is a composition of algorithmic …
efficiency. In this style of parallelism, an application is a composition of algorithmic …
Managing arbitrary distributions of arrays in Orléans Skeleton Library
J Légaux, F Loulergue… - … Conference on High …, 2013 - ieeexplore.ieee.org
Structured parallel models such as algorithmic skeletons offer a global view of the parallel
program in contrast with the fragmented view of the SPMD style. This makes program easier …
program in contrast with the fragmented view of the SPMD style. This makes program easier …
A web-based dual mode virtual laboratory supporting cooperative learning
YL Wu, TY Chan, BS Jong, TW Lin… - … and Applications, 2004 …, 2004 - ieeexplore.ieee.org
This paper suggests the solution to build a full virtual reality learning environment, and we
have built both virtual and real laboratories on the Web, in which students practice their …
have built both virtual and real laboratories on the Web, in which students practice their …
Environnement pour le développement et la preuve de correction systématiques de programmes paralleles fonctionnels
J Tesson - 2011 - theses.hal.science
Concevoir et implanter des programmes parallèles est une tâche complexe, sujette aux
erreurs. La vérification des programmes parallèles est également plus difficile que celle des …
erreurs. La vérification des programmes parallèles est également plus difficile que celle des …
Simple, list-based parallel programming with transparent load balancing
J Buenabad-Chávez, MA Castro-García… - Parallel Processing and …, 2006 - Springer
We present a data-list management library that both simplifies parallel programming and
balances the workload transparently to the programmer. We present its use with an …
balances the workload transparently to the programmer. We present its use with an …