Search Sciweavers | Sciweavers

3387 search results - page 45 / 678

» Model-Checking for Real-Time Systems

click to vote

IPPS
1998
IEEE

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

Surge Handling as a Measure of Real-Time System Dependability

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

click to vote

EMSOFT
2001
Springer

231views Software Engineering» more EMSOFT 2001»

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

14 years 3 days 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 »

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

14 years 1 months ago

Download www-rocq.inria.fr

Patrick Meumeu Yomsi, Yves Sorel

claim paper

Read More »