|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems
Claude Jard
[Research Report] RR-4567, INRIA. 2002
Reports
inria-00072021v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Modélisation de la sémantique formelle des langages de programmation en UML et OCL
Jacques Malenfant
RR-4499, INRIA. 2002
Reports
inria-00072089v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Detection and resolution of aspect interactions
Rémi Douence
,
Pascal Fradet
,
Mario Südholt
[Research Report] RR-4435, INRIA. 2002
Reports
inria-00072153v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics
Stefan Haar
[Research Report] RR-5248, INRIA. 2004, pp.25
Reports
inria-00070750v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Performance Evaluation of JXTA Communication layers
Mathieu Jan
,
David A. Noblet
[Research Report] RR-5350, INRIA. 2004, pp.31
Reports
inria-00070652v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Construction de services distribués : une approche à base d'agents mobiles
Siegfried Rouvrais
[Rapport de recherche] RR-4315, INRIA. 2001
Reports
inria-00072272v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Correctness of Java Card Tokenisation
Ewen Denney
[Research Report] RR-3831, INRIA. 1999
Reports
inria-00072826v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Path Planning for Robust Image-Based Visual Servoing
Youcef Mezouar
,
François Chaumette
[Research Report] RR-4097, INRIA. 2001
Reports
inria-00072534v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Containers : A Sound Basis For a True Single System Image
Renaud Lottiaux
,
Christine Morin
[Research Report] RR-4085, INRIA. 2000
Reports
inria-00072548v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Static Debugging of C Programs: Detection of Pointer Errors in Recursive Data Structures
Ronan Gaugne
[Research Report] RR-3232, INRIA. 1997
Reports
inria-00073457v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
PROXSEM: Interest-based Proximity Measure to Improve Search Efficiency in P2P Systems
Yann Busnel
EuroSys2006, Apr 2006, Leuven/Belgium
Conference papers
inria-00001249v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A general criterion for image similarity detection
Frédéric Cao
,
Patrick Bouthemy
[Research Report] RR-5620, INRIA. 2005, pp.16
Reports
inria-00070388v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Transparent Message-Passing Parallel Applications Checkpointing in Kerrighed
Matthieu Fertré
,
Christine Morin
[Research Report] RR-5755, INRIA. 2005, pp.13
Reports
inria-00070265v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|