Références

Livres et monographies

1

J. de RUMEUR, Communications dans les réseaux de processeurs, Masson, Paris, décembre 1994, to be translated.

Articles et chapitres de livre

2

I. Attali, D. Caromel, A. Wendelborn, Tools and Environments for Parallel and Distributed Systems, Kluwer Academy Publishers, 1995, ch. A Formal Semantics and an Interactive Environment for Sisal, parution prévue fin 95.

3

J.-C. Bermond, F. Comellas, D. Hsu, ``Distributed Loop Computer Networks: a survey'', Journal of Parallel and distributed Computing 24, 1995, p. 2-10.

4

J.-C. Bermond, F. Ergincan, ``Bus Interconnection Networks'', to appear in Discrete Applied Math., 1995.

5

J.-C. Bermond, P. Fraigniaud, J. Peters, ``Antepenultimate broadcasting'', Networks 26, 3, 1995, p. 125-137.

6

J.-C. Bermond, C. Peyrat, I. Sakho, M. Tchuente, ``Parallelization of Gauss elimination algorithm on systolic arrays'', Journal of Parallel and Distributed Computing, 1995, to appear.

7

D. Caromel, F. Belloncle, Y. Roudier, Parallel Programing Using C++, MIT Press, G. Wilson and P. Lu editors, 1995, ch. The C++// System, parution prévue fin 95.

8

V. Demian, J.-C. Mignot, ``Implementation of the Self-Organizing Feature Map on Parallel Computers'', to appear in Computers and Artificial Intelligence, 1995.

9

M. Desmurget, C. Prablanc, Y. Rossetti, M. Arzi, Y. Paulignan, C. Urquizar, J.-C. Mignot, ``Postural and synergic control for three dimensional movements of reaching and grasping'', Journal of Neurophysiology 74, 2, août 1995.

10

B. Gaujal, M. Jafari, M. Baykal-Gürsoy, G. Alpan, ``Allocation Sequences of Two Processes Sharing a Resource'', IEEE Transaction on Robotics and Automation, octobre 1995.

11

B. Gaujal, A. Jean-Marie, ``Computational Issues in stochastic linear systems'', in: Idempotency, J. Gunawardena (réd.), Cambridge University Press, 1995.

Communications à des congrès, colloques, etc.

12

I. Attali, D. Caromel, Y.-S. Chen, J.-L. Gaudiot, A. Wendelborn, ``A Formal Semantics for Sisal Arrays'', in: proceedings Joint Conference on Information Sciences (JCIS), p. 580-583, octobre 1995.

13

I. Attali, D. Caromel, S. O. Ehmety, ``Une sémantique opérationnelle pour le langage Eiffel//'', in: Journées du GDR Programmation, novembre 1995. Grenoble.

14

I. Attali, D. Caromel, A. Wendelborn, ``From a Formal Dynamic Semantics of Sisal to a Sisal Environment'', in: proceedings 28th Hawaii International Conference of System Sciences (HICSS), IEEE Computer Society Press, janvier 1995.

15

F. Baccelli, S. Foss, B. Gaujal, ``Structural, temporal and stochastic properties of Unbounded free choice Petri nets'', in: Conference on decision and Control (CDC), décembre 1995.

16

F. Baccelli, N. Furmento, B. Gaujal, ``Parallel and distributed simulation of Timed Free Choice Petri Nets'', in: 9th conference on parallel and distributed simulation (PADS'95), Lake Placid, juin 1995.

17

F. Baccelli, N. Furmento, B. Gaujal, ``Simulation Parallèle et Distribuée de Réseaux de Petri à choix libres'', in: Journée GDR Parallélisme Réseaux et Systèmes (CAPA), Nice, juin 1995.

18

F. Baccelli, B. Gaujal, ``Recursive Equations for parallel simulation: the marked graph, state machine duality'', in: Summer computer Simulation Conference (SCSC), juillet 1995.

19

F. Baude, ``Le projet SLOOP : Simulation, Langages à objets, Parallélisme'', in: Journée Stratagème (projet inter PRC), Grenoble, avril 1995.

20

J.-C. Bermond, J. Bond, S. Djelloul, ``Dense bus networks of diameter 2'', in: Proc. Workshop on interconnection Networks, DIMACS, Feb. 1994,DIMACS Ser., 21, Annals New York Academy of Sciences, p. 9-18, 1995.

21

J.-C. Bermond, D. Caromel, P. Mussi, ``Simulation within a Parallel Object-Oriented Language: The SLOOP System'', in: proceedings Joint Conference on Information Sciences (JCIS), p. 218-221, octobre 1995. invited session on Object-Oriented Programming.

22

J.-C. Bermond, D.Peleg, ``The power of small coalitions in graphs'', in: Proc. Conference SIROCCO95 Olympie June 95, Carleton U. Press, 1995.

23

J.-C. Bermond, L. Gargano, A. Rescigno, U. Vaccaro, ``Fast gossiping by short messages'', in: Proc. ICALP95 Szeged, Lecture Notes in Computer Science, 944, Springer Verlag, p. 135-146, août 1995.

24

J.-C. Bermond, T. Kodate, S. Perennes, ``Gossiping in Cayley graphs by packets'', in: Proceedings of the Franco-Japanese conference Brest July 95, 1995.

25

J.-C. Bermond, S. Perennes, ``Efficient broadcasting protocols on de Bruijn and similar networks'', in: Proc. Conference SIROCCO95 Olympie June 95, Carleton U. Press, 1995.

26

C. Calvin, S. Perennes, D. Trystram, ``Gossiping in Torus with Wormhole-Like Routing'', in: Proceedings of the `` IEEE Symposium on Parallel and Distributed Processing'', 1995.

27

N. Furmento, Y. Roudier, G. Siegel, ``Parallélisme et Distribution en C++, Une revue des langages existants'', in: Septième Rencontre Francophones du Parallélisme, Mons (Belgique), 1995.

28

B. Gaujal, ``Fluid Approximation of Petri Nets'', in: QMIPS, Zaragoza, octobre 1995.

29

B. Gaujal, ``Stochastic Properties and Stability of Unbounded Free choice Petri nets'', in: Applied Probablity Conference (INFORMS'95), Atlanta, juin 1995.

30

P. Mussi, G. Siegel, ``The PROSIT Sequential Simulator: A Test-bed for Object Oriented Discrete Event Simulation'', in: European Simulation Symposium, p. 297-301, Erlangen, Germany, octobre 1995.

Rapports de recherche et publications internes

31

I. Attali, D. Caromel, S. O. Ehmety, ``A Natural Semantics for Eiffel Dynamic Binding'', rapport de recherche, I3S N RR-95-60, décembre 1995.

32

I. Attali, D. Caromel, S. O. Ehmety, ``An Operational Semantics for the Eiffel// Language'', Rapport de recherche n°2732, INRIA, novembre 1995.

33

M. Badel, T. de Pretto, P. Mussi, G. Siegel, ``Stat-Tool: An Extensible and Distributed Object Oriented Statistic Tool for Discrete Event Simulation'', rapport de recherche n°non encore alloué, INRIA, 1995, Soumis pour publication.

34

F. Baude, F. Belloncle, D. Caromel, N. Furmento, P. Mussi, Y. Roudier, G. Siegel, ``Parallel Object-Oriented Programming for Parallel Simulations'', rapport de recherche, I3S N RR-95-59, décembre 1995.

35

F. Belloncle, Implantation d'une extension parallèle du langage C++, Rapport de stage troisième année, ESSI, juillet 1995.

36

J.-C. Bermond, E. Darrot, O. Delmas, S. Perennes, ``Hamilton circuits in directed butterfly networks'', rapport de recherche n°95-47, I3S, 1995.

37

J.-C. Bermond, E. Darrot, O. Delmas, S. Perennes, ``Hamilton cycles in undirected butterfly networks'', rapport de recherche n°95-46, I3S, 1995.

38

J.-C. Bermond, L. Gargano, S. Perennes, A. Rescigno, U. Vaccaro, ``Efficient Collective Communications in Optical Networks'', rapport de recherche n°95-65, I3S, 1995.

39

J.-C. Bermond, M. Ianni, M. Flammini, S. Perennes, ``On devising systolic acyclic orientations for deadlock prevention'', rapport de recherche n°95-64, I3S, 1995.

40

L. Bollini, L. Pigallio, ``Un Modèle Orienté Objet (Pseudo) Concurrent pour la simulation discrète séquentielle'', Rapport de projet de fin d'étude, ESSI, avril 1995.

41

D. Caromel, Y. Roudier, ``Reactive programming in Eiffel//'', rapport de recherche, I3S N RR-95-61, décembre 1995.

42

K. Chenikar, Communications dans les réseaux par bus, Mémoire, Aix-Marseille-II, 1995.

43

T. de Pretto, Conception et Implémentation d'un outil réalisant des traitements statistiques pour simulateurs parallèles, Mémoire, DESS-ISI, 1995.

44

T. de Pretto, Stat-tool Outil Statistique, 1995, Manuel Utilisateur.

45

J. P. Drascek, Étude sur la gestion des données dans un environnement distribué, Mémoire, ESSI, juin 1995.

46

L. Finta, Z. Liu, I. Milis, E. Bampis, ``Scheduling UET-UCT Series-Parallel Graphs on Two Processors'', RR n°2566, INRIA, 1995, Submitted to Theoretical Computer Science.

47

N. Furmento, F. Baude, ``Design and implementation of communications for the C++// system'', rapport de recherche n°RR 95-50, I3S, 1995.

48

N. Furmento, Y. Roudier, G. Siegel, ``Parallélisme et Distribution en C++, Une revue des langages existants'', rapport de recherche, Laboratoire I3S, Université de Nice -- Sophia Antipolis, CNRS -- URA 1376, avril 1995.

49

B. Gaujal, A. Jean-Marie, J. Mairesse, ``Minimal representation of Uniform Recurrence Equations'', rapport de recherche n°2568, INRIA, juin 1995.

50

C. Gavoille, S. Perennes, ``Routing memory requirement for distributed networks'', rapport de recherche n°95-37, I3S, 1995.

51

R. Guider, spécification de la parallélisation de programmes, Rapport de stage de DEA, ENS Lyon, juin 1995.

52

A. Jaber, spécification de la sémantique dynamique du langage Sisal, Rapport de stage de DEA, Université de Nice-Sophia-Antipolis, juin 1995.

53

P. Mussi, G. Siegel, ``Sequential Simulation in Prosit: Programming Model and Implementation'', rapport de recherche n°RR-2713, INRIA, novembre 1995.

54

S. Perennes, ``Lower bounds on the broadcasting time of de Bruijn type networks.'', rapport de recherche n°95-63, I3S, 1995.

55

B. Pineda, Modélisation des liaisons optiques dans les machines parallèles, Mémoire, Université de Nice Sophia Antipolis, 1995.

56

J. Roman, P. Charrier, J. Roch, G. Villard, J. Geib, A. Ferreira, S. Miguet, F. Baude, C. Roucairol, B. Virot, S. Ubeda, G. Authi, P. Amestoy, ``Rapport final du projet Stratagème'', rapport de recherche, PR iSM, Versailles, octobre 1995, ftp.prism.uvsq.fr:/tmp/vdc/CAPA95/final3.tar.Z.

57

D. Sagnol, -Calcul pour les langages à objets parallèles, Rapport de stage de DEA, Université de Nice - Sophia - Antipolis, juin 1995, en collaboration avec Roberto Amadio, I3S et INRIA Projet Meije.

58

C. Sandru, F. Baude, ``Various Implementations of the MPI Standard : LAM, CHIMP, MPICH and UNIFY'', rapport de recherche n°RR 95-22, I3S, 1995, 55 pages. http://wwwi3s.unice.fr/~baude/mpirep.ps.