3387 search results - page 367 / 678 » Model-Checking for Real-Time Systems |
194
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol allows the schedulability analysis of the n...
204
Voted
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
211
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
200
click to vote
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
198
Voted
RTAS
2005
IEEE
16 years 1 months ago
2005
IEEE
