Précédent : Organisation de colloques et de Remonter
: Projet SLOOP Suivant : Abstract
- Habilitation
- 1
- D. CAROMEL,
Langages à objets parallèles: programmations et
sémantiques, habilitation à diriger des recherches,
université de Nice-Sophia Antipolis, novembre 1996.
- Thèses
- 2
- E. DARROT,
Communications par commutation de messages dans les réseaux
d'interconnexion, thèse de doctorat, université de Nice -
Sophia Antipolis, I3S, décembre 1996.
- 3
- O. DELMAS,
Communications par commutation de circuits dans les réseaux
d'interconnexion, thèse de doctorat, université de Nice -
Sophia Antipolis, I3S, décembre 1996.
- 4
- S. PéRENNES,
Communications dans les réseaux d'interconnection.,
thèse de doctorat, université de Nice-Sophia Antipolis, avril
1996.
- 5
- Y. ROUDIER,
Abstractions pour la programmation du contrôle des
applications parallèles et réactives, thèse de doctorat,
université de Nice - Sophia Antipolis, I3S, décembre 1996.
- Articles
- 6
- 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.
- 7
- I. ATTALI,
D. CAROMEL,
A. WENDELBORN, ``A
Formal Semantics and an Interactive Environments for Sisal'',
in: Tools and Environments for Parallel and Distributed
Systems, Kluwer Academic Publishers, février 1996, ISBN
0-7923-9675-8.
- 8
- F. BACCELLI,
S. FOSS,
B. GAUJAL, ``Free
Choice nets: an algebraic approach'', IEEE transaction on
Automatic Control, décembre 1996.
- 9
- F. BAUDE,
F. BELLONCLE,
D. CAROMEL,
N. FURMENTO,
P. MUSSI,
Y. ROUDIER,
G. SIEGEL,
``Parallel Object-Oriented Programming for Parallel
Simulations'', Information Sciences, 1996, To
appear.
- 10
- J.-C. BERMOND,
F. ERGINCAN, ``Bus
Interconnection Networks'', Discrete Applied Mathematics
68, 1996, p. 1-15, http://wwwi3s.unice.fr/~bermond/SOURCEPS/BeEr96.ps.
- 11
- J.-C. BERMOND,
C. PEYRAT,
I. SAKHO,
M. TCHUENTE,
``Parallelization of Gauss elimination algorithm on systolic
arrays'', Journal of Parallel and Distributed Computing
33, 1996, p. 69-75.
- 12
- D. CAROMEL,
F. BELLONCLE,
Y. ROUDIER, ``The
C++// Language'', in: Parallel Programming Using C++,
MIT Press, 1996, p. 257-296, ISBN 0-262-73118-5.
- 13
- D. CAROMEL,
Y. ROUDIER,
``Reactive Programming in Eiffel//'', in: Object-Based
Parallel and Distributed Computation OBPDC'95, J.-P.
Briot, J.-M. Geib, et A. Yonezawa (réd.), Lecture
Notes in Computer Science, 1107, Springer Verlag, 1996,
p. 125-147.
- 14
- J. G. PETERS,
M. SYSKA,
``Circuit-Switched Broadcasting in Torus Networks'', IEEE
Transactions on Parallel and Distributed Systems 7, 3,
1996, p. 246-255.
- Communications à
congrès
- 15
- 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.
- 16
- I. ATTALI,
D. CAROMEL,
R. GUIDER,
A. WENDELBORN,
``Optimizing Sisal Programs: a formal approach'', in: Actes
Euro-Par'96, International Conference on Parallel Processing,
Lyon, Springer Verlag, août 1996. LNCS 1123-1124.
- 17
- F. BACCELLI,
B. GAUJAL, ``Logical
properties in Petri nets through timed evolution equations'',
in: MSCA, Chania, Crete, juin 1996.
- 18
-
M. BADEL,
T. DE PRETTO, P. MUSSI, G. SIEGEL, ``Stat-Tool: An extensible
and Distributed Object Oriented Statistic Tool for Discrete
Event Simulation'', in: Object Oriented Simulation
Conference, La Jolla - USA, janvier 1996. To appear in
1997 proceedings,
http://www.inria.fr/sloop/personnel/Gunther.Siegel/Publication/OOSC-96.ps.
- 19
- F. BAUDE,
F. BELLONCLE, J.-C.
BERMOND,
D. CAROMEL,
O. DALLE,
ÉRIC DARROT, O. DELMAS, N. FURMENTO, B. GAUJAL, P. MUSSI, S. PéRENNES, Y. ROUDIER, G. SIEGEL, M. SYSKA, ``The SLOOP project:
Simulations, Parallel Object-Oriented Languages,
Interconnection Networks'', in: 2nd European School of
Computer Science, Parallel Programming Environments for High
Performance Computing ESPPE'96, p. 85-88, Alpe
d'Huez, avril 1996.
- 20
- F. BAUDE,
N. FURMENTO,
D. CAROMEL,
R. NAMYST, J.-M.
GEIB, J.-F. MéHAUT, ``C++// on top of PM2 via
SCHOONER'', in: Proceedings of Stratagem'96,
p. 41-55, Sophia Antipolis, France, juillet 1996.
ISBN-2-7261-0982-9.
- 21
- J.-C. BERMOND,
J. BOND,
D. PELEG,
S. PéRENNES, ``Tight
bounds on the size of 2-monopolies'', in: Proc. Conference
SIROCCO96, Siena, June 96, 1996, http://wwwi3s.unice.fr/~bermond/SOURCEPS/BBPP96.ps.
- 22
- J.-C. BERMOND,
L. GARGANO,
S. PéRENNES,
A. A. RESCIGNO,
U. VACCARO,
``Efficient Collective Communications in Optical Networks'',
in: Proc.23nd ICALP96, Paderborn, Germany, Lecture
Notes in Computer Science, 1099, Springer Verlag,
p. 574-585, 1996, http://wwwi3s.unice.fr/~bermond/SOURCEPS/BGPRV96.ps.
- 23
- J.-C. BERMOND,
T. KODATE,
S. PéRENNES,
``Gossiping in Cayley graphs by packets'', in: Proceedings
of the Franco-Japanese conference Brest July 95,
Lecture Notes in Computer Science, 1120, Springer
Verlag, p. 301-315, 1996, http://wwwi3s.unice.fr/~bermond/SOURCEPS/BKP96.ps.
- 24
- J.-C. BERMOND,
A. MARCHETTI,
X. MUNOZ, ``Induced
broadcasting algorithms in iterated line digraphs'', in:
Proc. Conference EUROPAR96, Lyon, August 96, Lecture
Notes in Computer Science, 1123, Springer Verlag,
p. 313-324, 1996, http://wwwi3s.unice.fr/~bermond/SOURCEPS/BMM96.ps.
- 25
- D. CAROMEL,
P. DZWIG,
R. KAUFFMAN,
H. LIDDELL,
A. MCEWAN, P. MUSSI, J. POOLE, M. RIGG, R. WINDER, ``EC++ - EUROPA Parallel C++
: A Draft Definition'', in: Proceedings of High-Performance
Computing and Networking (HPCN'96), 1067,
Springer, Lectures Notes in Computer Science (LNCS),
p. 848-857, apr 1996. ISBN 3-540-61142-8.
- 26
- O. DALLE,
``LoadBuilder: A tool for generating and modeling workloads in
distributed workstations environments'', 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. 248-253, Dijon (France), septembre 1996. ISBN:
1-880843-17-X.
- 27
- E. DARROT,
``Diffusion store-and-forward dans les grilles toriques
tridimensionnelles'', in: Actes RenPar'8, 8èmes Rencontres
francophones sur le Parallélisme, Bordeaux (France),
p. 208, mai 1996.
- 28
- O. DELMAS,
S. PéRENNES,
``Circuit-Switched Gossiping in 3-Dimensional Torus Networks'',
in: Proceedings of the Euro-Par'96 Parallel Processing /
Second International EURO-PAR Conference, L. Bougé,
P. Fraigniaud, A. Mignotte, Y. Robert (réd.),
Lecture Notes in Computer Science, 1123,
Springer Verlag, p. 370-373, Lyon, France, août 1996,
http://www.inria.fr/RRRT/RR-2930.html.
- 29
- O. DELMAS,
S. PéRENNES,
``Diffusion en mode commutation de circuits'', in:
Proceedings of the 8th RenPar Conference,
R. Castanet, J. Roman (réd.), p. 53-56,
Bordeaux, France, mai 1996.
- 30
- Y. FUJITA,
C. LAFOREST,
S. PéRENNES, ``A
Gossip protocol for Bus networks of bounded size'', in:
Proceedings of the Euro-Par'96 Parallel Processing / Second
International EURO-PAR Conference, L. Bougé,
P. Fraigniaud, A. Mignotte, Y. Robert (réd.),
Lecture Notes in Computer Science, Springer Verlag,
p. 353-360, Lyon, France, août 1996.
- 31
- 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.
- 32
- N. FURMENTO,
``Schooner : Une librairie de communications orientée-objet
pour le développement d'applications parallèles'', in:
Huitièmes rencontres francophones du parallélisme
(RenPar'8), Bordeaux (France), mai 1996.
- 33
- B. GAUJAL,
A. JEAN-MARIE, P. MUSSI, G. SIEGEL, ``High Speed Simulation of
Discrete Event Systems by Mixing Process Oriented and
Equational Approaches'', in: Environments and Tools for
Parallel Scientific Computing, Faverges de la Tour -
France, août 1996. À paraître dans Parallel Computing.
- 34
- B. GAUJAL,
``Some algebraic considerations for efficient computations in
Timed Petri nets'', in: 29th HICSS, Maui, Hawaii,
janvier 1996.
- 35
- C. GAVOILLE,
S. PéRENNES, ``Lower
bound for the shortest path interval routing'', in:
Proceedings of SIRROCO 96, Siena, Italy, juin 1996.
- 36
- C. GAVOILLE,
S. PéRENNES,
``Memory requirement for routing in distributed networks'',
in: Proceedings of PODC 96, A. Press (réd.),
p. 125-133, Philadelphia, USA, mai 1996. "best student
paper award".
- 37
- P. MUSSI,
G. SIEGEL,
``Extending the Prosit System to Support Distributed
Simulation'', in: European Simulation Symposium,
Genoa-Italy, octobre 1996.
- 38
- S. PéRENNES,
``Lower bound on broadcasting time of de Bruijn type
networks.'', in: Proceedings of the Euro-Par'96 Parallel
Processing / Second International EURO-PAR Conference,
L. Bougé, P. Fraigniaud, A. Mignotte,
Y. Robert (réd.), Lecture Notes in Computer
Science, 1123, Springer Verlag, p. 325-332,
Lyon, France, août 1996.
- 39
- M. SYSKA,
``Optical Interconnection Networks Models for Parallel
Processing'', in: Workshop on Optics and Computer
Science, p. 18-19, Metz, décembre 1996.
- Rapports de
recherche
- 40
- I. ATTALI,
D. CAROMEL,
R. GUIDER,
A. WENDELBORN,
``Parallélisation de boucles sisal: génération de pipelines'',
rapport de recherche, Journées du GDR Programmation,
novembre 1996, Orléans.
- 41
- F. BACCELLI,
B. GAUJAL,
``Liveness in Free Choice Petri nets: an algebraic approach'',
RR n°2839, INRIA, mars 1996, http://www.inria.fr/RRRT/RR-2839.html.
- 42
- P. BARETTE,
C. TONIN,
``Implémentation d'une librairie de communication pour un
langage C++ parallèle au dessus de PVM et d'une bibliothèque de
threads'', rapport de projet de fin d'étude, ESSI,
avril 1996.
- 43
- F. BAUDE,
O. DALLE, ``Analyse
des performances de communication du protocole PVM'',
rapport de recherche n°96-08, I3S, mars 1996.
- 44
- B. BEAUQUIER,
Échange total dans les réseaux d'interconnexions
optiques, rapport de stage de DEA, ENS Cachan, juin
1996.
- 45
- J.-C. BERMOND,
. DARROT,
O. DELMAS,
S. PéRENNES,
``Hamilton circuits in directed butterfly networks'',
rapport de recherche n°RR2925, INRIA, juillet 1996,
submitted to Discrete Applied Mathematics, http://www.inria.fr/RRRT/RR-2925.html.
- 46
- J.-C. BERMOND,
. DARROT,
O. DELMAS,
S. PéRENNES,
``Hamilton cycle decomposition of the butterfly networks'',
rapport de recherche n°RR2920, INRIA, juin 1996, to
appear in PPL, http://www.inria.fr/RRRT/RR-2920.html.
- 47
- J.-C. BERMOND,
H. HARUTYUNYAN,
A. LIESTMAN,
S. PéRENNES, ``A
note on the dimensionality of modified Knödel Graphs'',
rapport de recherche n°95-67, I3S, 1996, to appear in
the special issue on Interconnection Networks of International
Journal of Foundations of Computer Science, http://wwwi3s.unice.fr/~bermond/SOURCEPS/BLP96.ps.
- 48
- J.-C. BERMOND,
M. IANNI,
M. FLAMMINI,
S. PéRENNES,
``Acyclic orientations for deadlock prevention in usual
networks'', rapport de recherche n°95-64, I3S, 1996,
submitted to STACS97, http://wwwi3s.unice.fr/~bermond/SOURCEPS/BDFP96.ps.
- 49
- J.-C. BERMOND,
Z. LIU,
M. SYSKA, ``Mean
eccentricities of de Bruijn networks'', rapport de
recherche n°94-02, I3S, 1994, to appear in Networks,
http://wwwi3s.unice.fr/~bermond/SOURCEPS/BLS93.ps.
- 50
- E. BRUNETON,
Implantation d'un traducteur Eiffel// -
-calcul, rapport de stage deuxième année,
Ecole Polytechnique, juillet 1996.
- 51
- K. CHENIKAR,
Communications dans les réseaux d'interconnexion à
Bus, rapport de stage de DEA RSD, université de Nice -
Sophia Antipolis, juin 1996.
- 52
- O. DALLE,
``LoadBuilder: A tool for generating and modeling workloads in
distributed workstations environments'', rapport de
recherche n°3045, INRIA, décembre 1996, http://www.inria.fr/RRRT/RR-3045.html.
- 53
- F. DE FOUCHIER, Implantation d'un
préprocesseur pour le language C++//, rapport de stage de
fin d'études, ESSI, Septembre 1996.
- 54
- O. DELMAS,
S. PéRENNES,
``Circuit-switched gossiping in 3-dimensional torus networks'',
rapport de recherche n°RR 96-25, I3S - CNRS URA 1376,
Sophia Antipolis - France, mai 1996, version étendue de
Europar.
- 55
- Ö. ERDEMIR,
``Étude et implémentation de nouveaux traitements dans l'outil
statistique Stat-Tool'', rapport de stage de fin
d'étude, DESS-ISI, septembre 1996.
- 56
- D. FINZI,
Conception et implémentation d'une bibliothèque pour la
simulation de réseaux de Petri temporisés, Mémoire, IUP
Génie mathématique et informatique Dauphine, septembre
1996.
- 57
- S. GALLEGO,
P. ROBINET,
Calcul distribué sur réseau de stations de travail :
application à la vidéo numérique, Mémoire, ESSI, avril
1996.
- 58
- S. GAMEL,
``Transmission efficace d'objets pour le langage C++//'',
rapport de stage de DEA, UNSA, 1996.
- 59
- B. GAUJAL,
``Liveness in Weighted Routed Nets'', RR n°2899,
INRIA, mai 1996, http://www.inria.fr/RRRT/RR-2899.html.
- 60
- F. GIOANNI,
Mécanisme de Trace dans PROSIT, Mémoire, ESSI, avril
1996.
- 61
- B. GRUNDT,
Une plate-forme maître-esclaves sous
, Mémoire, ESSI, avril 1996.
- 62
- S. LIPPI,
Modélisation et preuve d'équivalence de programmes Eiffel//
en TLA, rapport de stage DEA, université de Marseille
Luminy, juin 1996.
- 63
- N. MARLIN,
Rotations Complètes dans les graphes de Cayley,
rapport de stage de DEA Mathématiques, université de Nice -
Sophia Antipolis, juin 1996.
- 64
- S. PéRENNES, ``A
Proof of Jean de Rumeur's conjecture'', rapport de
recherche, I3S, 1996, to appear in Discrete Applied
Mathematics.