English

Passer au contenu Retourner à la navigation

IRISA

Sections

Vous êtes ici : Accueil → Centre de documentation → Publications de l'Irisa → Publications internes

Publications internes

Les présents exposés écrits et oraux ainsi que tous les éléments qu'ils comportent, font l'objet d'une protection par le droit d'auteur.

Années : 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

Equipe(s): ADEPT

PI-1947 / 12 Mars 2010

Résumé - hal.inria.fr

Ahmed Frikha , Samer Lahoud

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

PI-1946 / 12 Mars 2010

Résumé - hal.inria.fr

François Bonnet , Michel Raynal

Anonymous Asynchronous Systems: The Case of Failure Detectors

Equipe(s): ASAP

PI-1945 / 03 Février 2010 / 16 pages

Résumé - manuscrit.pdf - hal.inria.fr

Damien Imbs , Michel Raynal

The x-Wait-freedom Progress Condition

Equipe(s): ASAP

PI-1944 / 05 Février 2010 / 11 pages

Résumé - manuscrit.pdf - hal.inria.fr

Damien Imbs , Michel Raynal

The Multiplicative Power of Consensus Numbers

Equipe(s): ASAP

PI-1943 / 05 Février 2010 / 16 pages

Résumé - manuscrit.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é.

Equipe(s): SYMBIOSE

PI-1942 / 24 Décembre 2009 / 72 pages

Résumé - manuscrit.pdf - hal.inria.fr

Michel Hurfin , Izabela Moise

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

Equipe(s): ADEPT

PI-1941 / 29 Décembre 2009 / 25 pages

Résumé - manuscrit.pdf - hal.inria.fr

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

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

Equipe(s): CELTIQUE

PI-1939 / 23 Novembre 2009 / 18 pages

Résumé - manuscrit.pdf - hal.inria.fr

François Bonnet , Michel Raynal

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

Equipe(s): ASAP

PI-1938 / 27 Octobre 2009 / 11 pages

Résumé - manuscrit.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

Equipe(s): ASAP -

PI-1937 / 20 Octobre 2009 / 13 pages

Résumé - manuscrit.pdf - hal.inria.fr

H. B. Ribeiro , E. Anceaume

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

Equipe(s): ADEPT

PI-1936 / 30 Septembre 2009 / 11 pages

Résumé - manuscrit.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 / 12 Septembre 2009 / 20 pages

Résumé - manuscrit.pdf - hal.inria.fr

Sébastien Ferré

Navigating the Semantic Web with Logical Information Systems

Equipe(s): LIS

PI 1934 / 25 Août 2009 / 12 pages

Résumé - manuscrit.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

Equipe(s): ALF - STMicroelectronics ST-Ericsson

PI 1933 / 30 Mai 2009 / 10 pages

Résumé - manuscrit.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

Equipe(s): ASAP

PI 1932 / 05 Juin 2009 / 5 pages

Résumé - manuscrit.pdf - hal.inria.fr

Damien Imbs , Michel Raynal

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

Equipe(s): ASAP

PI 1931 / 29 Mai 2009 / 12 pages

Résumé - manuscrit.pdf - hal.inria.fr

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

Dynamic Observers for the Synthesis of Opaque Systems

Equipe(s): VERTECS - IRCCyN

PI 1930 / 18 Juin 2009 / 22 pages

Résumé - manuscrit.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?

Equipe(s): ASAP

PI 1929 / 18 Mai 2009 / 13 pages

Résumé - manuscrit.pdf - hal.inria.fr

Pierre Tirilly , Vincent Claveau , Patrick Gros

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

Equipe(s): TEXMEX

PI 1927 / 28 Avril 2009 / 47 pages

Résumé - manuscrit.pdf - hal.inria.fr

Christophe Morvan

Contextual graph grammars characterizing context-sensitive languages

Equipe(s): VERTECS

PI 1926 / 09 Mars 2009 / 19 pages

Résumé - manuscrit.pdf - hal.inria.fr

Thibault Hilaire

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

Equipe(s): CAIRN

PI 1924 / 23 Février 2009 / 16 pages

Résumé - manuscrit.pdf - hal.inria.fr

Damien Imbs , Michel Raynal

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

Equipe(s): ASAP

PI 1923 / 19 Février 2009 / 23 pages

Résumé - manuscrit.pdf - manuscrit.ps.gz - hal.inria

Israël César Lerman

Directed binary hierarchies and directed ultrametrics

PI 1922 / 30 Janvier 2009 / 19 pages

Résumé - manuscrit.pdf - hal.inria.fr

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

Supervisory control for opacity

Equipe(s): S4 - VERTECS

PI 1921 / 10 Février 2009 / 19 pages

Résumé - manuscrit.pdf - manuscrit.ps.gz - hal.inria.fr

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

The k-simultaneous consensus problem

Equipe(s): ASAP

PI 1920 / 10 Janvier 2009 / 17 pages

Résumé - manuscrit.ps.gz - manuscrit.pdf - hal.inria.fr

Emmanuel Vincent , Nancy Bertin , Roland Badeau

Adaptive harmonic spectral decomposition for multiple pitch estimation

Equipe(s): METISS - TSI

PI 1919 / 05 Janvier 2009 / 15 pages

Résumé - manuscrit.ps.gz - manuscrit.pdf - hal.inria.fr

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

Les présents exposés écrits et oraux ainsi que tous les éléments qu'ils comportent, font l'objet d'une protection par le droit d'auteur. A ce titre, toute reproduction, représentation, adaptation, traduction partielle et ou intégrale, sans l'accord préalable et écrit de leur auteur, est strictement interdite. Chacun des auteurs a autorisé l'INRIA, le CNRS, l'Université de Rennes 1 et l'INSA à reproduire, et représenter, sur le présent site internet, ses exposés écrits et oraux ainsi que tous les éléments qu'ils comportent.

Annuaire téléphonique

Mentions légales et crédits