669 research outputs found
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
- …