Unreliable distributed timing scrutinizer : adapting asynchronous algorithms to the environment

A weakest failure detector-based asynchronous consensus protocol for F<N

Friedman, Roy
Mostefaoui, Achour
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet AdeptSIGLEAvailable from INIST (FR), Document Supply Service,...

Timing analysis of real - time scheduling policies : a trajectory based model

Migge, J.M.
Jean - Marie, A.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 1 - Reseaux et systemes. Projet MISTRALAvailable from INIST (FR), Document Supply Service, und...

Grandes deviations pour les chaines de Markov en temps continu

De La Fortelle, Arnaud
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

Theme 1 - Reseaux et systemes - Projet MEVALAvailable from INIST (FR), Document Supply Service, unde...

Distributed monitoring of concurrent and asynchronous systems Extended version

Benveniste, Albert
Haar, Stefan
Jard, Claude
Fabre, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2004

Systemes communicants - Projet DistriComSIGLEAvailable from INIST (FR), Document Supply Service, und...

Performance evaluation of clock synchronization algorithms

Anceaume, Emmanuelle
Puaut, Isabelle
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet SolidorSIGLEAvailable from INIST (FR), Document Supply Servic...

Asynchronous implementation of failure detectors

Raynal, Michel
Mourgaya, Eric
Mostefaoui, Achour
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2002

Theme 1 - Reseaux et systemes - Projet AdeptSIGLEAvailable from INIST (FR), Document Supply Service,...

Holistic analysis for deadline scheduled real-time distributed systems

Spuri, Marco
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 1 - Reseaux et systemes - Projet ReflecsSIGLEAvailable at INIST (FR), Document Supply Service,...

A taxonomy of clock synchronization algorithms

Anceaume, Emmanuelle
Puaut, Isabelle
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 1 - Reseaux et systemes - Projet SolidorSIGLEAvailable from INIST (FR), Document Supply Servic...

Worst-case timing analysis of the RTEMS real-time operating syste

Collin, Antoine
Puaut, Isabelle
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet SolidorSIGLEAvailable from INIST (FR), Document Supply Servic...

Validation of timing properties for interoperability in distributed real time applications

Benkhellat, Yazid
Thomesse, Jean-Pierre
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13215 / INIST-CNRS - ...

Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support

Chevochot, Pascal
Puaut, Isabelle
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet SolidorSIGLEAvailable from INIST (FR), Document Supply Servic...

Asynchronous deployment od synchronous transition systems

Talpin, Jean-Pierre
Benveniste, Albert
Le Guernic, Paul
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet EPATRSIGLEAvailable from INIST (FR), Document Supply Service,...

Fast asynchronous consensus based on a weak failure detector

Hurfin, Michel
Raynal, Michel
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

Synchronous distributed algorithms : a proof system

Adam, Michel
Helary, Jean-Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Strenghtening distributed protocols to handle tougher failures

Baldoni, Roberto
Helary, Jean-Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2002

Theme 1 - Reseaux et systemes - Projet ADEPTSIGLEAvailable from INIST (FR), Document Supply Service,...

A weakest failure detector-based asynchronous consensus protocol for F<N

Friedman, Roy
Mostefaoui, Achour
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet AdeptSIGLEAvailable from INIST (FR), Document Supply Service,...

Timing analysis of real - time scheduling policies : a trajectory based model

Migge, J.M.
Jean - Marie, A.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 1 - Reseaux et systemes. Projet MISTRALAvailable from INIST (FR), Document Supply Service, und...

Grandes deviations pour les chaines de Markov en temps continu

De La Fortelle, Arnaud
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

Theme 1 - Reseaux et systemes - Projet MEVALAvailable from INIST (FR), Document Supply Service, unde...

Distributed monitoring of concurrent and asynchronous systems Extended version

Benveniste, Albert
Haar, Stefan
Jard, Claude
Fabre, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2004

Systemes communicants - Projet DistriComSIGLEAvailable from INIST (FR), Document Supply Service, und...

Performance evaluation of clock synchronization algorithms

Anceaume, Emmanuelle
Puaut, Isabelle
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet SolidorSIGLEAvailable from INIST (FR), Document Supply Servic...

Asynchronous implementation of failure detectors

Raynal, Michel
Mourgaya, Eric
Mostefaoui, Achour
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2002

Theme 1 - Reseaux et systemes - Projet AdeptSIGLEAvailable from INIST (FR), Document Supply Service,...

Holistic analysis for deadline scheduled real-time distributed systems

Spuri, Marco
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 1 - Reseaux et systemes - Projet ReflecsSIGLEAvailable at INIST (FR), Document Supply Service,...

A taxonomy of clock synchronization algorithms

Anceaume, Emmanuelle
Puaut, Isabelle
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 1 - Reseaux et systemes - Projet SolidorSIGLEAvailable from INIST (FR), Document Supply Servic...

Worst-case timing analysis of the RTEMS real-time operating syste

Collin, Antoine
Puaut, Isabelle
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet SolidorSIGLEAvailable from INIST (FR), Document Supply Servic...

Validation of timing properties for interoperability in distributed real time applications

Benkhellat, Yazid
Thomesse, Jean-Pierre
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13215 / INIST-CNRS - ...

Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support

Chevochot, Pascal
Puaut, Isabelle
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet SolidorSIGLEAvailable from INIST (FR), Document Supply Servic...

Asynchronous deployment od synchronous transition systems

Talpin, Jean-Pierre
Benveniste, Albert
Le Guernic, Paul
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet EPATRSIGLEAvailable from INIST (FR), Document Supply Service,...

Fast asynchronous consensus based on a weak failure detector

Hurfin, Michel
Raynal, Michel
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

Synchronous distributed algorithms : a proof system

Adam, Michel
Helary, Jean-Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Strenghtening distributed protocols to handle tougher failures

Baldoni, Roberto
Helary, Jean-Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2002

Theme 1 - Reseaux et systemes - Projet ADEPTSIGLEAvailable from INIST (FR), Document Supply Service,...

A weakest failure detector-based asynchronous consensus protocol for F<N

Friedman, Roy
Mostefaoui, Achour
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet AdeptSIGLEAvailable from INIST (FR), Document Supply Service,...

Timing analysis of real - time scheduling policies : a trajectory based model

Migge, J.M.
Jean - Marie, A.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 1 - Reseaux et systemes. Projet MISTRALAvailable from INIST (FR), Document Supply Service, und...

Grandes deviations pour les chaines de Markov en temps continu

De La Fortelle, Arnaud
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

Theme 1 - Reseaux et systemes - Projet MEVALAvailable from INIST (FR), Document Supply Service, unde...

Unreliable distributed timing scrutinizer : adapting asynchronous algorithms to the environment

Abstract

Extracted data

Unreliable distributed timing scrutinizer : adapting asynchronous algorithms to the environment

Abstract

Extracted data

Related items

Related items