Sciweavers

1294 search results - page 44 / 259
» A Conditional Scheduling Approach to Designing Real-Time Sys...
Sort
View
147
Voted
RTAS
2007
IEEE
15 years 10 months ago
Hijack: Taking Control of COTS Systems for Real-Time User-Level Services
This paper focuses on a technique to empower commercial-off-the-shelf (COTS) systems with an execution environment, and corresponding services, to support realtime and embedded ap...
Gabriel Parmer, Richard West
ISCA
2003
IEEE
169views Hardware» more  ISCA 2003»
15 years 9 months ago
Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
Aravindh Anantaraman, Kiran Seth, Kaustubh Patil, ...
ICFEM
1997
Springer
15 years 8 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ICEIS
2003
IEEE
15 years 9 months ago
Distributed Overload Control for Real-Time Replicated Database Systems
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
Samia Saad-Bouzefrane, Claude Kaiser
137
Voted
ERCIM
2008
94views more  ERCIM 2008»
15 years 3 months ago
Model-Based Development of Distributed Embedded Real-Time Systems
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
Wolfgang Herzner, Martin Schlager, György Cse...