Sciweavers

9 search results - page 1 / 2
» A Parallel Categorical Abstract Machine for Bulk Synchronous...
Sort
View
ICCS
2004
Springer
13 years 10 months ago
Design of Departmental Metacomputing ML
Abstract. Bulk Synchronous Parallel ML or BSML is a functional dataparallel language for programming bulk synchronous parallel (BSP) algorithms. The execution time can be estimated...
Frédéric Gava
ICCS
2003
Springer
13 years 10 months ago
A Parallel Virtual Machine for Bulk Synchronous Parallel ML
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...
Frédéric Gava, Frédéri...
ICCS
2007
Springer
13 years 11 months ago
Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML
Abstract. Bulk-Synchronous Parallel ML (BSML) is a functional dataparallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, a...
Frédéric Gava
ICCS
2005
Springer
13 years 10 months ago
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction
Abstract. 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...
Frédéric Loulergue, Fréd&eacu...