3387 search results - page 397 / 678 » Model-Checking for Real-Time Systems |
169
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
178
click to vote
ICECCS
1997
IEEE
15 years 11 months ago
1997
IEEE
No cache based techniques for roll-forward fault recovery exist at present. A split-cache approach is proposed that provides e cient support for checkpointing and roll-forward fau...
207
Voted
LICS
2003
IEEE
16 years 23 days ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
185
click to vote
LISA
2004
15 years 9 months ago
2004
Managing information flow between different parts of the enterprise information infrastructure can be a daunting task. We have grown too large to send the complete lists around an...
176
click to vote
DATE
2003
IEEE
16 years 24 days ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...