🚀 go-pugleaf

           I N R I A
( Institut National de Recherche en
  Informatique et en Automatique)

     Unite de recherche de
        Sophia Antipolis


                  Voici la liste des derniers rapports de recherche 
                    de l'U.R. disponibles  electroniquement :

 - Soit par ftp anonyme sur l'une ou l'autre de ces machines :
           zenon.inria.fr , directory /pub/rapports
           ftp.inria.fr   , directory /INRIA/publication
           (les rapports sont en version postscript)

 - Soit par WAIS (les rapports sont indexes sur leurs contenus)
   acces dans  les deux bases suivantes :
 
   name            : ra-zenon-inria-fr.src        (documents en format DVI)
   serveur	   : zenon.inria.fr
   service	   : 210
   database        : ra-zenon-inria-fr
   cost	           : 0
   units	   : :free
   maintainer      : root@zenon.inria.fr

  name             : ra-mime-zenon-inria-fr.src  (Documents en format MIME
  serveur	   : zenon.inria.fr               contenant le resume et le
  service	   : 210                          fichier postscript)
  database         : ra-mime-zenon-inria-fr
  cost	           : 0
  units	           : :free
  maintainer       : doc@zenon.inria.fr

   (Pour toute information sur WAIS vous pouvez nous contacter :
       Luc Ottavj         ottavj@sophia.inria.fr
       Marie-Helene Comte comte@sophia.inria.fr )


----------------------------------------------------------------------
RT146 Olivier Corby
 

                  NMS : un module multi-specialistes pour
                  le generateur de systemes experts Smeci

                              octobre 1992
                               
Ce rapport  est  le manuel  de reference du  logiciel NMS   qui est un
module   executable dans le  generateur   de systeme expert Smeci. NMS
apporte a Smeci le concept de specialiste qui permet  de structurer et
de  modulariser une base de  connaissances, dans  le cadre general des
architectures de type blackboard.

----------------------------------------------------------------------
RT145  Pierre Berlandier

               
               PROSE : une boite a outils fonctionnelle pour
             l'interpretation de contraintes ; guide d'utilisation

                            novembre 1992


Prose   est  un ensemble  d'outils   pour  resoudre  le   probleme  de
satisfaction   de  contraintes sur  des  variables a  domaine  fini et
discret  ainsi   que  le probleme  de maintien  de  solution pour  des
variables quelconques. Ce rapport presente le systeme dans sa nouvelle
version et sert de guide d'utilisation.



----------------------------------------------------------------------
RT144 Walid Dabbous, Christian Huitema, Leon Vidaller Siso
       Joaquin Seoane and Julio Berrocal
 
                  
                   Evaluation des couches session et
                    presentation pour le support des
                       applications haut debit.

                            Octobre 1992

Ce  rapport  resume  les resultats d'une   evaluation  des services et
protocoles de session et de presentation  dans  le but d' etudier leur
convenance   a supporter des applications  a  haut debit.  Nous  avons
alors concentre  sur  les aspects  concernant  les performances de ces
protocoles standards. L' etude est focalise sur des problemes tels que
l'evaluation  de la couche  session,  la  convenance  des  langages de
description de donnees, la transparence  de donnees et les syntaxes de
transfert  et l'evaluation du  protocole de presentation.   Un interet
particulier  est porte  a  la description et  a  l'  evaluation  d'une
syntaxe  de transfert  a cout leger   appelee FTLWS  (Flat  Tree Light
Weight Syntax) proposee comme alternative aux regles d'encodage BER de
ASN.1


-------------------------------------------------------------------------------
-------------------------------------------------------------------------------
------------------------------------------------------
RR 1520 Francois Baccelli et Miguel Canales


               
         Simulation parallele de reseaux de Petri stochastiques par
                           equations recursives


                             Septembre 1991 


Une nouvelle  methode    de  simulation   parallele de type   SIMD est
introduite pour les graphes d'evenements stochastiques.  Cette methode
est   fondee sur la    structure  (max, +)  -lineaire   des  equations
recursives satisfaites par  ce  type de systemes.  Deux variantes sont
etudiees, la  methode spatiale et  la  methode temporelle.  La methode
spatiale permet  de simuler des reseaux de  grande taille.  La methode
temporelle, qui generalise aux reseaux de Petri une methode introduite
recemment pour les reseaux de files d'attente, permet  quant a elle de
simuler   des  systemes sur     une  grande   duree.   L'etude   porte
essentiellement sur la methode spatiale dont on  montre  quelle permet
d'estimer de maniere efficace a la fois les  temps de cycle du systeme
et les statistiques du processus de  marquage. La complexite theorique
de l'algorithme est analysee.   On montre quelques  exemples d'interet
pratique (un reseau  de  files d'attente en  tandem avec blocage et un
modele du type `job-shop'), pour lesquels le cout  de la simulation de
O(NT) evenements d'un  reseau de  taille T est  O(N log T ) avec cette
methode, alors que la simulation a evenements discrets squentielle est
en O(NT ) au  moins. Ces considerations  theoriques sont confirmees au
moyen d'un prototype implemente sur la Connection Machine.

-------------------------------------------------------------------------------
-----
 Marie-Helene Comte
                                                
 INRIA-Sophia Antipolis                         Tel: (33) 93 65 77 54
 Centre de Documentation			Fax: (33) 93 65 77 65
 BP 93                         			Email: comte@sophia.inria.fr
 06902 SOPHIA ANTIPOLIS Cedex