Précédent : Diffusion de logiciels Remonter :
PROJET
RESEDAS Suivant : Abstract
- Articles
- 1
- E. DILLON,
C. G. D. SANTOS, J. GUYARD, ``Impact des Réseaux Ethernet
et ATM sur les Performances de PVM et MPI'', Calculateurs
Parallèles 8, 2, 1996.
- Communications à
congrès
- 2
- O. CHARLES,
R. GROZ,
J. RENéVOT, ``Relating Conformance Test
Coverage to Formal Specifications'', in:
FORTE/PSTV'96, Kaiserslautern (Germany), octobre 1996.
CNET Lannion, France.
- 3
- O. CHARLES,
R. GROZ,
``Formalisation d'hypothèses pour l'évaluation de la couverture
de tests'', in: Actes du Colloque Francophone sur
l'Ingénierie des Protocoles (CFIP'96), HERMES (réd.),
Rabat, Maroc, septembre 1996. CNET Lannion, France.
- 4
- O. COULAUD,
E. DILLON, ``Early
Implementation of Para++ with MPI-2'', in: Second MPI
Developer's Conference (MDC'96), IEEE (réd.), Notre-Dame,
Indiana, juillet 1996.
- 5
- A. DEKDOUK,
A. SCHAFF, ``On
Using Syntactic Action Refinement to Derive Compositionally a
Timed Efficient Implementation'', in: Proc. 7th Refinement
Workshop on Theory and Practice of System Design, July
1996. Bath, UK.
- 6
- A. DEKDOUK,
A. SCHAFF,
``Syntactic Refinement in a timed process description
language'', in: Proc. Formal Methods for Parallel
Programming Theory and Applications (FMPPTA), Honolulu,
Hawaii, April 1996.
- 7
- E. DILLON,
J. GUYARD,
G. WANTZ, ``MeDLey:
An Abstract Approach to Message Passing'', in: PARA96:
Workshop on Applied Parallel Computing in Industrial Problems
and Optimisation,Lyngby, DENMARK, August 1996.
- 8
- O. FESTOR,
L. ANDREY,
E. NATAF, ``FDTs and
OSI-based Management Information Modelling: a Fruitful
Wedding'', in: Proc. ECOOP'96 Workshop on Object Oriented
Technology for Service and Network Management, July 8, 1996 -
Linz, Austria, septembre 1996.
- 9
- P. KABORE,
A. SCHAFF,
``Méthodes abstraites de test pour l'administration de
réseaux'', in: Actes du Colloque Francophone sur
l'Ingénierie des Protocoles (CFIP'96), HERMES (réd.),
Rabat, Maroc, septembre 1996.
- 10
- P. KABORE,
A. SCHAFF, ``TDL: an
ASN.1-based Test Description Language'', in: Proc. IWTCS
(International Workshop on Testing of Communication
Systems, C. . Hall (réd.), Darmstadt, Germany,
septembre 1996.
- 11
- E. NATAF,
O. FESTOR,
A. SCHAFF,
L. ANDREY,
``Validation du modèle de gestion d'interconnexion de
commutateurs à l'aide de systèmes de transitions étiquetées'',
in: Actes du Colloque Francophone sur l'Ingénierie des
Protocoles (CFIP'96), HERMES (réd.), Rabat, Maroc,
septembre 1996.
- Rapports de
recherche
- 12
- P. ASTIER,
Agents intelligents pour le calcul distribué, Mémoire,
ESIAL, 1996.
- 13
- E. DILLON, ``De
l'utilisation d'ATM pour le calcul distribué'', rapport de
recherche n°RT-0188, INRIA, January 1996.
- 14
- O. FESTOR,
E. NATAF,
L. ANDREY,
``MODE-FE: A GRM/GDMO Parser and its API -Release 1.0-
Reference Manual'', rapport de recherche n°RT-0190,
INRIA, April 1996.
- 15
- O. FESTOR,
E. NATAF,
L. ANDREY,
``Simulation interactive du modèle de gestion d'interconnexion
de commutateurs à l'aide de LOBSTERS et MODE'', rapport de
recherche n°RR-2790, INRIA, February 1996.
- 16
- O. FESTOR,
``MODE-PP TeX: A GRM/GDMO Pretty Printing Library based on
MODE-FE for the Generation of TeX Documents. -Release 1.0-
Reference Manual'', rapport de recherche n°RT-0192,
INRIA, May 1996.
- 17
- W. MAINVIS,
Intégration de nouvelles fonctionnalités dans un outil de
dérivation de tests pour les protocoles, Mémoire, UHP
Nancy I, septembre 1996.
- 18
- J. MOHACSI,
A. SCHAFF,
``Equivalence Semantics'', rapport de recherche
n°96-R-064, CRIN, January 1996.
- 19
- E. NATAF,
O. FESTOR,
``Validation du modèle de gestion d'interconnexion de
commutateurs à l'aide de systèmes de transitions étiquetées'',
rapport de recherche n°RR-2769, INRIA, February
1996.
- 20
- M. ROTSCHI,
Recherche de séquences d'identification d'état pour des
automates étendus, Mémoire, UHP Nancy I, septembre
1996.
- 21
- S. TATA,
Validation des modèles d'information de gestion du RGT à
l'aide de SDL'92, Mémoire, Univ. Tunis, 1996.
- 22
- G. WANTZ,
Implantation d'un langage de spécification des
communications pour du calcul distribué, Mémoire, UHP
Nancy I, ESIAL, septembre 1996.