1980 search results - page 83 / 396 » Compositional Model Checking of Real Time Systems |
140
click to vote
RTSS
1992
IEEE
15 years 3 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...
106
click to vote
HASE
1999
IEEE
15 years 4 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
207
click to vote
DASFAA
2011
IEEE
14 years 3 months ago
2011
IEEE
In this demo, we present the StreamFitter system for real-time regression analysis on continuous data streams. In order to perform regression on data streams, it is necessary to co...
102
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
104
click to vote
SEUS
2008
IEEE
15 years 6 months ago
2008
IEEE
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...