From: Marie-Helene Comte <Marie-Helene.Comte@sophia.inria.fr>
Subject: INRIA-Sophia Antipolis Research Reports
Originator: golding@frans.cs.vu.nl
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
Date: Fri, 22 Jan 1993 15:11:01 GMT

           I N R I A
( National Institute for Research in
  Computer Science and Automation)

     Unite de recherche de
        Sophia Antipolis


                      INRIA-SOPHIA ANTIPOLIS
                          Technical report
                            December 1992


    The  following technical reports  are available in electronical
      version :

 - in Postscript format, by  ftp anonymous on :
           zenon.inria.fr , directory /pub/rapports
           ftp.inria.fr   , directory /INRIA/publication

 - in dvi or Postscript format, with WAIS (full-text reports are indexed)
 
  name             : ra-zenon-inria-fr.src        (DVI format)
  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  ( MIME format including
  serveur	   : zenon.inria.fr               abstract and Postscript
  service          : 210                          file)
  database         : ra-mime-zenon-inria-fr
  cost	           : 0
  units	           : :free
  maintainer       : doc@zenon.inria.fr


 -  If  you want a paper copy send an e-mail to : doc@sophia.inria.fr

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


                Parallel simulation of stochastic Petri Nets
                       using recurrence equations

                             September 1991 


in english language

A  new parallel simulation   method  is  proposed  for  the  class  of
stochastic decision free  Petri nets,  that  is  amenable to  an  SIMD
implementation. This method is  based on the  max,+ - linear structure
of   recurrence   equations  that were  established  for  this type of
systems.   Two variants are  analyzed, the  spatial and   the temporal
methods. The spatial method allows one to simulate large networks. The
temporal  method,  which generalizes to  Petri nets a  method that was
introduced recently for queues, is of more use for  simulating systems
for a long time interval. The emphasis is put on the  spatial approach
which is shown to provide a simple  way of  estimating  both the cycle
time and  the statistics of   the  marking process.   The  theoretical
parallel  complexity of   this algorithm  is  first   investigated. In
particular,   a  few examples   of   practical interest  are  provided
(blocking queues in tandem and a stochastic job  shop model) for which
the cost of simulating O(NT) events of a net  of size T is in  O(N log
T)  with   this  parallel   simulation  method, while    the classical
sequential discrete  event simulation is in   O(NT) at  least.   These
theoretical   considerations  are confirmed  by  experimental  results
obtained  from  a  prototype  that was implemented on   the Connection
Machine.


----------------------------------------------------------------------
RT144 Walid Dabbous, Christian Huitema, Leon Vidaller Siso
       Joaquin Seoane and Julio Berrocal
 
                   Applicability of the session and the
                  presentation layers for the support of
                          high speed applications
 
                                 October 1992


In english language

This   report  contains a  detailed   assessment  of  the  session and
presentation  services and   protocols  in  order    to   study  their
suitability to support high speed applications. We thus concentrate on
the performance aspects  of these  standard protocols.  The evaluation
will be focused on the following topics: the assessment of the session
layer, the suitability of  some Interface Description  Languages, data
transparency and  transfer   syntaxes, the presentation   protocol.  A
special interest is given to the description and evaluation of a light
weight transfer syntax called   FTLWS (Flat Tree Light Weight  Syntax)
proposed as an alternative to the ASN.1 Basic Encoding Rules.


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

               PROSE: a functional toolbox for constraint 
                    interpretation ; a users'guide.

                             November 1992


In french language

Prose is a   set of  tools for   solving the  constraint  satisfaction
problem for variables with a finite domain as well as  the consistency
maintenance problem for all types of variables.  This technical report
presents the system in its new release and makes up a users' guide.


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

                  NMS : a multi-specialist module for the Smeci 
                            expert system shell

                  
                                October 1992

In french language


This report is the reference manual of  the NMS software  module which
runs within   the   Smeci expert system   shell.   NMS introduces  the
specialist concept which enables the structuring and modularization of
a knowledge base, within the blackboard framework.







===========================================================================
Co-moderator:  Richard Golding, Computer & Information Sciences, UC Santa Cruz
	    compdoc-techreports-request@ftp.cse.ucsc.edu