Abstract—Message Passing Interface (MPI) is a well know paradigm that is widely used in coding explicit parallel programs. MPI programs exchange data among parallel processes using communication routines. Program execution trace depends on the way that its processes are communicated together. For the same program, there are a lot of processes transitions states that may appear due to the nondeterministic features of parallel execution. In this paper we present a new algorithm that statically generates the execution trace of a given MPI program using data flow analysis technique. The performance of the proposed algorithm is evaluated and compared with that of two heuristic techniques that use a random and genetic algorithm approaches to gene...
Abstract. We investigate the application of formal verification techniques to parallel programs whic...
The Message Passing Interface(MPI) has become a de-facto standard for parallel programming. The ulti...
Abstract. We examine the unsolved problem of automatically and ef-ficiently detecting functionally i...
Message Passing Interface (MPI) is the most commonly used paradigm in writing parallel programs sinc...
Abstract—Message passing is a very popular style of parallel programming, used in a wide variety of ...
Abstract. Message Passing Interfaces (MPI) plays an important role in parallel computing. Many paral...
Many industrial applications, including safety-critical ones, consist of several dis- joint componen...
The Message Passing Interface (MPI) is the standard API for parallelization in high-performance and ...
While much current research concerns multiprocessor design, few traces of parallel programs are avai...
In message-passing parallel applications, messages are not delivered in a strict order. The number o...
In this paper we describe a compiler framework which can identify communication patterns for MPI-bas...
Analyzing and understanding the performance behavior of parallel applications on parallel computing ...
Developing an efficient parallel application is not an easy task, and achieving a good performance r...
International audienceCommunications are a critical part of HPC simulations, and one of the main foc...
OF PAPER Evaluating the Performance of Parallel Programs in a Pseudo-Parallel MPI Environment By Eri...
Abstract. We investigate the application of formal verification techniques to parallel programs whic...
The Message Passing Interface(MPI) has become a de-facto standard for parallel programming. The ulti...
Abstract. We examine the unsolved problem of automatically and ef-ficiently detecting functionally i...
Message Passing Interface (MPI) is the most commonly used paradigm in writing parallel programs sinc...
Abstract—Message passing is a very popular style of parallel programming, used in a wide variety of ...
Abstract. Message Passing Interfaces (MPI) plays an important role in parallel computing. Many paral...
Many industrial applications, including safety-critical ones, consist of several dis- joint componen...
The Message Passing Interface (MPI) is the standard API for parallelization in high-performance and ...
While much current research concerns multiprocessor design, few traces of parallel programs are avai...
In message-passing parallel applications, messages are not delivered in a strict order. The number o...
In this paper we describe a compiler framework which can identify communication patterns for MPI-bas...
Analyzing and understanding the performance behavior of parallel applications on parallel computing ...
Developing an efficient parallel application is not an easy task, and achieving a good performance r...
International audienceCommunications are a critical part of HPC simulations, and one of the main foc...
OF PAPER Evaluating the Performance of Parallel Programs in a Pseudo-Parallel MPI Environment By Eri...
Abstract. We investigate the application of formal verification techniques to parallel programs whic...
The Message Passing Interface(MPI) has become a de-facto standard for parallel programming. The ulti...
Abstract. We examine the unsolved problem of automatically and ef-ficiently detecting functionally i...