PAMPA - publications 1994 / Publications 1994

Cette liste est également disponible au format BibTeX
Also available in BibTeX format.
Livres / Books
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

Livres / Books

J.-M. Jézéquel. -- Building Object Oriented Software with Eiffel. Addison--Wesley, mai 1995. -- À paraître.

Thèses / PhD thesis

B. Caillaud. -- Contribution à la modélisation du spmd : distribution asynchrone d'automates. -- Thèse de doctorat, université de Rennes 1, juin 1994.

Articles dans des revues / articles

V. Bouchitté, R. Jégou, J.-X. Rampon. -- "Line Directionality of Orders". -- Order 10 (1993), pp. 17--30.

V. Bouchitté, R. Jégou, J.-X. Rampon. -- "On the Directionality of Interval Orders". -- Discrete Applied Mathematics 48 (1994), pp. 87--92.

S. Felsner, J. Gustedt, M. Morvan, J.-X. Rampon. -- "Constructing Colorings for Diagrams". -- Discrete Applied Mathematics 51 (1994), pp. 85--94.

M. Habib, M. Morvan, M. Pouzet, J.-X. Rampon. -- "Interval Dimension and MacNeille Completion". -- Order 10 (1993), pp. 147--151.

C. Jard, J.-M. Jézéquel. -- "Building a Global Clock for Observing Computations in Distributed Memory Parallel Computers". -- Concurrency: Practice and Experience (1995). -- À paraître.

J.-M. Jézéquel, F. Bergheul, F. André. -- "Programming Massively Parallel Architectures with Sequential Object Oriented Languages". -- Future Generation Computer Systems 10, 1 (avril 1994), pp. 59--70. -- Numéro spécial constitué d'articles sélectionnés après PARLE'92.

J.-M. Jézéquel, F. Guidec, F. Hamelin. -- "Parallelizing Object Oriented Software through the Reuse of Parallel Components". -- Object-Oriented System 1 (1994). -- À paraître.

J.-M. Jézéquel. -- "Programmer les machines parallèles avec l'EPEE". -- Calculateurs Parallèles, 22 (juin 1994), pp. 33--50.

J.-M. Jézéquel. -- "Parallélisation d'un routeur XTP". -- Réseaux et Informatique Répartie (1995). -- À paraître.

G.-V. Jourdan, J.-X. Rampon, C. Jard. -- "Computing On--Line the Lattice of Maximal Antichains of Posets". -- Order (1994). -- À paraître.

D. Kratsch, J.-X. Rampon. -- "A Counterexample about Poset Reconstruction". -- Order (1994). -- À paraître.

J.-L. Pazat. -- Algorithmes parallèles : analyse et conception. Hermès, G. Authié, A. Ferreira, J.-L. Roch, G. Villard, J. Roman, C. Roucairol et B. Virot (réd.), 1994, ch. Outils d'exploitation des machines parallèles : langages, pp. 61--74. -- Actes de l'école d'automne CAPA.

R. Thoraval. -- "La distribution automatique de code séquentiel, en quête de la propriété du losange". -- Réseaux et informatique répartie 4, 1 (1994), pp. 75--111.

Articles dans des conférences / In Proceedings

J. W. Atwood, J.-M. Jézéquel, A. Das, N. Nour. -- "Adressing and Routing in Heterogeneous Data Networks". -- In : Proc. of the 5th International IFIP Conference On High Performance Networking, G. Pujolle (réd.), IFIP. -- Juin 1994.

Équipe Pampa. -- "Un support d'exécution pour machines parallèles". -- In : Actes des 6èmes Rencontres Francophones du Parallélisme, L. Bougé (réd.), RenPar'6, pp. 207--212. -- Juin 1994.

F. Guidec, J.-M. Jézéquel. -- "Redistribution dynamique dans EPEE". -- In : Actes des journées du GDR Programmation, Paris, Projet SOPAD. -- Octobre 1993.

F. Guidec, J.-M. Jézéquel. -- "Design of a Parallel Object-Oriented Linear Algebra Library". -- In : Programming Environments for Massively Parallel Distributed Systems, K. M. Decker, R. M. Rehmann (réd.), Birkh\"auser Verlag, Basel, pp. 359 -- 364. -- Juillet 1994. ISBN 3-7643-5090-3.

F. Hamelin, J.-M. Jézéquel, T. Priol. -- "A Multi-paradigm Object Oriented Parallel Environment". -- In : International Parallel Processing Symposium, IPPS'94, H. J. Siegel (réd.), IEEE Computer Society Press. -- Avril 1994.

C. Jard, T. Jéron, G.-V. Jourdan, J.-X. Rampon. -- "A General Approach to Trace-Checking in Distributed Computing Systems". -- In : 14th International Conference on Distributed Computing Systems, Poznan, Pologne, IEEE Computer Society Press, pp. 396--403. -- Juin 1994.

C. Jard, G. Jourdan. -- "On the Coding of Dependences in Distributed Computations". -- In : Actes du colloque "Principles of Distributed Computing", ACM PODC, Los Angeles, États Unis. -- Août 1994.

T. Jéron, C. Jard. -- "3D layout of Reachability Graphs of Communicating Processes". -- In : Graph Drawing'94, DIMACS Workshop, Princeton, New Jersey, États Unis. -- Octobre 1994. Également disponible en rapport de recherche bilingue français-anglais, Irisa no 852 et Inria no 2334.

G.-V. Jourdan, I. Rival, N. Zaguia. -- "Upward Drawing on the Plane Using Less Ink". -- In : Graph Drawing'94, DIMACS Workshop, Princeton, New Jersey, États Unis. -- Octobre 1994.

T. Kloks, D. Kratsch, H. Müller. -- "Domin\oes". -- In : Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94. -- Octobre 1994.

M. Le Fur, J.-L. Pazat, F. André. -- "Commutative Loop Nests Distribution". -- In : Fourth International Workshop on Compilers for Parallel Computers, H. J. Sips (réd.), TU Delft, pp. 345--350. -- Delft, Pays bas, décembre 1993.

Rapports de recherche / Technical Reports

F. André, M. Le Fur, Y. Maheo, J.-L. Pazat. "The Pandore Compiler: Overview and Experimental Results". -- Rapport No 869, Irisa, Rennes, octobre 1994.

F. André, M. Le Fur, Y. Maheo, J.-L. Pazat. "Parallelization of a Wave Propagation Application using a Data Parallel Compiler". -- Rapport No 868, Irisa, Rennes, octobre 1994.

C. Bareau, B. Caillaud, C. Jard, R. Thoraval. "Measuring Concurrency of Regular Distributed Computations". -- Rapport No 882, Irisa, Rennes, octobre 1994.

E. Fromentin, C. Jard, G.-V. Jourdan, M. Raynal. "On-the-fly Analysis of Distributed Computations". -- Rapport No 859, Irisa, Rennes, septembre 1994.

F. Guidec. "Programmation par objets et parallélisme de données dans Paladin". -- Publication interne No 880, IRISA, octobre 1994, Également disponible en rapport de recherche INRIA, no 13307.

C. Jard, G.-V. Jourdan, J.-X. Rampon. "Some On--Line Computations of the Ideal Lattice of Posets". -- Rapport No 773, Irisa, Rennes, octobre 1993. -- Également soumis à la revue RAIRO ITA.

C. Jard, G.-V. Jourdan. "Dependency Tracking and Filtering in Distributed Computations". -- Rapport No 850, Irisa, Rennes, août 1994. -- Également soumis à la revue Parallel Processing Letters.

L. Jerid, F. André, O. Chéron, J.-L. Pazat, T. Ernst. "HPF to C-Pandore Translator". -- Rapport No 824, Irisa, Rennes, mai 1994. -- Également disponible en rapport de recherche Inria no 2283.

T. Kloks, D. Kratsch, J. Spinrad. "Treewidth and Pathwidth of Cocomparability Graphs of Bounded Dimension". -- Computing Science Notes No 93/46, Eindhoven University of Technology, The Netherlands, décembre 1993.

D. Kratsch, T. Kloks, H. Müller. -- "Computing the Thoughness and the Scattering Number for Interval Graphs". -- Rapport Interne No 806, mars 1994. Également disponible en rapport de recherche Inria no 2237

M. Le Fur, J.-L. Pazat, F.André. "Static Domain Analysis for Compiling Commutative Loop Nests". -- Rapport No 757, Irisa, Rennes, septembre 1993. -- Également disponible en rapport de recherche Inria no 2067.

M. Le Fur. "Parcours de polyèdre paramétré avec l'élimination de Fourier-Motzkin". -- Rapport No 858, Irisa, Rennes, septembre 1994.

Y. Mahéo, J.-L. Pazat. "Distributed Array Management for HPF Compilers". -- Rapport No 787, Irisa, Rennes, decembre 1993. -- Également disponible en rapport de recherche Inria no 2156.
$Date: 2000/07/21 13:30:44 $