Nowadays most scientific applications are parallelized based on MPI communications.
Collective MPI communications have to be executed in the same order by all processes in …

As the development of high-performance computing (HPC) is growing, exascale computing
is on the horizon. Therefore, it is imperative to develop parallel systems, such as graphics …

Recently, researchers have shown increasing interest in combining more than one
programming model into systems running on high performance computing systems (HPCs) …

The OpenMP specification requires that all threads in a team execute the same sequence of
worksharing and barrier regions. An improper use of such directive may lead to deadlocks …

The Message Passing Interface (MPI) includes nonblocking collective operations that
support additional overlap between computation and communication. These new operations …

Abstract The Message Passing Interface (MPI) is a widely accepted standard for parallel
computing on distributed memory systems. However, MPI implementations can contain …

Supercomputing plays an important role in several innovative fields, speeding up
prototyping or validating scientific theories. However, supercomputers are evolving rapidly …

MPI is the most widely used parallel programming model. But the reducing amount of
memory per compute core tends to push MPI to be mixed with shared-memory approaches …

Supercomputers are rapidly evolving with now millions of processing units, posing the
questions of their programmability. Despite the emergence of more widespread and …

La vérification de systèmes distribués est un problème complexe pour de nombreuses
raisons tant théoriques que pratiques, en particulier lorsque ces systèmes sont capables …