1246 search results - page 136 / 250 » Recursive Timed Automata |
152
click to vote
GLOBECOM
2010
IEEE
15 years 3 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 ...
180
click to vote
RTAS
2008
IEEE
15 years 11 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 ...
133
Voted
HYBRID
1995
Springer
15 years 8 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
164
Voted
CONCUR
1992
Springer
15 years 9 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...
111
Voted
ARCS
2006
Springer
15 years 8 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...