1294 search results - page 34 / 259 » A Conditional Scheduling Approach to Designing Real-Time Sys... |
174
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
107
click to vote
RTDB
1996
15 years 5 months ago
1996
We show that previous algorithmic and scheduling work concerning the use of lock-free objects in hard real-timesystems can be extended to support real-time transactions on memory-...
132
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
131
click to vote
HICSS
1996
IEEE
15 years 8 months ago
1996
IEEE
: We have designed a Real-Time Co-Operating System (RTCOS) for simultaneously supporting real-time and non-real-time activities on a workstation with two or more processors. The RT...
166
click to vote
RTAS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...