3387 search results - page 24 / 678 » Model-Checking for Real-Time Systems |
DAC
1997
ACM
13 years 11 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...
HICSS
1996
IEEE
13 years 11 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...
RTCSA
2009
IEEE
14 years 2 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...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
TITS
2010
13 years 2 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 ...