620 search results - page 102 / 124 » Algorithms and computations on cellular automata |
112
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
106
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
80
Voted
FORMATS
2005
Springer
15 years 6 months ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...
109
click to vote
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Dictionary-based string matching (DBSM) is a critical component of Deep Packet Inspection (DPI), where thousands of malicious patterns are matched against high-bandwidth ...
83
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Pervasive communications are increasingly sent over mobile devices and personal digital assistants. This trend has been observed during the last football world cup where cellula...