12265 search results - page 206 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
143
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
117
click to vote
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reach...
159
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
155
click to vote
CHES
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Three new types of power analysis attacks against smartcard implementations of modular exponentiation algorithms are described. The first attack requires an adversary to ...
118
click to vote
ACCV
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We introduce a continuous scale wavelet detector. Our algorithm was able to detect a mass that could not be seen using conventional windowing and leveling or traditional ...