Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

500 résultats
Type de dépôt : Document
Page :
triés par
Image document

L'Arithmetique generique de Sisyphe

 José Grimm
[Rapport Technique] RT-0136, INRIA. 1991, pp.42
Rapport inria-00070032v1
Image document

Designers' activities examined at three levels: organization, strategies & problem-solving

 Willemien Visser
Knowledge-Based Systems, 1990, Artificial Intelligence in Design Conference 1991, 5 (1), pp.92-104. ⟨10.1016/0950-7051(92)90027⟩
Article dans une revue istex hal-00653324v1
Image document

Non-blocking atomic broadcast with omission failures

 Emmanuelle Anceaume , Pascale Minet
RR-1287, INRIA. 1990
Rapport inria-00075272v1
Image document

Decrire des taches selon les objectifs des operateurs. De l'interview a la formalisation

 S. Sebillotte
RT-0125, INRIA. 1991, pp.42
Rapport inria-00070042v1
Image document

The CAML primer

 G. Cousineau , Gérard Huet
RT-0122, INRIA. 1990, pp.78
Rapport inria-00070045v1
Image document

Obtention des équations dynamiques d'un système physique à partir de son modèle bond graph

 Bénédicte Edibe
[Rapport de recherche] RR-1552, INRIA. 1991
Rapport inria-00075009v1
Image document

Synchronization and concurrency measures for distributed computations

 Michel Raynal , Masaaki Mizuno , Mitchell L. Neilsen
[Research Report] RR-1539, INRIA. 1991
Rapport inria-00075023v1
Image document

About logical clocks for distributed systems

 Michel Raynal
[Research Report] RR-1534, INRIA. 1991
Rapport inria-00075028v1
Image document

L'Evaluation et la selection de solutions dans la resolution de problemes de conception

 Nathalie Bonnardel
[Rapport de recherche] RR-1531, INRIA. 1991
Rapport inria-00075031v1
Image document

Stochastic scheduling with variable profile and precedence constraints

 Zhen Liu , Eric Sanlaville
[Research Report] RR-1525, INRIA. 1991
Rapport inria-00075037v1
Image document

Application of Bellen's parallel method to ode's with dissipative right-hand side

 Philippe Chartier
[Research Report] RR-1519, INRIA. 1991
Rapport inria-00075043v1
Image document

SMAL_A31 pour une architecture SIMD reconfigurable

 Belkacem Zerrouk
[Rapport de recherche] RR-1509, INRIA. 1991
Rapport inria-00075053v1
Image document

A very simple algorithm for flow control on high speed networks via la Palice queueings. Description and analysis

 Philippe Jacquet , Paul Mühlethaler
[Research Report] RR-1371, INRIA. 1991
Rapport inria-00077104v1
Image document

Etude de la convergence asymptotique de problemes de plaque thermoelastique

 Dominique Blanchard , Christophe Lebeltel
[Rapport de recherche] RR-1466, INRIA. 1991
Rapport inria-00077106v1
Image document

DQDB, mean access delay analysis

 Philippe Jacquet , Paul Mühlethaler
RR-1263, INRIA. 1990
Rapport inria-00077185v1
Image document

Implementation and evaluation of distributed synchronization on a distributed memory parallel machine

 André Couvert , René Pedrono , Michel Raynal
[Research Report] RR-1280, INRIA. 1990
Rapport inria-00075279v1
Image document

Adaptation de la méthode de Davidson à la résolution de systèmes linéaires : implémentation d'une version par blocs sur un multiprocesseur

 Miloud Sadkane , Brigitte Vital
[Rapport de recherche] RR-1240, INRIA. 1990
Rapport inria-00075318v1
Image document

Conditional rewrite rules as an algebraic semantics of processes

 Eric Badouel
[Research Report] RR-1226, INRIA. 1990
Rapport inria-00075332v1
Image document

Average case analysis of unification algorithms

 Luc Albert , Rafaël Casas , Francois Fages , Paul Zimmermann
[Research Report] RR-1213, INRIA. 1990
Rapport inria-00075345v1
Image document

Computability of recurrence equations

 Yannick Saouter , Patrice Quinton
[Research Report] RR-1203, INRIA. 1990
Rapport inria-00075355v1
Image document

Etat de l'art de la recherche en informatique documentaire : la representation des documents et l'acces a l'information

 Roland Dachelet
RR-1201, INRIA. 1990
Rapport inria-00075357v1
Image document

On the regular structure of prefix rewritings

 Didier Caucal
[Research Report] RR-1196, INRIA. 1990
Rapport inria-00075362v1
Image document

Comment introduire la contiguite en analyse des correspondances? Application en segmentation d'image

 Brigitte Escofier , Habib Benali , Kaddour Bachar
[Rapport de recherche] RR-1191, INRIA. 1990
Rapport inria-00075368v1
Image document

Linear complexity of transformed sequences

 H. Fell
RR-1168, INRIA. 1990
Rapport inria-00075390v1
Image document

Calculating the busy period distribution of the M/M/1 queue

 Louis-Marie Le Ny , Gerardo Rubino , Bruno Sericola
[Research Report] RR-1501, INRIA. 1991
Rapport inria-00075061v1
Image document

Influence de la modelisation physique des termes visqueux sur le calcul d'ecoulements hypersoniques

 Maria-Vittoria Salvetti , Massimo Passalacqua
[Rapport de recherche] RR-1493, INRIA. 1991
Rapport inria-00075069v1
Image document

Studying the locator polynomials of minimum weight codewords of BCH codes

 Daniel Augot , Pascale Charpin , Nicolas Sendrier
[Research Report] RR-1488, INRIA. 1991
Rapport inria-00075074v1
Image document

Helicity in turbulence modelling by homogenization

 Tomas Chacon-Rebollo , Daniel Franco Coronil , F.O. Gallego
[Research Report] RR-1486, INRIA. 1991
Rapport inria-00075076v1
Image document

Networks and dynamical systems

 Vadim A. A. Malyshev
[Research Report] RR-1468, INRIA. 1991
Rapport inria-00075094v1
Image document

Non-linear vector interpolation by neural network for phoneme identification in continuous speech

 Yifan Gong , Jean-Paul Haton
[Research Report] RR-1457, INRIA. 1991
Rapport inria-00075104v1
Page :