With the current generalisation of parallel architectures arises the concern of applying formal
methods to parallelism. The complexity of parallel, compared to sequential, programs makes …

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 …

Bulk-synchronous parallel ML (BSML) is an ML-based language designed to code bulk
synchronous parallel (BSP) algorithms. It allows an estimation of execution time, and avoids …

Abstract Bulk-Synchronous Parallel ML (BSML) is a functional data-parallel language to
code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time …

Parallel programming and data-parallel algorithms have been the main techniques
supporting high-performance computing for many decades. A major conceptual step was …

La programmation parallèle et les algorithmes data-parallèles sont depuis plusieurs
décennies les principales techniques de soutien l'informatique haute performance. Comme …

Abstract Bulk-Synchronous Parallel ML (BSML) is a ML based language to code Bulk-
Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, avoids …

With the current generalization of parallel architectures arises the concern of applying formal
methods to parallelism, which allows specifications of parallel programs to be precisely …

The design of parallel programs and parallel programming languages is a trade-off. On one
hand the programs should be efficient. But the efficiency should not come at the price of non …

Parallel programming and data-parallel algorithms have been the main techniques
supporting highperformance computing for many decades. Like all non-functional properties …