On infinite loops in logic programming, Philippe Bensnard
@TechReport{irisa-488,
  author = 	 "Philippe Bensnard",
  title = 	 "On infinite loops in logic programming",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1989,
  number =	 "Publication Interne no. 488",
  note =	 "Sur les boucles infinies en programmation en logique"
}

Sparse matrix multiplication on vector computers, Jocelyne Erhel
@TechReport{irisa-492,
  author = 	 "Jocelyne Erhel",
  title = 	 "Sparse matrix multiplication on vector computers",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1989,
  number =	 "Publication Interne no. 492"
}

Numerical methods in Markov chain modeling, Bernard Philippe, Youcef Saad, William J. Stewart
@TechReport{irisa-495,
  author = 	 "Bernard Philippe, Youcef Saad, William J. Stewart",
  title = 	 "Numerical methods in Markov chain modeling",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1989,
  number =	 "Publication Interne no. 495"
}

Algebraic sets of tree-vectors and rational tree- transductions, Jean-Claude Raoult
@TechReport{irisa-502,
  author = 	 "Jean-Claude Raoult",
  title = 	 "Algebraic sets of tree-vectors and rational tree-
                  transductions",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1989,
  number =	 "Publication Interne no. 502"
}

On sequential functions, Boubakar Gamatie
@TechReport{irisa-504,
  author = 	 "Boubakar Gamatie",
  title = 	 "On sequential functions",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1989,
  number =	 "Publication Interne no. 504"
}

A new approach to visual servoing in robotics, Bernard Espiau, Fran\ccois Chaumette, Patrick Rives
@TechReport{irisa-542,
  author = 	 "Bernard Espiau, Fran{\c{c}}ois Chaumette, 
                  Patrick Rives",
  title = 	 "A new approach to visual servoing in robotics",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1990,
  key =		 "Francois Chaumette",
  number =	 "Publication Interne no. 542"
}

Implementation and evaluation of distributed synchronization on a distributed memory parallel machine , Andr\'e Couvert, Ren\'e Pedrono. Michel Raynal
@TechReport{irisa-544,
  author = 	 "Andr{\'{e}} Couvert, Ren{\'{e}} Pedrono.
                  Michel Raynal",
  title = 	 "Implementation and evaluation of distributed 
                  synchronization on a distributed memory parallel machine ",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1990,
  key =		 "Andre Couvert, Rene Pedrono",
  number =	 "Publication Interne no. 544",
  note =         "Impl{\'{e}}mentation et evaluation d'un sch{\'{e}}ma 
		  de synchronisation r{\'{e}}partie sur une machine
		  {\`{a}} m{\'{e}}moire distribu{\'{e}}e"		  
}

Estimation of network reliability on a parallel machine by means of a Monte Carlo technique, Mohamed El Khadiri, Raymond Marie, Gerardo Rubino
@TechReport{irisa-545,
  author = 	 "Mohamed El Khadiri, Raymond Marie, Gerardo Rubino",
  title = 	 "Estimation of network reliability on a parallel
                  machine by means of a Monte Carlo technique",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1990,
  number =	 "Publication Interne no. 545",
  note =         "Estimation de la fiabilit{\'{e}} d'un r{\'{e}}seau
		  sur une machine parall{\`{e}}le par une
		  me{\'{e}}thode Monte Carlo"		   
}

Multimodal estimation of discontinuous optical flow using Markov random fields, Fabrice Heitz, Patrick Bouthemy
@TechReport{irisa-561,
  author = 	 "Fabrice Heitz, Patrick Bouthemy",
  title = 	 "Multimodal estimation of discontinuous optical flow
                  using Markov random fields",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1990,
  number =	 "Publication Interne no. 561"
}

Efficient global computations on a processor network with programmable logic, Jean-Marc Filloque, Eric Gautrin, Bernard Pottier
@TechReport{irisa-562,
  author = 	 "Jean-Marc Filloque, Eric Gautrin, Bernard Pottier",
  title = 	 "Efficient global computations on a processor
		  network with programmable logic",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1990,
  number =	 "Publication Interne no. 562",
  note =         "Calcul efficace d'un etat global sur un r{\'{e}}seau 
		  de processeurs de la logique programmable"		   
}

Na\^ive reverse can be linear, Pascal Brisset, Olivier Ridoux
@TechReport{irisa-565,
  author = 	 "Pascal Brisset, Olivier Ridoux",
  title = 	 "Na{\^{i}}ve reverse can be linear",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1990,
  key =		 "Naive reverse can be linear",
  number =	 "Publication Interne no. 565",
  note =         "Un na{\^{i}}ve reverse lin{\'{e}}aire"		   
}

Design decisions for the FTM : A general purpose fault tolerant machine / Les Choix de conceptio du FTM : une machine tol\'erante aux pannes d'utilisation g\'en\'erale., Michel Ban\^atre, Gilles Muller, Bruno Rochat, Patrick Sanchez
@TechReport{irisa-570,
  author = 	 "Michel Ban{\^{a}}tre, Gilles Muller, Bruno Rochat,
		  Patrick Sanchez",
  title = 	 "Design decisions for the FTM : A general purpose
		  fault tolerant machine  /  Les Choix de conceptio du 
		  FTM : une machine tol{\'{e}}rante aux pannes
		  d'utilisation g{\'{e}}n{\'{e}}rale.",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  key =		 "Michel Banatre, Gilles Muleer, Bruno Rochat, Patrick 
		  Sanchez / Les choix de conception du FTM : une
		  machine tolerante aux pannes d'utilisation generale.",
  number =	 "Publication Interne no. 570"
}

Animation contr\^ol\'ee par la dynamique - Etat de l'art -, Georges Dumont, Marie-Paule Gascuel, Anne Verroust
@TechReport{irisa-571,
  author = 	 "Georges Dumont, Marie-Paule Gascuel, Anne Verroust",
  title = 	 "Animation contr{\^{o}}l{\'{e}}e par la dynamique  -
		  Etat de l'art -",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  key =		 "Animation controlee par la dynamique - Etat de
		  l'art -",
  number =	 "Publication Interne no. 571"
}

Multigrid motion estimation on pyramidal representations for image sequence coding, Nadia Baaziz,
@TechReport{irisa-572,
  author = 	 "Nadia Baaziz, ",
  title = 	 "Multigrid motion estimation on pyramidal
                  representations for image sequence coding",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 "1991",
  number = 	 "Publication Interne no.572"
}

A survey of tree-transductions, Jean-Claude Raoult
@TechReport{irisa-573,
  author =       "Jean-Claude Raoult", 
  title =        "A survey of tree-transductions",
  institution    "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year =         "1991",
  number =       "Pubulication Interne no.573"
}

Mnuel signal, Patricia Bournai, Bruno Cheron, Bernard Houssais, Paul Le Guernic
@TechReport{irisa-575,
  author =       "Patricia Bournai, Bruno Cheron, Bernard Houssais,
                  Paul Le Guernic ", 
  title =        "Mnuel signal",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year =         "1991",
  number =       "Publication Interne no.575"
}

An information based reliability predictor for systems in operational phase, Kamel Sismail
@TechReport{irisa-576,
  author =        "Kamel Sismail",
  title =         "An information based reliability predictor for
                   systems in operational phase",
  institution =   "Institut de Recherche en Informatique et Systemes
                   Aleatoires",
  year  =         "1991",
  number =        "Publication Interne no.576",
  note =          "Un outil de pr{\'{e}}diction adaptatif en
		  fiabilit{\'{e}} pour des syst{\`{e}}mes en phase
		  op{\'{e}}rationnelle"		   
}

Toward a declarative method for 3D scene sketch modeling, St\'ephane Donikian, G\'erard Hegron
@TechReport{irisa-578,
  author = 	 "St{\'{e}}phane Donikian, G{\'{e}}rard Hegron",
  title = 	 "Toward a declarative method for 3D scene sketch
		  modeling",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  key =		 "Stephane Donikian, Gerard Hegron",
  number =	 "Publication Interne no.578"
}

The synchronous approach to reactive and , Albert Benveniste
@TechReport{irisa-581,
  author = 	 "Albert Benveniste",
  title = 	 "The synchronous approach to reactive and ",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  number =	 "Publication Interne no.581",
  note =         "L'approche synchrone pour les syst{\`{e}}mes
		  r{\'{e}}actifs et temps-r{\'{e}}els"		  
}

Programming real time applications with SIGNAL, paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire
@TechReport{irisa-582,
  author = 	 "paul Le Guernic, Thierry Gautier, Michel Le Borgne,
		  Claude Le Maire",
  title = 	 "Programming real time applications with SIGNAL",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  number =	 "Publication Interne no.582",
  note =         "Programmtion d'applications temps-r{\'{e}}el en
		  SIGNAL"		  
}

Towards the construction of distributed detection programs, with an application, Jean-Michel Helary, Michel Raynal
@TechReport{irisa-585,
  author = 	 "Jean-Michel Helary, Michel Raynal",
  title = 	 "Towards the construction of distributed detection
		  programs, with an application",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  number =	 "Publication Interne no.585"
}

OPAC : A cost-effective floating-point coprocessor, Andr\'e Seznec, Karl Courtel
@TechReport{irisa-586,
  author = 	 "Andr{\'{e}} Seznec, Karl Courtel",
  title = 	 "OPAC : A cost-effective floating-point coprocessor",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  key =          "Andre Seznec",		    
  number =	 "Publication Interne no.586",
  note =         "Le coporocessor num{\'{e}}rique OAPC"		    
}

Bounded-memory algorithms for verification on-the-fly, Claude Jard, Thierry Jeron
@TechReport{irisa-588,
  author = 	 "Claude Jard, Thierry Jeron",
  title = 	 "Bounded-memory algorithms for verification
		  on-the-fly",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  number =	 "Publication Interne no.588",
  note =         "Algorithmes {\`{a}} m{\'{e}}moire born{\'{e}}e pour
		  la v{\'{e}}rification "{\'{a}} la vol{\'{e}}e"	   
}

The idempotent solutions of the semi-unification problem, Pascal Brisset, Olivier Ridoux
@TechReport{irisa-590,
  author = 	 "Pascal Brisset, Olivier Ridoux",
  title = 	 "The idempotent solutions of the semi-unification
		  problem",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  number =	 "Publicaiton Interne no.590",
  note =         "Les solutions idempotentes du probl{\`{e}}me de
		  semi-unification" 		   
}

Scheduling in distributed systems : Survey and questions, Yasmina Belhamissi, Maurice Jegado
@TechReport{irisa-592,
  author = 	 "Yasmina Belhamissi, Maurice Jegado",
  title = 	 "Scheduling in distributed systems : Survey and
		  questions",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  number =	 "Publication Interne no.592",
  note =         "Ordonnancement dans les syst{\`{e}}mes
		  distribu{\'{e}}s : Synth{\`{e}}se et questions"	    
}

Application of Bellen's parallel method to ODE's with dissipative right-hand side, Philippe Chartier
@TechReport{irisa-593,
  author = 	 "Philippe Chartier",
  title = 	 "Application of Bellen's parallel method to ODE's
		  with dissipative right-hand side",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1991,
  number =	 "Publication Interne no.593"
}

SIGNAL as a model for real-time and hybrid systems, Albert Benveniste, Michel Le Borgne, Paul Le Guernic
@TechReport{irisa-624,
  author = 	 "Albert Benveniste, Michel Le Borgne, Paul Le Guernic",
  title = 	 "SIGNAL as a model for real-time and hybrid systems",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 624",
  note =         "SIGNAL : un mod{\`{e}}le pour les syst{\`{e}}mes
		  temps-r{\'{e}}el et hybrides"		   
}

A Monte-Carlo method based on antithetic variates for network reliability computations, Mohamed El Khadiri, Gerardo Rubino
@TechReport{irisa-626,
  author = 	 "Mohamed El Khadiri, Gerardo Rubino",
  title = 	 "A Monte-Carlo method based on antithetic variates
                  for network reliability computations",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 626",
  note =         "Calcul d'indices de fiabilit{\'{e}} de r{\'{e}}seaux 
		  par une m{\'{e}}thode de type Monte Carlo
		  bas{\'{e}}e sur des variables "antagonistes""		   
}

L-stable parallel one-block methods for ordinary differential equations, Philippe Chartier, Bernard Philippe
@TechReport{irisa-632,
  author = 	 "Philippe Chartier, Bernard Philippe",
  title = 	 "L-stable parallel one-block methods for ordinary
                  differential equations",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 632",
  note =         "M{\'{e}}thodes {\`{a}} un bloc L-stables"		   
}

On efficiently characterizing solutions of linear Diophantine equations and its application to data dependence analysis, Christine Eisenbeis, Olivier Temam, Harry Wijshoff
@TechReport{irisa-633,
  author = 	 "Christine Eisenbeis, Olivier Temam, Harry Wijshoff",
  title = 	 "On efficiently characterizing solutions of linear
		  Diophantine equations and its application to data
		  dependence analysis",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires", 		  
  year = 	 1992,
  number =	 "Publication Interne no. 633",
  note =         "Une caract{\'{e}}risation efficace des solutions des 
		  {\'{e}}quations Diophantien lin{\'{e}}aires et
		  application {\`{a}} l'analyse de d{\'{e}}pendance"		   
}

Trade-offs between shared virtual memory and message-passing on an iPSC/2 hypercube, Thierry Priol and Zakaria Lahjomri
@TechReport{irisa-637,
  author = 	 "Thierry Priol and Zakaria Lahjomri",
  title = 	 "Trade-offs between shared virtual memory and 
                  message-passing on an iPSC/2 hypercube",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 637",
  note =         "M{\'{e}}moire virtuelle partag{\'{e}}e ou
		  {\'{e}}change de messages sur un hypercube iPSC/2?"	   
}

MADMACS : a tool for the layout of regular arrays, Eric Gautrin, Laurent Perraudeau
@TechReport{irisa-641,
  author = 	 "Eric Gautrin, Laurent Perraudeau",
  title = 	 "MADMACS : a tool for the layout of regular arrays",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 641",
  note =         "MADMACS : un outil pour le dessin de masques de
		  r{\'{e}}seaux r{\'{e}}seaux r{\'{e}}guliers"		   
}

Skewed-associative caches, Andr\'e Seznec, Francois Bodin
@TechReport{irisa-645,
  author = 	 "Andr{\'{e}} Seznec, Francois Bodin",
  title = 	 "Skewed-associative caches",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  key =		 "Andre Seznec",
  number =	 "Publication Interne no. 645"
}

Interleaved parallel schemes : improving memory throughput on supercomputers, Andr\'e Seznec, Jacques Lenfant
@TechReport{irisa-646,
  author = 	 "Andr{\'{e}} Seznec, Jacques Lenfant",
  title = 	 "Interleaved parallel schemes : improving memory
                  throughput on supercomputers",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  key =		 "Andre Seznec",
  number =	 "Publication Interne no. 646"
}

Communicating processes and fault tolerance : a shared memory multiprocessor experience, Michel Ban\^atre, et. al.
@TechReport{irisa-647,
  author = 	 "Michel Ban{\^{a}}tre, et. al.",
  title = 	 "Communicating processes and fault tolerance :
                  a shared memory multiprocessor experience",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  key =		 "Michel Banatre",
  number =	 "Publication Interne no. 647"
}

Set-theoretic graph rewriting, Jean-Claude Raoult, Fr\'ed\'eric Voisin
@TechReport{irisa-648,
  author = 	 "Jean-Claude Raoult, Fr{\'{e}}d{\'{e}}ric Voisin",
  title = 	 "Set-theoretic graph rewriting",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  key =		 "Frederic Voisin",
  number =	 "Publication Interne no. 648"
}

Compiling sequential programs for distributed memory parallel computers with Pandore II, Fran\coise Andr\'e, Olivier Ch\'eron, Jean-Louis Pazat
@TechReport{irisa-651,
  author = 	 "Fran{\c{o}}ise Andr{\'{e}}, Olivier Ch{\'{e}}ron,
                  Jean-Louis Pazat",
  title = 	 "Compiling sequential programs for distributed 
                  memory parallel computers with Pandore II",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  key =		 "Francoise Andre, Olivier Cheron",
  number =	 "Publication Interne no. 651"
}

Exception handling in communicating sequential processes design, verification, and implementation, Jean-Pierre Banatre, Val\'erie Issarny
@TechReport{irisa-660,
  author = 	 "Jean-Pierre Banatre, Val{\'{e}}rie Issarny",
  title = 	 "Exception handling in communicating sequential
		  processes design, verification, and implementation",
  institution =  "Institut de Recherche en Informatique et Systemes
                  Aleatoires",
  year = 	 1992,
  key =          "Valerie Issarny",
  number =	 "Publication Interne no. 660"
}

Reachability analysis on distributed executions, Claire Diehl, Claude Jard,Jean-Xavier Rampon
@TechReport{irisa-661, 
  author = 	 "Claire Diehl, Claude Jard,Jean-Xavier Rampon", 
  title = 	 "Reachability analysis on distributed executions", 
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires", 
  year =         1992, 
  number =	 "Publication Interne no. 661" 
}

Correctness of automated distribution of sequential programs, Cyrille Bareau, et. al.
@TechReport{irisa-665,
  author = 	 "Cyrille Bareau, et. al.",
  title = 	 "Correctness of automated distribution of
                  sequential programs",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 665"
}

Parall\'elisation d'un algorithme de d\'etection de mouvement sur une architecture MIMD, Fabrice Heitz, et. al.
@TechReport{irisa-669,
  author = 	 "Fabrice Heitz, et. al.",
  title = 	 "Parall{\'{e}}lisation d'un algorithme de
		  d{\'{e}}tection de mouvement sur une architecture MIMD",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 669"
}

Early warning of slight changes in systems and plants with application to condition based maintenance, Qinghua Zhang, Mich\'ele Basseville, Albert Benveniste
@TechReport{irisa-671,
  author = 	 "Qinghua Zhang, Mich{\'{e}}le Basseville, Albert Benveniste",
  title = 	 "Early warning of slight changes in systems and plants
		  with application to condition based maintenance",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne No. 671"
}

An exception handling mechanism for parallel object- oriented programming : towards the design of reusable and robust distributed software, Val\'erie Issarny
@TechReport{irisa-673,
  author = 	 "Val{\'{e}}rie Issarny",
  title = 	 "An exception handling mechanism for parallel object-
		  oriented programming : towards the design of
		  reusable and robust distributed software",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992"",
  number =	 "Publication Interne no. 673"
}

A calculus of gamma programs, Chris Hankin, Daniel Le Metayer, David Sands
@TechReport{irisa-674,
  author = 	 "Chris Hankin, Daniel Le Metayer, David Sands ",
  title = 	 "A calculus of gamma programs",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne No.674"
}

Etude de quelques organizations d'ant\'e,m\'eoires, Nathalie Drach, Andr\'e Seznec
@TechReport{irisa-678,
  author = 	 "Nathalie Drach, Andr{\'{e}} Seznec",
  title = 	 "Etude de quelques organizations d'ant{\'{e}},m{\'{e}}oires",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne No. 678"
}

Branching bisimulation for context-free processes, Diddier Caucal, Dung Huynh, Lu Tian
@TechReport{irisa-680,
  author = 	 "Diddier Caucal, Dung Huynh, Lu Tian",
  title = 	 "Branching bisimulation for context-free processes",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no.680"
}

, Jerzy Brzezinski, Jean-Michel H\'elary, Michel Raynal
@TechReport{irisa-681,
  author = 	 "Jerzy Brzezinski, Jean-Michel H{\'{e}}lary, Michel Raynal",
  title = 	 "Deadlock models and general algorithm for
		  distributed  deadlock Detection"
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 681"
}

Le mod\`ele de Markov cach\'e (MMC) \`a deux niveaux : application \`a la mod\'elisation de la dur\'ee dans dispositif de reconnaissance de parole, Nelly Suaudeau
@TechReport{irisa-682,
  author = 	 "Nelly Suaudeau",
  title = 	 "Le mod{\`{e}}le de Markov cach{\'{e}} (MMC) {\`{a}}
		  deux niveaux : application {\`{a}} la  mod{\'{e}}lisation 
                  de la dur{\'{e}}e dans dispositif de  
                  reconnaissance de parole",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 682"
}

From equations to hardware. Towards the systematic mapping of algorithms onto parallel architectures, Fran\ccois Charot, et. al.
@TechReport{irisa-686,
  author = 	 "Fran{\c{c}}ois Charot, et. al.",
  title = 	 "From equations to hardware. Towards the systematic
		  mapping of algorithms onto parallel architectures",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 686"
}

The compilation of $\lambda$prolog and its execution with MALI, Pascal Brisset,Olivier Ridoux
@TechReport{irisa-687,
  author = 	 "Pascal Brisset,Olivier Ridoux",
  title = 	 "The compilation of {$\lambda$}prolog and its
		  execution with MALI",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 687"
}

Concurrent programming notations in the object-oriented language arche, Marc Benveniste Val\'erie Issarny
@TechReport{irisa-690,
  author = 	 "Marc Benveniste Val{\'{e}}rie Issarny",
  title = 	 "Concurrent programming notations in the
		  object-oriented language arche",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 690"
}

Communication efficient distributed shared memories, Masaaki Mizuno, et. al.
@TechReport{irisa-691,
  author = 	 "Masaaki Mizuno, et. al.",
  title = 	 "Communication efficient distributed shared memories",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1992,
  number =	 "Publication Interne no. 691"
}

M\'ecanismes d'abstraction dans une repr\'esentation de la connaissance centr\'ee objet (R.C.O.), St\'ephane Le Peutrec, Sophie Robin
@TechReport{irisa-694,
  author = 	 "St{\'{e}}phane Le Peutrec, Sophie Robin",
  title = 	 "M{\'{e}}canismes d'abstraction dans une
		  repr{\'{e}}sentation de la connaissance centr{\'{e}}e
		  objet (R.C.O.)",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no. 694"
}

D\'etection de s\'equences atomiques de pr\'edicats locaux dans les ex\'ecutions r\'eparties,
@TechReport{irisa-695,
  author = 	 "Michel Hurfin, No{\"{e}}l Plouzeau et Michel Raynal",
  title = 	 "D{\'{e}}tection de s{\'{e}}quences atomiques de
		  pr{\'e}}dicats locaux dans les ex{\'{e}}cutions  
                  r{\'{e}}parties",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Internte no. 695 "
}

Semi-unified caches, Nathalie Drach, Andr\'e Seznec
@TechReport{irisa-696,
  author = 	 "Nathalie Drach, Andr{\'{e}} Seznec",
  title = 	 "Semi-unified caches",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no. 696"
}

Concepts et probl\`emes de l'algorithmique r\'epartie, Michel Raynal
@TechReport{irisa-697,
  author = 	 "Michel Raynal",
  title = 	 "Concepts et probl{\`{e}}mes de l'algorithmique 
                  r{\'{e}}partie",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  key =          "Concepts et problemes de l'algorithmique repartie",       
  number =	 "Publication Interne no. 697"
}

Temporal planner = Nonlinear planner + Time map manager, Eric Rutten, Joachim Hertzberg
@TechReport{irisa-698,
  author = 	 "Eric Rutten, Joachim Hertzberg",
  title = 	 "Temporal planner = Nonlinear planner + Time map manager",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no. 698"
}

Evaluation comparative d'algorithmes de normalisation des sch\'emas relationnels, Annie Foret, Placide Fresnais
@TechReport{irisa-699,
  author = 	 "Annie Foret, Placide Fresnais",
  title = 	 "Evaluation comparative d'algorithmes de
		  normalisation des sch{\'{e}}mas relationnels",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  key =		 "Evaluation comparative d'algorithmes de
		  normalisation des schemas relationnels",
  number =	 "Publication Interne no.699"
}

Segmentation et reconnaissance de mots manuscrits, Sophie Bercu, Bernard Delyon
@TechReport{irisa-700,
  author = 	 "Sophie Bercu, Bernard Delyon",
  title = 	 "Segmentation et reconnaissance  de 
                  mots manuscrits",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no. 700"
}

FORTRAN-S : a FORTRAN interface for shared virtual memory architectures, Fran\ccois Bodin, Lionel Kervella and Thierry Priol
@TechReport{irisa-702,
  author = 	 "Fran{\c{c}}ois Bodin, Lionel Kervella and Thierry Priol",
  title = 	 "FORTRAN-S : a FORTRAN interface for shared virtual
		  memory architectures",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no. 702"
}

Computing on-line the covering graph of the ideal lattice of posets, Claire Diehl, Claude Jard, Jean-Xavier Rampon
@TechReport{irisa-703,
  author = 	 "Claire Diehl, Claude Jard, Jean-Xavier Rampon",
  title = 	 "Computing on-line the covering graph of the ideal
		  lattice of posets",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no. 703"
}

Une architecture pour l'ex\'ecution d'applications SIGNAL, Krzysztof Wolinski, et. al.
@TechReport{irisa-704,
  author = 	 "Krzysztof Wolinski, et. al.",
  title = 	 "Une architecture pour l'ex{\'{e}}cution
		  d'applications SIGNAL",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  key =          "une architecture pour l'execution d'applications
		  SIGNAL",
  number =	 "Publication Internte no.704"
}

SIRENE-F: syt\`eme pour la construction et l'ex\'ecution de r\'eseaux neuro-flous en vue d'applications en temps r\'eel, Krzysztof Wolinski, Pierre-Yves Glorennec
@TechReport{irisa-705,
  author = 	 "Krzysztof Wolinski, Pierre-Yves Glorennec",
  title = 	 "SIRENE-F:  syt{\`{e}}me pour la construction et
		  l'ex{\'{e}}cution de r{\'{e}}seaux neuro-flous en
		  vue d'applications en temps r{\'{e}}el",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  key =		 "SIRENE-F:  systeme pour la construction et
		  l'execution de reseaux neuro-flous en vue
		  d'applications en temps reel",
  number =	 "Publication Interne no.705"
}

Sequence-based global predicates for distributed computations: Definitions and detection algorithms, Ozalp Babaoglu, Michel Raynal
@TechReport{irisa-729,
  author = 	 "Ozalp Babaoglu, Michel Raynal",
  title = 	 "Sequence-based global predicates for distributed
		  computations:  Definitions and detection algorithms",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no.729"
}

How to find his way in the jungle of consistency criteria for distributed objects memories (or how to escape from Minos' labyrinth), Michel Raynal, Masaaki Mizuno
@TechReport{irisa-730,
  author = 	 "Michel Raynal, Masaaki Mizuno",
  title = 	 "How to find his way in the jungle of consistency
		  criteria for distributed objects memories (or how to
		  escape from Minos' labyrinth)",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no. 730"
}

Contextual typesetting of mathematical symbols taking care of optical scaling, Jacques Andr\'e, Ir\`ene Vatton
@TechReport{irisa-747,
  author = 	 "Jacques Andr{\'{e}}, Ir{\`{e}}ne Vatton",
  title = 	 "Contextual typesetting of mathematical symbols
		  taking care of optical scaling",
  institution =  "Institut de Recherche en Informatique et Systemes 
                  Aleatoires",
  year = 	 1993,
  number =	 "Publication Interne no. 747"
}