Search - Université de Rennes Access content directly

Filter your results

14 044 Results
Structure: Internal structure identifier : 419153
Image document

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

Ramamurthy Badrinath , Christine Morin
[Research Report] RR-4613, INRIA. 2002
Reports 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
Reports inria-00072012v1
Image document

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

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

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

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

Detection and resolution of aspect interactions

Rémi Douence , Pascal Fradet , Mario Südholt
[Research Report] RR-4435, INRIA. 2002
Reports inria-00072153v1
Image document

Modeling and Validation of Globally Asynchronous Design in Synchronous Frameworks

Mohammad Reza Mousavi , Paul Le Guernic , Jean-Pierre Talpin , Sandeep Kumar Shukla , Twan Basten
[Research Report] RR-4935, INRIA. 2003
Reports inria-00071644v1
Image document

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

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

Distributed monitoring of concurrent and asynchronous systems---extended version

Albert Benveniste , Stefan Haar , Eric Fabre , Claude Jard
[Research Report] RR-4842, INRIA. 2004
Reports inria-00071743v1
Image document

Schémas de suivi d'objets vidéo dans une séquence animée : application à l'interpolation d'images intermédiaires.

Laurent Bonnaud
Traitement du signal et de l'image [eess.SP]. Université Rennes 1, 1998. Français. ⟨NNT : ⟩
Theses tel-00070533v1
Image document

An experimental study of Java objects behaviour for mobile architectures

Arnaud Guiton , Michel Banâtre
[Research Report] RR-5452, INRIA. 2005, pp.24
Reports inria-00070555v1
Image document

Synthèse des méthodes de programmation en informatique contextuelle

Julien Pauty , Paul Couderc , Michel Banâtre
[Rapport de recherche] RR-5094, INRIA. 2004
Reports inria-00071489v1
Image document

Performance Evaluation of JXTA Communication layers

Mathieu Jan , David A. Noblet
[Research Report] RR-5350, INRIA. 2004, pp.31
Reports inria-00070652v1
Image document

Branching cells as local states for event structures and nets: probabilistic applications

Samy Abbes , Albert Benveniste
[Research Report] RR-5347, INRIA. 2004, pp.24
Reports inria-00070655v1
Image document

An a contrario approach to hierarchical clustering validity assessment

Frédéric Cao , Julie Delon , Agnès Desolneux , Pablo Musé , Frédéric Sur
[Research Report] RR-5318, INRIA. 2004, pp.15
Reports inria-00070682v1
Image document

Quality Assessment of Electromagnetic Localizers in the Context of 3D Ultrasound

François Rousseau , Christian Barillot
[Research Report] RR-4408, INRIA. 2002
Reports inria-00072180v1
Image document

Construction de services distribués : une approche à base d'agents mobiles

Siegfried Rouvrais
[Rapport de recherche] RR-4315, INRIA. 2001
Reports inria-00072272v1
Image document

Out-Of-Order Execution May Not Be Cost-Effective on Processors Featuring Simultaneous Multithreading

Sébastien Hily , André Seznec
[Research Report] RR-3391, INRIA. 1998
Reports inria-00073298v1
Image document

Myrtle : A Set-Oriented Meta-Interpreter Driven by a «Relational» Trace for Deductive Databases Debugging

Sarah Mallet , Mireille Ducassé
[Research Report] RR-3598, INRIA. 1999
Reports inria-00073081v1
Image document

Correctness of Java Card Tokenisation

Ewen Denney
[Research Report] RR-3831, INRIA. 1999
Reports inria-00072826v1
Image document

Path Planning for Robust Image-Based Visual Servoing

Youcef Mezouar , François Chaumette
[Research Report] RR-4097, INRIA. 2001
Reports inria-00072534v1
Image document

A Two-Level Checkpoint Algorithm in a Highly-Available Parallel Single Level Store System

Christine Morin , Renaud Lottiaux , Anne-Marie Kermarrec
[Research Report] RR-4086, INRIA. 2000
Reports inria-00072547v1
Image document

Containers : A Sound Basis For a True Single System Image

Renaud Lottiaux , Christine Morin
[Research Report] RR-4085, INRIA. 2000
Reports inria-00072548v1
Image document

Static Debugging of C Programs: Detection of Pointer Errors in Recursive Data Structures

Ronan Gaugne
[Research Report] RR-3232, INRIA. 1997
Reports inria-00073457v1
Image document

PROXSEM: Interest-based Proximity Measure to Improve Search Efficiency in P2P Systems

Yann Busnel
EuroSys2006, Apr 2006, Leuven/Belgium
Conference papers inria-00001249v1
Image document

A general criterion for image similarity detection

Frédéric Cao , Patrick Bouthemy
[Research Report] RR-5620, INRIA. 2005, pp.16
Reports inria-00070388v1
Image document

Enabling Transparent Data Sharing in Component Models

Gabriel Antoniu , Hinde Lilia Bouziane , Landry Breuil , Mathieu Jan , Christian Pérez
[Research Report] RR-5796, INRIA. 2006, pp.22
Reports inria-00070227v1
Image document

Distributed Slicing in Dynamic Systems

Antonio Fernández , Vincent Gramoli , Ernesto Jiménez , Anne-Marie Kermarrec , Michel Raynal
[Research Report] PI 1829, 2006, pp.24
Reports inria-00119922v1
Image document

A Theory of Shape Identification

Pablo Musé , Frédéric Sur , Frédéric Cao , Jose Luis Lisani , Jean-Michel Morel
[Research Report] RR-5766, INRIA. 2005, pp.190
Reports inria-00070255v1
Image document

Transparent Message-Passing Parallel Applications Checkpointing in Kerrighed

Matthieu Fertré , Christine Morin
[Research Report] RR-5755, INRIA. 2005, pp.13
Reports inria-00070265v1
Image document

Online Abstraction of Distributed Executions

Thomas Gazagnaire , Loïc Hélouët , Claude Jard
[Research Report] RR-5736, INRIA. 2005, pp.28
Reports inria-00070282v1