home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / doc / techrepo / 257 next >
Encoding:
Text File  |  1993-01-25  |  5.6 KB  |  159 lines
  1. Newsgroups: comp.doc.techreports
  2. Path: sparky!uunet!mcsun!sun4nl!star.cs.vu.nl!golding
  3. From: Marie-Helene Comte <Marie-Helene.Comte@sophia.inria.fr>
  4. Subject: INRIA-Sophia Antipolis Research Reports
  5. Message-ID: <C1EL6M.tF@cs.vu.nl>
  6. Originator: golding@frans.cs.vu.nl
  7. Sender: news@cs.vu.nl
  8. Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
  9. Date: Fri, 22 Jan 1993 15:11:01 GMT
  10. Approved: compdoc-techreports@ftp.cse.ucsc.edu
  11. Lines: 146
  12.  
  13.            I N R I A
  14. ( National Institute for Research in
  15.   Computer Science and Automation)
  16.  
  17.      Unite de recherche de
  18.         Sophia Antipolis
  19.  
  20.  
  21.                       INRIA-SOPHIA ANTIPOLIS
  22.                           Technical report
  23.                             December 1992
  24.  
  25.  
  26.     The  following technical reports  are available in electronical
  27.       version :
  28.  
  29.  - in Postscript format, by  ftp anonymous on :
  30.            zenon.inria.fr , directory /pub/rapports
  31.            ftp.inria.fr   , directory /INRIA/publication
  32.  
  33.  - in dvi or Postscript format, with WAIS (full-text reports are indexed)
  34.  
  35.   name             : ra-zenon-inria-fr.src        (DVI format)
  36.   serveur       : zenon.inria.fr
  37.   service       : 210
  38.   database         : ra-zenon-inria-fr
  39.   cost               : 0
  40.   units               : :free
  41.   maintainer       : root@zenon.inria.fr
  42.  
  43.   name             : ra-mime-zenon-inria-fr.src  ( MIME format including
  44.   serveur       : zenon.inria.fr               abstract and Postscript
  45.   service          : 210                          file)
  46.   database         : ra-mime-zenon-inria-fr
  47.   cost               : 0
  48.   units               : :free
  49.   maintainer       : doc@zenon.inria.fr
  50.  
  51.  
  52.  -  If  you want a paper copy send an e-mail to : doc@sophia.inria.fr
  53.  
  54. ----------------------------------------------------------------------
  55. RR 1520 Francois Baccelli et Miguel Canales
  56.  
  57.  
  58.                 Parallel simulation of stochastic Petri Nets
  59.                        using recurrence equations
  60.  
  61.                              September 1991 
  62.  
  63.  
  64. in english language
  65.  
  66. A  new parallel simulation   method  is  proposed  for  the  class  of
  67. stochastic decision free  Petri nets,  that  is  amenable to  an  SIMD
  68. implementation. This method is  based on the  max,+ - linear structure
  69. of   recurrence   equations  that were  established  for  this type of
  70. systems.   Two variants are  analyzed, the  spatial and   the temporal
  71. methods. The spatial method allows one to simulate large networks. The
  72. temporal  method,  which generalizes to  Petri nets a  method that was
  73. introduced recently for queues, is of more use for  simulating systems
  74. for a long time interval. The emphasis is put on the  spatial approach
  75. which is shown to provide a simple  way of  estimating  both the cycle
  76. time and  the statistics of   the  marking process.   The  theoretical
  77. parallel  complexity of   this algorithm  is  first   investigated. In
  78. particular,   a  few examples   of   practical interest  are  provided
  79. (blocking queues in tandem and a stochastic job  shop model) for which
  80. the cost of simulating O(NT) events of a net  of size T is in  O(N log
  81. T)  with   this  parallel   simulation  method, while    the classical
  82. sequential discrete  event simulation is in   O(NT) at  least.   These
  83. theoretical   considerations  are confirmed  by  experimental  results
  84. obtained  from  a  prototype  that was implemented on   the Connection
  85. Machine.
  86.  
  87.  
  88. ----------------------------------------------------------------------
  89. RT144 Walid Dabbous, Christian Huitema, Leon Vidaller Siso
  90.        Joaquin Seoane and Julio Berrocal
  91.  
  92.                    Applicability of the session and the
  93.                   presentation layers for the support of
  94.                           high speed applications
  95.  
  96.                                  October 1992
  97.  
  98.  
  99. In english language
  100.  
  101. This   report  contains a  detailed   assessment  of  the  session and
  102. presentation  services and   protocols  in  order    to   study  their
  103. suitability to support high speed applications. We thus concentrate on
  104. the performance aspects  of these  standard protocols.  The evaluation
  105. will be focused on the following topics: the assessment of the session
  106. layer, the suitability of  some Interface Description  Languages, data
  107. transparency and  transfer   syntaxes, the presentation   protocol.  A
  108. special interest is given to the description and evaluation of a light
  109. weight transfer syntax called   FTLWS (Flat Tree Light Weight  Syntax)
  110. proposed as an alternative to the ASN.1 Basic Encoding Rules.
  111.  
  112.  
  113. ----------------------------------------------------------------------
  114. RT145  Pierre Berlandier
  115.  
  116.                PROSE: a functional toolbox for constraint 
  117.                     interpretation ; a users'guide.
  118.  
  119.                              November 1992
  120.  
  121.  
  122. In french language
  123.  
  124. Prose is a   set of  tools for   solving the  constraint  satisfaction
  125. problem for variables with a finite domain as well as  the consistency
  126. maintenance problem for all types of variables.  This technical report
  127. presents the system in its new release and makes up a users' guide.
  128.  
  129.  
  130. ----------------------------------------------------------------------
  131. RT146 Olivier Corby
  132.  
  133.  
  134.                   NMS : a multi-specialist module for the Smeci 
  135.                             expert system shell
  136.  
  137.                   
  138.                                 October 1992
  139.  
  140. In french language
  141.  
  142.  
  143. This report is the reference manual of  the NMS software  module which
  144. runs within   the   Smeci expert system   shell.   NMS introduces  the
  145. specialist concept which enables the structuring and modularization of
  146. a knowledge base, within the blackboard framework.
  147.  
  148.  
  149.  
  150.  
  151.  
  152.  
  153.  
  154. ===========================================================================
  155. Co-moderator:  Richard Golding, Computer & Information Sciences, UC Santa Cruz
  156.         compdoc-techreports-request@ftp.cse.ucsc.edu
  157.  
  158.  
  159.