12265 search results - page 450 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
180
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
214
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
193
click to vote
ICITA
2005
IEEE
16 years 15 days ago
2005
IEEE
Small-sample learning in image retrieval is a pertinent and interesting problem. Relevance feedback is an active area of research that seeks to find algorithms that are robust wi...
190
click to vote
CONCUR
2005
Springer
16 years 13 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
171
click to vote
PACT
2005
Springer
16 years 11 days ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...