3387 search results - page 146 / 678 » Model-Checking for Real-Time Systems |
165
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, we propose and present Real-Time Channel-based Reflective Memory (RT-CRM)
240
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
190
click to vote
SRDS
1998
IEEE
15 years 11 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...
176
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
181
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
We devise the first constant-approximate feasibility test for sporadic multiprocessor real-time scheduling. We give an algorithm that, given a task system and > 0, correctly de...