Search Sciweavers | Sciweavers

3387 search results - page 45 / 678

» Model-Checking for Real-Time Systems

150

click to vote

IPPS
1998
IEEE

87views Distributed And Parallel Com...» more IPPS 1998»

Surge Handling as a Measure of Real-Time System Dependability

15 years 10 months ago

Download ipdps.cc.gatech.edu

Traditional reliability measures for computer systems can be classi ed into Computer-Centric or Application-Centric categories. The former concentrate on the hardware resources whi...

Zahava Koren, Israel Koren, C. Mani Krishna

claim paper

Read More »

218

click to vote

EMSOFT
2001
Springer

231views Software Engineering» more EMSOFT 2001»

Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems

15 years 10 months ago

Download www.cs.wustl.edu

Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...

Douglas C. Schmidt

claim paper

Read More »

142

click to vote

ECRTS
2007
IEEE

145views Embedded Systems» more ECRTS 2007»

Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems

16 years 9 days ago

Download www-rocq.inria.fr

Patrick Meumeu Yomsi, Yves Sorel

claim paper