Search Sciweavers | Sciweavers

464 search results - page 26 / 93

» A Fault Tolerance Protocol with Fast Fault Recovery

192

click to vote

FORMATS
2004
Springer

161views Formal Methods» more FORMATS 2004»

Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata

15 years 9 months ago

Download www.csl.sri.com

We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...

Bruno Dutertre, Maria Sorea

claim paper

Read More »

118

click to vote

RTSS
2007
IEEE

104views Control Systems» more RTSS 2007»

Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines

15 years 12 months ago

Download kam.mff.cuni.cz

Marek Chrobak, Mathilde Hurand, Jiri Sgall

claim paper

Read More »

161

click to vote

AINA
2005
IEEE

82views Computer Networks» more AINA 2005»

Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers

15 years 11 months ago

Download www.jaist.ac.jp

In this paper, we consider a distributed system that consists of a group of teams of worker robots that rely on physical robot messengers for the communication between the teams. ...

Rami Yared, Xavier Défago, Takuya Katayama

claim paper

Read More »

135

click to vote

DSN
2005
IEEE

88views Computer Networks» more DSN 2005»

A Multi-Level Meta-Object Protocol for Fault-Tolerance in Complex Architectures

15 years 11 months ago

Download ftaiani.ouvaton.org

François Taïani, Jean-Charles Fabre, M...

claim paper