Parallelism is often required for performance. In these situations an excess of non-
determinism is harmful as it means the program can have several different behaviours or …

MapReduce (MR) is a criterion of Big Data processing model with parallel and distributed
large datasets. This model knows difficult problems related to low-level and batch nature of …

Determining if a parallel program behaves as expected on any execution is challenging due
to non-deterministic executions. Static analyses help to detect all execution paths that can …

We discuss the benefit of enforcing textual alignment in programming languages proposing
unstructured spmd-like collective operations. Our study is based on a simple language …

We propose a formal definition of the notion of textual alignment as is used in programming
languages proposing spmd-like collective operations. We argue that this property provides …

Bulk synchronous parallelism (BSP) offers an abstract and simple model of parallelism yet
allows to take realistically into account the communication costs of parallel algorithms. BSP …

Abstract Bulk Synchronous Parallel (BSP) is a model for parallel computing with predictable
scalability. BSP has a cost model: programs can be assigned a cost which describes their …

Single-valuedness is a property of an expression occurring in a SPMD program and states
that concomitant evaluations of this expression lead to the same value at all processes …

Since we are in an era of processor clock stagnation, computing power growth has been
relying on parallel computing. More than the algorithmic difficulty involved in any program …

The goal of scalable parallel programming is to program computer architectures composed
of multiple processing units so that increasing the number of processing units leads to an …