Search Sciweavers | Sciweavers

91 search results - page 7 / 19

» Fault tolerance with real-time Java

click to vote

IPPS
1997
IEEE

152views Distributed And Parallel Com...» more IPPS 1997»

Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks

13 years 11 months ago

Download ipdps.cc.gatech.edu

This paper presents a new fault-tolerant scheduling algorithm for multiprocessor hard-real-time systems. The so called partitioning method is used to schedule a set of tasks in a ...

Alan A. Bertossi, Andrea Fusiello, Luigi V. Mancin...

claim paper

Read More »

click to vote

IPPS
1994
IEEE

85views Distributed And Parallel Com...» more IPPS 1994»

Fault-Tolerant Scheduling on a Hard Real-Time Multiprocessor System

13 years 11 months ago

Download www.csee.umbc.edu

Sunondo Ghosh, Rami G. Melhem, Daniel Mossé

claim paper

Read More »

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

13 years 11 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 »

click to vote

FTCS
1993

49views more FTCS 1993»

TTP - A Time-Triggered Protocol for Fault-Tolerant Real-Time Systems

13 years 8 months ago