Theoretically, many modern statistical procedures are trivial to parallelize. However,
practical deployment of a parallelized implementation which is robust and reliably runs on …

The BS λp-calculus is a calculus of functional bulk synchronous parallel (BSP) programs. It
is the basis for the design of a bulk synchronous parallel ML language. For data-parallel …

The work described here is part of our research program to investigate new paradigms for
declarative parallel programming through special interpretations of standard semantics. Our …

Certains problèmes nécessitent des performances que seules les machines massivement
parallèles ou les méta-ordinateurs peuvent offrir. L'écriture d'algorithmes pour ce type de …

Caml-Flight is a data-parallel extension for Caml Light. It is an intermediate, portable and
mostly deterministic functional language for distributed memory multiprocessors (DMM). Its …

This paper presents a new functional parallel language: Minimally Synchronous Parallel ML
(MSPML). The execution time can be estimated, dead-locks and indeterminism are avoided …

A functional data-parallel language called BSML has been designed for programming Bulk-
Synchronous Parallel algorithms. Many sequential algorithms do not have parallel …

Zusammenfassung Der Bedarf an Rechenleistung in den Wissenschaften und der Industrie
steigt ständig an. Bei der Entwicklung schnellerer Prozessoren gelangt man allerdings an …

Résumé Certains problemes nécessitent des performances que seules les machines
massivement paralleles peuvent offrir. Leur programmation demeure néanmoins difficile …

Objective Caml is a famous dialect of the ML family languages. It is well-known for its
performance as a compiled programming language, notably thanks to its incremental …