This paper describes a new technique for identifying potentially parallelisable code
structures in functional programs. Higher-order functions enable simple and easily …

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 …

This paper presents the design and implementation of BSP++, a C++ parallel programming
library based on the Bulk Synchronous Parallelism model to perform high performance …

Exception handling is a traditional and natural mechanism to manage errors and events that
disrupt the normal flow of program instructions. In most concurrent or parallel systems …

Approximate probabilistic model checking, and more generally sampling based model
checking methods, proceed by drawing independent executions of a given model and by …

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 …

Abstract bsml and multi-ml are functional parallel programming languages “à la ml” based of
the respectively the bsp and multi-bsp bridging models. multi-bsp extends bsp to take into …

Powerlists are data structures that can be successfully used for defining parallel programs
based on divide-and-conquer paradigm. These parallel recursive data structures and their …

The bsml and multi-ml languages have been designed for programming, à la ml, algorithms
of the respectively bsp and multi-bsp bridging models. multi-bsp is an extension of the well …

Tools and methods able to simplify the development process of parallel software, but also to
assure a high level of performance and robustness, are necessary. Power lists and their …