2274 search results - page 123 / 455 » Real-Time Scheduling in Distributed Systems |
103
click to vote
REX
1991
15 years 1 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
LCTRTS
2001
Springer
15 years 2 months ago
2001
Springer
Strict control over the scheduling and execution of processor resources is essential for many fixed-priority real-time applications. To facilitate this common requirement, the Re...
111
click to vote
FIDJI
2003
Springer
15 years 3 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...
100
click to vote
ECRTS
2003
IEEE
15 years 3 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to p...