Projet Sloop

Précédent : Diffusion des résultats Remonter : Projet SLOOP, Simulation, Langages à

Références

Ouvrages et articles de référence de l'équipe

1

I. ATTALI, D. CAROMEL, S. O. EHMETY, S. LIPPI,
« Semantic-based visualization for parallel object-oriented programming »,
in: Actes OOPSLA'96 (Object-Oriented Programming: Systems, Languages, and Applications) , 31, number 10 , ACM Press, Sigplan Notices,
Octobre 1996.

2

I. ATTALI, D. CAROMEL, S. O. EHMETY,
« A Natural Semantics for Eiffel Dynamic Binding »,
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 , 5, Novembre 1996.

3

F. BACCELLI, S. FOSS, B. GAUJAL,
« Free Choice Nets, An algebraic Approach »,
IEEE Transaction on Automatic Control 41 , 12, décembre 1996.

4

B. BEAUQUIER, J.-C. BERMOND, L. GARGANO, P. HELL, S. PÉRENNES, U. VACCARO,
« Graph Problems arising from Wavelength-Routing in All-Optical Networks »,
in: Proc. of 2nd Workshop on Optics and Computer Science ,
Geneva, avril 1997.

5

J.-C. BERMOND, E. DARROT, O. DELMAS, S. PERENNES,
« Hamilton circuits in the directed Butterfly network »,
Discrete Applied mathematics , 1997,
à paraître, rapport de recherche I3S 95-47.

6

J.-C. BERMOND, P. HELL, J.-J. QUISQUATER,
« Construction of large packet radio networks »,
Parallel Processing Letters 2 , 1, 1992, p. 3-12.

7

D. CAROMEL,
« Towards a Method of Object-Oriented Concurrent Programming »,
Communications of the ACM 36 , 9, September 1993, p. 90-102.

8

A. FERREIRA,
« Parallel and Communication Algorithms for Hypercube Multiprocessors »,
Handbook of Parallel and Distributed Computing , 1996.

9

N. FURMENTO, F. BAUDE,
« Schooner: An Object-Oriented Run-time Support for Distributed Applications »,
in: Proceedings of Parallel and Distributed Computing Systems (PDCS'96) , K. Yetongnon, S. Hariri (réd.), 1 , International Society for Computers and their Applications (ISCA), p. 31-36,
Dijon (France), septembre 1996. ISBN: 1-880843-17-X.

10

J. G. PETERS, M. SYSKA,
« Circuit-Switched Broadcasting in Torus Networks »,
IEEE Transactions on Parallel and Distributed Systems 7 , 3, 1996, p. 246-255.

Livres et monographies

11

G. BILARDI, A. FERREIRA, R. LÜLING, J. ROLIM (réd.),
Parallel Algorithms for Solving Irregularly Structured Problems - Irregular'97 , Lecture Notes in Computer Science ,
Springer-Verlag, 1997.

Thèses et habilitations à diriger des recherches

12

E. DARROT,
Diffusion de messages longs et propriétés structurelles dans les réseaux d'interconnexion ,
thèse de doctorat, université de Nice - Sophia Antipolis, juin 1997.

13

O. DELMAS,
Communications par commutation de circuits dans les réseaux d'interconnexion ,
thèse de doctorat, université de Nice Sophia Antipolis, janvier 1997.

14

S. EHMETY,
Étude du modèle de programmation parallèle Eiffel//: Sémantique Formelle, Preuves et Visualisation ,
thèse de doctorat, université de Nice - Sophia Antipolis, I3S, septembre 1997.

15

G. SIEGEL,
PROSIT, Un environnement pour la programmation de simulations à événements discrets ,
thèse de doctorat, université de Nice Sophia Antipolis, septembre 1997.

Articles

16

I. ATTALI, D. CAROMEL, Y. S. CHEN, J.-L. GAUDIOT, S. EHMETY,
« A Formal Semantics for Sisal Arrays »,
Information Sciences: An International Journal , 1997,
à paraître.

17

B. BEAUQUIER, P. HELL, S. PÉRENNES,
« Optimal Wavelength-Routed Multicasting »,
Discrete Applied Mathematics , 1997,
accepté , rapport de recherche INRIA 3276,
http://www.inria.fr/RRRT/RR-3276.html .

18

J.-C. BERMOND, E. DARROT, O. DELMAS, S. PÉRENNES,
« Hamilton cycle decomposition of the Butterfly network »,
Parallel Processing Letters ,
à paraître, rapport de recherche INRIA 2920,
http://www.inria.fr/RRRT/RR-2920.html .

19

J.-C. BERMOND, E. DARROT, O. DELMAS, S. PÉRENNES,
« Hamilton circuits in the directed Butterfly network »,
Discrete Applied mathematics , 1997,
à paraître, rapport de recherche INRIA 2925,
http://www.inria.fr/RRRT/RR-2925.html .

20

J.-C. BERMOND, R. DAWES, F. ERGINCAN,
« De Bruijn and Kautz bus networks »,
Networks 30 , 1997, p. 205-218.

21

J.-C. BERMOND, L. GARGANO, S. PÉRENNES,
« Optimal sequential gossiping by short messages »,
Discrete Applied Mathematics ,
à paraître.

22

J.-C. BERMOND, L. GARGANO, A. RESCIGNO, U. VACCARO,
« Fast gossiping by short messages »,
SIAM Journal on Computing ,
à paraître.

23

J.-C. BERMOND, H. HARUTYUNYAN, A. LIESTMAN, S. PÉRENNES,
« A note on the dimensionality of modified Knödel Graphs »,
International Journal of Foundations of Computer Science 8 , 2, 1997, p. 109-116.

24

J.-C. BERMOND, Z. LIU, M. SYSKA,
« Mean eccentricities of de Bruijn networks »,
Networks 30 , 1997, p. 187-203.

25

P. BERTHOMÉ, A. FERREIRA, S. PÉRENNES,
« Decomposing Hierarchical Cayley Graphs, With Applications To Information Dissemination And Algorithm Design »,
Ieee Transactions On Parallel And Distributed Systems 12 , 7, 12 1996, p. 1292-1300.

26

O. DELMAS, S. PÉRENNES,
« Diffusion par commutation de circuits dans les tores de dimension k / Circuit-switched broadcasting in the k-dimensional torus networks »,
Technique et science informatiques 16 , 5, 1997, p. 563-581.

27

M. FLAMMINI,
« On the hardness of devising interval routing schemes »,
Parallel Processing Letters , 1997,
à paraître.

28

P. FRAIGNIAUD, S. VIAL,
« Approximation Algorithms for broadcasting and gossiping »,
Journal Of Parallel and Distributed Computing 01 , 43, 1997, p. 47-56.

29

B. GAUJAL,
« Optimal Allocation Sequences of Two Processes Sharing a Resource »,
Discrete Event Dynamic Systems 7 , 1997, p. 327-254.

30

S. PÉRENNES,
« A Proof of Jean de Rumeur's conjecture »,
Discrete Applied Mathematics 74 , 1997, p. 295-299.

31

S. PÉRENNES,
« Broadcasting and gossiping on de Bruijn, shuffle exchange and similar networks. »,
Discrete Applied Mathematics , 1997,
à paraître.

Chapitres de livre

32

P. BERTHOMÉ, M. SYSKA,
« Models for Optically Interconnected Networks »,
in: Optical Interconnections and Parallel Processing : the Interface , P. Berthomé et A. Ferreira (réd.),
Kluwer Academic Publishers, 1997, p. 355-393.

33

D. CAROMEL, Y. ROUDIER,
« Programmation parallèle et réactive à objets »,
in: Langages et modèls à objets ,
Collection Didactique, INRIA,
à paraître.

34

A. FERREIRA, M. MORVAN,
Parallel Computing in Optimization ,
Kluwer Academic Publisher, Boston (USA), 1997, ch. Models for Parallel Algorithm Design: An Introduction, p. 1-26.

Communications à des manifestations scientifiques

35

C. ARBIB, M. FLAMMINI, E. NARDELLI,
« Graph Visitability »,
in: Twente Workshop on Graphs and Combinatorial Optimization , p. 13-17,
1997.

36

I. ATTALI, D. CAROMEL, S. O. EHMETY,
« Formal Properties of the Eiffel// Model »,
in: Object Based Parallel and Distributed Computing ,
Toulouse, France, octobre 1997.

37

B. BEAUQUIER, J.-C. BERMOND, L. GARGANO, P. HELL, S. PÉRENNES, U. VACCARO,
« Graph Problems arising from Wavelength-Routing in All-Optical Networks »,
in: Proc. of 2nd Workshop on Optics and Computer Science ,
Geneva, avril 1997. rapport de recherche no 3165, INRIA.

38

J.-C. BERMOND, M. D. IANNI, M. FLAMMINI, S. PÉRENNES,
« Systolic orientations for deadlock prevention in usual networks »,
in: Proceedings 23th Int Workshop on Graph Theoretic Concepts in Computer Science WG97 , Lecture Notes in Computer Science , Springer verlag,
1997.

39

E. CACERES, F. DEHNE, A. FERREIRA, P. FLOCCHINI, I. RIEPING, A. RONCATO, N. SANTORO, S. SONG,
« Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP »,
in: Proceedings of ICALP'97 , P. Degano, R. Gorrieri, A. Marchetti-Spaccamela (réd.), Lecture Notes in Computer Science , 1256 , Springer-Verlag, p. 390-400,
1997.

40

D. CAROMEL, A. MCEWAN, J. POOLE, Y. ROUDIER, D. SAGNOL, THE EUROPA GROUP,
« Draft definition of the EUROPA standard for parallel C++ (v2.1) »,
in: proceedings of the Future directions for parallel C++ workshop, Burnham Beeches ,
juin 1997,
http://www.etl.go.jp/etl/bunsan/ roudier/postscripts/europa.ps.gz .

41

T. EILAM, M. FLAMMINI, S. ZAKS,
« A complete characterization of the path layout construction problem for ATM networks with a given hop count and load »,
in: Proceedings of 24th International Colloquium on Automata, Languages, and Programming (ICALP 97) , Lecture Notes in Computer Science , 1256 , Springer-Verlag,
1997.

42

A. FERREIRA, E. FLEURY, M. GRAMMATIKAKIS,
« Multicasting Control and Communications on Multihop Stack-Ring OPS Networks »,
in: Proceedings of the 4th IEEE International Conference on Massively Parallel Processing using Optical Interconnections - MPPOI'97 , IEEE CS Press, p. 39-44,
1997.

43

A. FERREIRA, C. KENYON, A. RAU-CHAPLIN, S. UBÉDA,
« d-Dimensional Range Search on Multicomputers »,
in: Proceedings of the 11th IEEE International Parallel Processing Symposium , IEEE CS Press, p. 616-620,
1997.

44

M. FLAMMINI, E. NARDELLI, G. PROIETTI,
« ATM layouts with bounded hop count and congestion »,
in: Proceedings of 11th Workshop on Distributed Algorithms (WDAG'97) , Lecture Notes in Computer Science , Springer-Verlag,
1997.

45

M. FLAMMINI, S. PÉRENNES,
« Lower Bounds on systolic gossiping. »,
in: Proceedings of IPPS 97, Genève, avril 1997. , p. 517-521,
1997.

46

M. FLAMMINI, C. SCHEIDELER,
« Simple, Efficient Routing Schemes for All-Optical Networks »,
in: 9th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA) , ACM Press, p. 170-179,
1997.

47

M. FLAMMINI,
« Deadlock-free interval routing schemes »,
in: Proceedings pf the 14th Symposium of Theoritical Aspects of Computer Science (STACS'97) , Lecture Notes in Computer Science , 1200 , Springer-Verlag,
1997.

48

P. FRAIGNIAUD, S. VIAL,
« Heuristics Algorithms for Personalized Communication problems in Point-to-Point Networks »,
in: SIROCCO'97 (4th International Colloquium on Structural Information and Communication Complexity) ,
1997.

49

J. GALTIER, P. KLEIN,
« A new Perspective for the Generation of Large Irregular Data Structures »,
in: Proceedings of the FEF'98 conference ,
1997.

50

J. GALTIER, P. KLEIN,
« A parallel preprocessor applied to fluid dynamics problems »,
in: Proceedings of the HPCN'97 conference , p. 1006-1007,
1997.

51

J. GALTIER,
« Load Balancing Issues in the Prepartitioning Method »,
in: Proceedings of the Euro-Par'97 conference , p. 922-936,
1997.

52

L. GARGANO, P. HELL, S. PÉRENNES,
« Coloring all directed paths in a symmetric tree with applications to WDM routing »,
in: Proceedings of 24th International Colloquium on Automata, Languages, and Programming (ICALP 97) , P. Degano, R. Gorrieri, A. Marchetti-Spaccamela (réd.), Lecture Notes in Computer Science , 1256 , Springer-Verlag, p. 505-515,
1997. version longue soumise à Journal of Graph Theory.

53

B. GAUJAL,
« Applications in (max,+) linear systems »,
in: 9th workshop of the Dutch network on the Math. of Oper, Res. ,
1997.

54

B. GAUJAL,
« Balanced Sequences »,
in: 9th workshop of the Dutch network on the Math. of Oper, Res. ,
1997.

55

B. GAUJAL,
« Infinite behavior of continuous and discrete nets »,
in: European Control Conference ,
1997.

56

Y. ICHISUGI, Y. ROUDIER,
« The extensible Java Preprocessor Kit and a Tiny Data-Parallel Java »,
in: proceedings of ISCOPE'97 (International Scientific Computing in Object-Oriented Parallel Environments Conference), Marina del Rey, California, USA. ,
1997.

57

Y. ROUDIER, Y. ICHISUGI,
« Integrating data-parallel and reactive constructs into Java »,
in: proceedings of the 2nd France-Japan Workshop on Object-Based Parallel and Distributed Computing (OBPDC'97), Toulouse, France ,
octobre 1997.

58

Y. ROUDIER, Y. ICHISUGI,
« Java data-parallel programming using an extensible preprocessor »,
in: proceedings of SWOPP'97 (Summer united Workshops on Parallel, distributed and cooperative Processing), Kumamoto, Japan , p. 85-90,
juin 1997.

59

Y. ROUDIER,
« Future directions for parallel C++ »,
in: proceedings of the Future directions for parallel C++ workshop, Burnham Beeches ,
juin 1997.

Rapports de recherche

60

E. ALTMAN, B. GAUJAL, A. HORDIJK,
« Admission Control in Stochastic Event Graphs »,
rapport de recherche No3179, INRIA, juin 1997,
http://www.inria.fr/RRRT/RR-3179.html .

61

E. ALTMAN, B. GAUJAL, A. HORDIJK,
« Balanced Sequences and Optimal Routing »,
rapport de recherche No3180, INRIA, juin 1997,
http://www.inria.fr/RRRT/RR-3180.html .

62

E. ALTMAN, B. GAUJAL, A. HORDIJK,
« Multimodularity, Convexity and Optimization Properties »,
rapport de recherche No3181, INRIA, juin 1997,
http://www.inria.fr/RRRT/RR-3181.html .

63

E. ALTMAN, B. GAUJAL, A. HORDIJK,
« Optimal Open-Loop Control of Vacations, Polling and Service Assignement »,
rapport de recherche No3261, INRIA, septembre 1997,
http://www.inria.fr/RRRT/RR-3261.html .

64

O. DALLE,
« MPCFS : Un exemple d'intégration transparente des mécanismes de communication multi-points au sein des Systèmes d'Exploitation UNIX »,
rapport de recherche NoI3S/RR97-10, INRIA / CNRS / UNSA, 1997.

65

N. FURMENTO,
« Schooner: An Object-Oriented Runtime Support for Distributed Applications »,
Présentation, Groupe de travail Europa, Londres, Angleterre, juin 1997.

66

HIPERTRANS,
« HIPERTRANS System Specification »,
rapport de recherche, HIPERTRANS Project, juillet 1997,
Coordination: S-C Winter.

67

T. JIMÉNEZ, P. MUSSI, G. SIEGEL, L. VILLEFRANCHE,
« PACSIM Specification »,
rapport de recherche, HIPERTRANS Project, novembre 1997.

68

T. JIMÉNEZ, P. MUSSI, G. SIEGEL,
« About Traces and Statistics Collection in HIPERTRANS »,
rapport de recherche, HIPERTRANS Project, juillet 1997.

69

T. JIMÉNEZ, P. MUSSI, G. SIEGEL,
« An Object Oriented Framework for Traffic Simulation »,
rapport de recherche, HIPERTRANS Project, juillet 1997.

70

G.-J. OLSDER, S. PÉRENNES,
« The Upper bound on the period of non-expansice mappings »,
rapport de recherche, TU-Delft, 1997,
soumis à Non-Linear analysis.

Divers

71

I. ATTALI, D. CAROMEL, S. EHMETY,
« Eiffel//: Formal Semantics and Interactive Environment for Parallel Object-Oriented Programming »,
document WWW,
http://www.inria.fr/croap/eiffel-ll/ .

72

I. ATTALI, D. CAROMEL, M. RUSSO,
« Formal Semantics and Interactive Environment for Java »,
document WWW,
http://www.inria.fr/croap/java/ .

73

F. BAUDE, D. CAROMEL, N. FURMENTO, P. MUSSI, Y. ROUDIER, D. SAGNOL,
« C++//: The C++// Language »,
document WWW,
http://www.inria.fr/sloop/c++ll/ .

74

C. BIANCHERI,
« Parallélisme et équations récursives »,
Rapport de stage de DEA, UNSA, 1997.

75

D. CAROMEL, A. MCEWAN, J. NOLTE, J. POOLE, Y. ROUDIER, D. SAGNOL, J.-M. CHALLIER, P. DZWIG, R. KAUFMAN, H. LIDDELL, P. MUSSI, D. PARKINSON, M. RIGG, G. ROBERTS, R. WINDER,
« EUROPA Parallel C++ », septembre 1997,
The EUROPA Working Group on Parallel C++, rapport final, HPCN Esprit Contract No 9502.

76

D. CAROMEL, A. MCEWAN, J. NOLTE, J. POOLE, Y. ROUDIER, D. SAGNOL, THE EUROPA GROUP,
« EUROPA Working group on Parallel C++ »,
document WWW,
http://www.inria.fr/sloop/europa/ .

77

D. CAROMEL, J. VAYSSIÈRE,
« The Java// system »,
septembre 1997.

78

D. CAROMEL, J. VAYSSIÈRE,
« Java//: Distributed, Concurrent and Parallel Computing in Java »,
document WWW,
http://www.inria.fr/sloop/javall/ .

79

A. CLAVAUD,
« Conception et développement d'un outil d'analyse de traces pour applications distribuées »,
rapport de stage de fin d'études, ESSI 3 UNSA, 1997.

80

O. DALLE,
« The MPCFS File System »,
document WWW, 1997,
http://www.inria.fr/sloop/personnel/Olivier.Dalle/mpcfs/ .

81

O. DALLE,
« Parallel cluster's High Performance Network(s) evaluation »,
document WWW, 1997,
http://www.inria.fr/sloop/cluster/ .

82

C. DELMAS, N. EBELÉ, S. ROUVIèRE,
« Intégration de mécanismes pour la programmation d'applications parallèles au Système UNIX »,
Rapport de projet ESSI 3, UNSA, 1997.

83

M. FLAMMINI, E. NARDELLI,
« On the path length in interval routing schemes »,
1997.

84

N. FURMENTO, Y. ROUDIER, G. SIEGEL,
« Survey on C++ parallel extensions »,
document WWW, 1997,
http://www.inria.fr/sloop/SCP/ .

85

T. JIMÉNEZ,
« Simulation de trafic routier: Étude des méthodologies de modélisation pour la micro-simulation et mise en oeuvre »,
1997.

86

E. LÉTY,
« Etude de techniques réflexives pour la programmation d'applications Internets »,
rapport de stage de DEA RSD, UNSA, juin 1997.

87

PROJETS CROAP, SLOOP, CAPS,
« INRIA at SC'97 », novembre 1997,
CDROM.

88

M. RUSSO,
« Sémantique formelle pour le langage Java »,
rapport de stage de DEA, DEA Mathématiques Discrètes et Fondements de l'Informatique, Marseille, juin 1997.

89

J.-E. TANZY,
« Répartition dynamique de charge dans les réseaux de stations de travail »,
rapport de stage de DEA, 1997.

90

J. VAYSSIERE,
« Programmation parallèle et distribuée en Java »,
rapport de stage de DEA, Supélec Paris et DEA MISI (Méthodes Informatiques des Systèmes Industriels) de l'université de Versailles, juin 1997.

Bibliographie générale

BDP

B. Beauquier, O. Delmas, and S. Perennes.
Broadcasting: A trade-off between bandwidth optimality and the number of steps.

dCASANICE

Jean de CASANICE.
An Overview of Wormhole routing.

OP

G-J. Olsder and S. Perennes.
Iteration of Min-Max-Plus functions .