12981 search results - page 548 / 2597 » Model Checking (Abstract) |
210
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
188
click to vote
CAV
2004
Springer
16 years 8 days ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
166
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
176
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
152
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...