Français

Skip to content. Skip to navigation

IRISA

Sections

Home
SiteMap

You are here: Home → Documentation Center → Reports and Theses → IRISA research reports

IRISA research reports

These written and oral presentations, and all the material contained within, are protected by copyright law.

Year : 2010 - 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993

2010

Emmanuelle Anceaume , Francisco Brasileiro , Romaric Ludinard , Bruno Sericola , Frédéric Tronel

Dependability Evaluation of Cluster-based Systems

Team(s): ADEPT

PI-1947 / 2010 March, 12

Summary - hal.inria.fr

Ahmed Frikha , Samer Lahoud

Hybrid Inter-Domain QoS Routing based on Look-Ahead Information

PI-1946 / 2010 March, 12

Summary - hal.inria.fr

François Bonnet , Michel Raynal

Anonymous Asynchronous Systems: The Case of Failure Detectors

Team(s): ASAP

PI-1945 / 2010 February, 03 / 16 pages

Summary - manuscript.pdf - hal.inria.fr

Damien Imbs , Michel Raynal

The x-Wait-freedom Progress Condition

Team(s): ASAP

PI-1944 / 2010 February, 05 / 11 pages

Summary - manuscript.pdf - hal.inria.fr

Damien Imbs , Michel Raynal

The Multiplicative Power of Consensus Numbers

Team(s): ASAP

PI-1943 / 2010 February, 05 / 16 pages

Summary - manuscript.pdf - hal.inria.fr

2009

Israël-César LERMAN , Sylvie Guillaume

Analyse comparative d’indices d’implication discriminants fondés sur une échelle de probabilité.

Team(s): SYMBIOSE

PI-1942 / 2009 December, 24 / 72 pages

Summary - manuscript.pdf - hal.inria.fr

Michel Hurfin , Izabela Moise

A Multiple Integrated Consensus Protocol based on Paxos, FastPaxos and Fast Paxos

Team(s): ADEPT

PI-1941 / 2009 December, 29 / 25 pages

Summary - manuscript.pdf - hal.inria.fr

Frédéric Besson , Thomas Jensen , Tiphaine Turpin

Computing the Least Fix-point Semantics of Denite Logic Programs Using BDDs

Team(s): CELTIQUE

PI-1939 / 2009 November, 23 / 18 pages

Summary - manuscript.pdf - hal.inria.fr

François Bonnet , Michel Raynal

Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?

Team(s): ASAP

PI-1938 / 2009 October, 27 / 11 pages

Summary - manuscript.pdf - hal.inria.fr

François Bonnet , Michel Raynal

Early Consensus in Message-passing Systems Enriched with a Perfect Failure Detector and its Application in the Theta Model

Team(s): ASAP -

PI-1937 / 2009 October, 20 / 13 pages

Summary - manuscript.pdf - hal.inria.fr

H. B. Ribeiro , E. Anceaume

DataCube: a P2P persistent Storage Architecture based on Hybrid Redundancy Schema

Team(s): ADEPT

PI-1936 / 2009 September, 30 / 11 pages

Summary - manuscript.pdf - hal.inria.fr

Ahmed Frikha , Gilles Bertrand , Samer Lahoud

Pré-calcul de chemins inter-domaines soumis à plusieurs contraintes de qualité de service

PI-1935 / 2009 September, 12 / 20 pages

Summary - manuscript.pdf - hal.inria.fr

Sébastien Ferré

Navigating the Semantic Web with Logical Information Systems

Team(s): LIS

PI 1934 / 2009 August, 25 / 12 pages

Summary - manuscript.pdf - hal.inria.fr

Erven Rohou , Andrea Carlo Ornstein , Ali Erdem Özcan , Marco Cornero

Combining Processor Virtualization and Component-Based Engineering in C for Heterogeneous Many-Core Platforms

Team(s): ALF - STMicroelectronics ST-Ericsson

PI 1933 / 2009 May, 30 / 10 pages

Summary - manuscript.pdf - hal.inria.fr

François Bonnet , Michel Raynal

A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems

Team(s): ASAP

PI 1932 / 2009 June, 05 / 5 pages

Summary - manuscript.pdf - hal.inria.fr

Damien Imbs , Michel Raynal

Visiting Gafni’s Reduction Land: from the BG Simulation to the Extended BG Simulation

Team(s): ASAP

PI 1931 / 2009 May, 29 / 12 pages

Summary - manuscript.pdf - hal.inria.fr

Franck Cassez , Jérémy Dubreil , Hervé Marchand

Dynamic Observers for the Synthesis of Opaque Systems

Team(s): VERTECS - IRCCyN

PI 1930 / 2009 June, 18 / 22 pages

Summary - manuscript.pdf - hal.inria.fr

François Bonnet , Michel Raynal

Looking for the Weakest Failure Detector for $k$-Set Agreement in Message-passing Systems: Is $\Pi_k$ the End of the Road?

Team(s): ASAP

PI 1929 / 2009 May, 18 / 13 pages

Summary - manuscript.pdf - hal.inria.fr

Pierre Tirilly , Vincent Claveau , Patrick Gros

A review of weighting schemes for bag of visual words image retrieval

Team(s): TEXMEX

PI 1927 / 2009 April, 28 / 47 pages

Summary - manuscript.pdf - hal.inria.fr

Christophe Morvan

Contextual graph grammars characterizing context-sensitive languages

Team(s): VERTECS

PI 1926 / 2009 March, 09 / 19 pages

Summary - manuscript.pdf - hal.inria.fr

Thibault Hilaire

Low Parametric Sensitivity Realizations with relaxed L2-dynamic-range-scaling constraints

Team(s): CAIRN

PI 1924 / 2009 February, 23 / 16 pages

Summary - manuscript.pdf - hal.inria.fr

Damien Imbs , Michel Raynal

A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition

Team(s): ASAP

PI 1923 / 2009 February, 19 / 23 pages

Summary - manuscript.pdf - manuscript.ps.gz - hal.inria

Israël César Lerman

Directed binary hierarchies and directed ultrametrics

Team(s): SYMBIOSE

PI 1922 / 2009 January, 30 / 19 pages

Summary - manuscript.pdf - hal.inria.fr

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand

Supervisory control for opacity

Team(s): S4 - VERTECS

PI 1921 / 2009 February, 10 / 19 pages

Summary - manuscript.pdf - manuscript.ps.gz - hal.inria.fr

Yehuda Afek , Eli Gafni , Sergio Rajsbaum , Michel Raynal , Corentin Travers

The k-simultaneous consensus problem

Team(s): ASAP

PI 1920 / 2009 January, 10 / 17 pages

Summary - manuscript.ps.gz - manuscript.pdf - hal.inria.fr

Emmanuel Vincent , Nancy Bertin , Roland Badeau

Adaptive harmonic spectral decomposition for multiple pitch estimation

Team(s): METISS - TSI

PI 1919 / 2009 January, 05 / 15 pages

Summary - manuscript.ps.gz - manuscript.pdf - hal.inria.fr

Year : 2010 - 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993

These written and oral presentations, and all the material contained within, are protected by copyright law. Consequently, any unauthorized reproduction, representation, adaptation, partial or complete translation, without prior written permission of the author, is strictly prohibited. Inria, CNRS, Université de Rennes 1 and Insa have received permission from each of the authors to reproduce and present their written and oral presentations and all the material contained within, on this website.

Phone numbers

Legal informations and credits