2632 search results - page 134 / 527 » Alternating Timed Automata |
135
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Multi-string matching is a key technique for implementing network security applications like Network Intrusion Detection Systems (NIDS) and anti-virus scanners. Existing DFA-based ...
161
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
149
click to vote
CONCUR
1992
Springer
15 years 7 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
: Watchdogs are a well-known and widespread means to increase the safety of microprocessors. The programmer or the compiler must insert instructions to reset the watchdog. If the p...
133
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...