Parallel Program Performance Debugging with the Pandore II Environment

International audienceIn this paper, we present the overall design of Pandore II, an Environment dedicated to the experimentation of distribution of sequential programs for their execution on distributed memory parallel architectures. The emphasis is then put on two performance analysis tools integrated in this environment

Correctness of automated distribution of sequential programs

In this paper, we prove that the data-driven parallelization technique, which compiles sequential programs into parallel programs for distributed memory parallel computers, is correct. We define a model based on labeled transition systems, and we prove, from the chosen compilation rules, the confluence of all possible behaviours of the parallel programs we obtain, in spite of asynchronism due to the communications. We also show that this model is powerful enough to prove the correctness of various optimizations of the basic compilation mechanism

Hartmut O. Rotermund. Religions, croyances et traditions populaires du Japon. 1 : Aux temps où arbres et plantes disaient des choses

Bareau André. Hartmut O. Rotermund. Religions, croyances et traditions populaires du Japon. 1 : Aux temps où arbres et plantes disaient des choses. In: Revue de l'histoire des religions, tome 206, n°2, 1989. pp. 216-217

Chogyam Trungpa. Méditation et action. Causeries au centre tibétain Samye-Ling, A. Guerne (trad.)

Bareau André. Chogyam Trungpa. Méditation et action. Causeries au centre tibétain Samye-Ling, A. Guerne (trad.). In: Revue de l'histoire des religions, tome 185, n°2, 1974. pp. 233-234

G. Tucci. Il libro tibetano dei morti

Bareau André. G. Tucci. Il libro tibetano dei morti. In: Revue de l'histoire des religions, tome 185, n°2, 1974. p. 232

N. Hein. The Miracle Plays of Mathurâ

Bareau André. N. Hein. The Miracle Plays of Mathurâ. In: Revue de l'histoire des religions, tome 186, n°2, 1974. pp. 208-209

Garma C. C. Chang. The Hundred Thousand Songs of Milarepa

Bareau André. Garma C. C. Chang. The Hundred Thousand Songs of Milarepa. In: Revue de l'histoire des religions, tome 165, n°2, 1964. p. 254

IV. Les récits canoniques des funérailles de Buddha et leurs anomalies : nouvel essai d'interprétation

Bareau André. IV. Les récits canoniques des funérailles de Buddha et leurs anomalies : nouvel essai d'interprétation. In: Bulletin de l'Ecole française d'Extrême-Orient. Tome 62, 1975. pp. 151-189

J. Gonda. Visnuism and Sivaism, a Comparison

Bareau André. J. Gonda. Visnuism and Sivaism, a Comparison. In: Revue de l'histoire des religions, tome 193, n°1, 1978. pp. 118-119