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

Filtrer vos résultats

18 999 résultats
Type de document : Pré-publication, Document de travail
Type de document : Rapport
Page :
triés par
Image document

Common Mechanisms for Supporting Fault Tolerance in DSM and Message Passing Systems

 Ramamurthy Badrinath , Christine Morin
[Research Report] RR-4613, INRIA. 2002
Rapport inria-00071972v1
Image document

Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation

 Thomas Genet , Valérie Viet Triem Tong
[Research Report] RR-4576, INRIA. 2002
Rapport inria-00072012v1
Image document

Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems

 Claude Jard
[Research Report] RR-4567, INRIA. 2002
Rapport inria-00072021v1
Image document

A vectorial Matching Pursuit algorithm with an application to the analysis of Vecto-cardiogram signals

 Catherine Bonnet , Jonathan R. Partington , Michel Sorine
[Research Report] RR-4535, INRIA. 2002
Rapport inria-00072053v1
Image document

Adding QoS Support for Bluetooth Piconet

 Jean-Baptiste Lapeyrie , Thierry Turletti
[Research Report] RR-4514, INRIA. 2002
Rapport inria-00072074v1
Image document

A Scalable Approach to Network Enabled Servers

 Eddy Caron , Philippe Combes , Sylvain Contassot-Vivier , Frédéric Desprez , Frédéric Lombard , et al.
[Research Report] RR-4501, INRIA. 2002
Rapport inria-00072087v1
Image document

Modélisation de la sémantique formelle des langages de programmation en UML et OCL

 Jacques Malenfant
RR-4499, INRIA. 2002
Rapport inria-00072089v1
Image document

On The Approximation Of The Normal Vector Field Of A Smooth Surface

 Jean-Marie Morvan , Boris Thibert
RR-4476, INRIA. 2002
Rapport inria-00072112v1
Image document

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach

 Albert Benveniste , Eric Fabre , Claude Jard , Stefan Haar
[Research Report] RR-4461, INRIA. 2002
Rapport inria-00072127v1
Image document

Cyclic Register Pressure and Allocation for Modulo Scheduled Loops

 Sid Touati , Christine Eisenbeis
[Research Report] RR-4442, INRIA. 2002
Rapport inria-00072146v1
Image document

Connectivity in Ad-Hoc Networks: an Infinite-Server Queue Approach

 Daniele Miorandi , Eitan Altman
RR-5046, INRIA. 2003
Rapport inria-00071537v1
Image document

Topologie Virtuelle pour Réseaux Hybrides

 Fabrice Theoleyre , Fabrice Valois
RR-5035, INRIA. 2003
Rapport inria-00071549v1
Image document

Implementation of proportional loss rate differentiation in EDS using Proportional Loss Rate and RED

 Benjamin Gaidioz , Pascale Primet
RR-5029, INRIA. 2003
Rapport inria-00071555v1
Image document

View-Dependent Layered Projective Texture Maps

 Alex Reche , George Drettakis
RR-5016, INRIA. 2003
Rapport inria-00071568v1
Image document

Stochastic Chemical Kinetics with Energy Parameters

 Guy Fayolle , Vadim A. A. Malyshev , Serguei Pirogov
[Research Report] RR-5008, INRIA. 2003
Rapport inria-00071576v1
Image document

Breaking Littlewood's cipher

 Damien Stehlé
[Research Report] RR-4988, INRIA. 2003
Rapport inria-00071590v1
Image document

Adaptive Power Techniques for Blind Channel Estimation in CDMA Systems

 Xenofon G. Doukopoulos , George V. Moustakides
[Research Report] RR-4963, INRIA. 2003
Rapport inria-00071616v1
Image document

3D Maxwell's equations and orthogonal nonconforming meshes: a hp-type Discontinuous Galerkin method

 Nicolas Canouet , Loula Fatima Fezoui , Serge Piperno
[Research Report] RR-4912, INRIA. 2003
Rapport inria-00071668v1
Image document

Existence of Polynomial Solutions to Robust Convex Programming Problems

 Pierre-Alexandre Bliman
[Research Report] RR-4910, INRIA. 2003
Rapport inria-00071670v1
Image document

On The Effect of Feedback Traffic in IEEE 802.11b WLANs

 Daniele Miorandi , Eitan Altman
RR-4908, INRIA. 2003
Rapport inria-00071672v1
Image document

Putting Polyhedral Loop Transformations to Work

 Cédric Bastoul , Albert Cohen , Sylvain Girbal , Saurabh Sharma , Olivier Temam
[Research Report] RR-4902, INRIA. 2003
Rapport inria-00071681v1
Image document

Supply chain partnership based on revenue sharing

 Satyaveer Singh Chauhan , Jean-Marie Proth
[Research Report] RR-4846, INRIA. 2003, pp.12
Rapport inria-00071737v1
Image document

Performance issues with IEEE 802.11 in ad hoc networking

 Claude Chaudet , Dominique Dhoutaut , Isabelle Guérin-Lassous
[Research Report] RR-5304, INRIA. 2004, pp.17
Rapport inria-00070696v1
Image document

Performance Analysis of an Header Compression Protocol: The ROHC Unidirectional Mode

 Alain Couvreur , Louis-Marie Le Ny , Ana Minaburo , Gerardo Rubino , Bruno Sericola , et al.
[Research Report] RR-5300, INRIA. 2004, pp.24
Rapport inria-00070700v1
Image document

Pastis: a Highly-Scalable Multi-User Peer-to-Peer File System

 Jean-Michel Busca , Fabio Picconi , Pierre Sens
[Research Report] RR-5288, INRIA. 2004, pp.29
Rapport inria-00070712v1
Image document

Reducing the Redundancy in the Selection of Samples for SVM-based Relevance Feedback

 Marin Ferecatu , Michel Crucianu , Nozha Boujemaa
[Research Report] RR-5258, INRIA. 2004, pp.20
Rapport inria-00070740v1
Image document

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

 Stefan Haar
[Research Report] RR-5248, INRIA. 2004, pp.25
Rapport inria-00070750v1
Image document

Pricing the Internet with Multi-Bid Auctions

 Patrick Maillé , Bruno Tuffin
[Research Report] RR-5235, INRIA. 2004, pp.31
Rapport inria-00070763v1
Image document

Short term control of the cardiovascular system: Assessment with the isometric handgrip exercise

 Claire Médigue , Yves Papelier , Sylvain Bise , Michel Sorine
[Research Report] RR-5234, INRIA. 2004, pp.46
Rapport inria-00070764v1
Image document

Microscopic Models for Chemical Thermodynamics

 Vadim A. A. Malyshev
[Research Report] RR-5200, INRIA. 2004, pp.22
Rapport inria-00070792v1
Page :