3387 search results - page 24 / 678 » Model-Checking for Real-Time Systems |
110
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
119
Voted
HICSS
1996
IEEE
15 years 6 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...
137
Voted
RTCSA
2009
IEEE
15 years 9 months ago
2009
IEEE
The importance of accounting for interrupts in multiprocessor real-time schedulability analsysis is discussed. Three interrupt accounting methods, two of which are newly described...
121
Voted
TITS
2010
14 years 9 months ago
2010
Abstract--Automated passenger tracking in public transportation systems can be used to estimate the short-term demand and, thereby, to optimize the fleet schedule in real time. It ...