3387 search results - page 84 / 678 » Model-Checking for Real-Time Systems |
RTSS
1992
IEEE
14 years 1 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...
RTDB
2001
13 years 11 months ago
2001
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnecti...
ECRTS
2009
IEEE
13 years 7 months ago
2009
IEEE
While hardware caches are generally effective at improving application performance, they greatly complicate performance prediction. Slight changes in memory layout or data access p...
FATES
2004
Springer
14 years 3 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
FTDCS
1999
IEEE
14 years 2 months ago
1999
IEEE
: Group communication in real-time computing systems has been a subject of research for almost two decades but it is not yet a mature technological field. The purpose of this paper...