487 search results - page 1 / 98 » Implementation Correctness of a Real-Time Operating System |
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
RTSS
2003
IEEE
13 years 9 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
FIDJI
2003
Springer
13 years 9 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
RTSS
1992
IEEE
13 years 8 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
ISORC
1998
IEEE
13 years 8 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...