Livres / Books

Habilitations

Thèses / PhD thesis

Chapitres de livres / Book chapters

Articles dans des revues / articles

Articles dans des conférences / In Proceedings

Rapports de recherche/ Technical Reports

Divers / Misc

Thèses / PhD thesis

O. Chéron, Pandore II : un compilateur dirigé par la distribution des données, thèse de doctorat, IFSIC/Université de Rennes I, juillet 1993.

Articles dans des revues / articles

F. André, O. Chéron, M. Le Fur, Y. Mahéo, J.-L. Pazat, " Programmation des machines à mémoire distribuée par distribution des données : langages et compilateurs ", Techniques et Sciences Informatiques Numéro spécial, "Langages à parallélisme de données", 12, 5, octobre 1993, p. 563--596.

D. Badouel, K. Bouatouch, T. Priol, " Strategies for Distributing Data and Control for Ray-Tracing on Distributed Memory Parallel Computers ", IEEE Computer Graphics and Application (à paraître), 1993.

V. Bouchitté, R. Jégou, J.-X. Rampon, " Line--Directionality of Orders ", Order, à paraître.

V. Bouchitté, R. Jégou, J.-X. Rampon, " On the Directionality of Interval Orders ", Discrete Applied Mathematics, à paraître.

S. Felsner, J. Gustedt, M. Morvan, J.-X. Rampon, " Constructing Colorings for Diagrams ", Discrete Mathematics, à paraître.

J.-C. Fernandez, C. Jard, T. Jéron, L. Mounier, " On-the-fly Verification of Finite Transition Systems ", Formal Methods in System Design 1, 1993, p. 251--273.

M. Habib, M. Morvan, M. Pouzet, J.-X. Rampon, " Interval Dimension and MacNeille Completion of a Poset ", Order, 1993.

M. Habib, M. Morvan, J.-X. Rampon, " On the Calculation of Transitive Reduction--Closure of Orders ", Discrete Mathematics, 111, 1993, p. 289--303.

T. Jéron, C. Jard, " Testing for Unboundedness of Fifo Channels ", Theoretical Computer Science, 113, juin 1993, p. 93--117.

J.-M. Jézéquel, " EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers ", Journal of Object Oriented Programming 6, 2, mai 1993, p. 48--54.

Articles dans des conférences / In Proceedings

F. André, O. Chéron, J.-L. Pazat, " A High Performance C Compiler for Distributed Memory Machines ", in : Pact'93 Second International Conference, Obninsk, p. 429--444, septembre 1993.

F. André, O. Chéron, J.-L. Pazat, " Compiling Sequential Programs for Distributed Memory Parallel Computers with Pandore II ", in : Environments and Tools for Parallel Scientific Computing, Jack J. Dongarra, Bernard Tourancheau (réd.), Advances in Parallel Computing, 6, Elsevier Science Publishers B.V., p. 293--308, 1993.

C. Bareau, B. Caillaud, C. Jard, R. Thoraval, " Correctness of Automated Distribution of Sequential Programs ", in : PARLE'93, Parallel Architectures and Languages Europe, A. Bode, M. Reeve, G. Wolf (réd.), LNCS, 694, Springer Verlag, p. 517--528, juin 1993.

C. Bareau, Y. Mahéo, J.-L. Pazat, " Parallel Program Performance Debugging with the Pandore II Environment ", in : Parallel Computing '93, Parallel Computing Society, Elsevier Science Publishers B.V., septembre 1993.

C. Bareau, " Analyse de programmes parallélisés ", in : Actes des 5èmes rencontres sur le parallélisme, Laboratoire informatique de Brest, p. 21--24, 26-28 mai 1993.

F. Bodin, J. Erhel, T. Priol, " Parallel Sparse Matrix by Vector Multiplication using a Shared Virtual Memory Environment ", in : Proc. of the 6th SIAM Conference on Parallel Processing for Scientific Computing, p. 421--428, mars 1993.

F. Bodin, L. Kervella, T. Priol, " Fortran-S : A Fortran Interface for Shared Virtual Memory Architectures ", in : Proc. of Supercomputing 1993, novembre 1993.

F. Bodin, T. Priol, D. Gannon, P. Mehrotra, " Directions in Parallel Programming : HPF, Virtual Shared Memory and Object Parallelism in pC++ ", in : Proc. of the Summer Institute on Parallel Computer Architectures, Languages, and Algorithms (SIPCALA), juin 1993. à paraître dans IEEE Press T.L. Casavant, P. Tvrdik and F. Plasil Ed.

K. Bouatouch, D. Menard, T. Priol, " Parallel Radiosity Using a Shared Virtual Memory ", in : Proc. of Advanced Techniques in Animation, Rendering and Visualization, Ankara, juillet 1993.

B. Charron-Bost, C. Jard (rédacteurs), " Calculs répartis et causalité ", in : Actes, École d'informatique sur l'algorithmique répartie, Roscoff, septembre 1993.

C. Diehl, C. Jard, J.-X. Rampon, " Reachability Analysis on Distributed Executions ", in : Proc. of the TAPSOFT Conference, LNCS, 668, p. 629--643, avril 1993.

D. Durand, T. Montaut, L. Kervella, W. Jalby, " Impact of Memory Contention on Dynamic Scheduling on NUMA Multiprocessors ", in : Proc. of the International Conference on Parallel Processing, St-Charles, Illinois, p. 258--262, août 1993.

F. Guidec, J.-M. Jézéquel, " Embedding Data Parallelism in Sequential Object Oriented Languages (Position Paper) ", in : Proc. of the TOOLS 10 Conference, Paris, Prentice Hall, février 1993.

F. Guidec, J.-M. Jézéquel, " Numeric Parallel Programming with Sequential Object Oriented Languages ", in : Proc. of the First Object Oriented Numerics Conference, OON-SKI'93, Rogue Wave Software/SIAM, Sunriver, Oregon, p. 55--69, avril 1993.

F. Guidec, J.-M. Jézéquel, " Redistribution dynamique dans EPEE ", in : Actes des journées GDR Programmation, Paris, octobre 1993.

C. Jard, " La vérification des exécutions réparties ", in : Actes de l'école sur l'algorithmique répartie, Roscoff, septembre 1993.

J.-M. Jézéquel, " Parallélisation d'un routeur XTP ", in : Actes du colloque Cfip'93 sur l'ingénierie des protocoles, Montréal, Hermès, septembre 1993.

J.-M. Jézéquel, " Transparent Parallelisation through Reuse: Between a Compiler and a Library Approach ", in : ECOOP'93 proceedings, O. M. Nierstrasz (réd.), LNCS, 707, Springer Verlag, p. 384--405, juillet 1993.

M. Le Fur, J.-L. Pazat, " Production de code SPMD pour machine parallèle à mémoire distribuée ", in : Actes des 5èmes rencontres sur le parallélisme, Laboratoire informatique de Brest, p. 71--74, 26-28 mai 1993.

Y. Mahéo, " Évaluation de performances dans l'environnement Pandore II ", in : Actes des 5èmes rencontres sur le parallélisme, Laboratoire informatique de Brest, p. 47--50, 26-28 mai 1993.

Rapports de recherche / Technical Reports

F. Bodin, L. Kervella, T. Priol, " Fortran-S : A Fortran Interface for Shared Virtual Memory Architectures ", Publication interne No 702, Irisa, février 1993.

V. Bouchitté, A. Hilali, R. Jégou, J.-X. Rampon, " Contiguity Orders ", Publication interne No 714, Irisa, mars 1993, paru aussi comme rapport de recherche Inria no1970 soumis à SIAM Journal on Discrete Mathematics.

V. Bouchitté, R. Jégou, J.-X. Rampon, " On--Line Recognition of Interval Orders ", Publication interne No 751, Irisa, juillet 1993, paru aussi comme rapport de recherche Inria no2061, soumis à Journal of Algorithms.

C. Diehl, C. Jard, J.-X. Rampon, " Computing On--Line the Covering Graph of the Ideal Lattice of Posets ", Publication interne No 703, Irisa, février 1993, paru aussi comme rapport de recherche Inria no1864.

J. Erhel, M. Hahad, T. Priol, " Factorisation parallèle de Cholesky pour matrices creuses sur une mémoire virtuelle partagée ", Publication interne No 735, Irisa, mai 1993, paru aussi comme rapport de recherche Inria no1988.

M. Hahad, J. Erhel, T. Priol, " A New Approach to Parallel Sparse Cholesky Factorization ", Publication interne No 758, Irisa, octobre 1993.

M. Le Fur, J.-L. Pazat, F. André, " Static Domain Analysis for Compiling Commutative Loop Nests ", Publication interne No 757, Irisa, septembre 1993, paru aussi comme rapport de recherche Inria no2067.