12265 search results - page 2070 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
156
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we present a continuous surface model to describe the interconnect geometric variation, which improves the currently used model for better accuracy while not increas...
156
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
173
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Remote sensing of terrain characteristics is an important component for autonomous operation of mobile robots in natural terrain. Often this involves classification of terrain int...
176
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
A stock market data processing system that can handle high data volumes at low latencies is critical to market makers. Such systems play a critical role in algorithmic trading, ri...
189
Voted
WSDM
2009
ACM
16 years 1 months ago
2009
ACM
With the overwhelming number of reports on similar events originating from different sources on the web, it is often hard, using existing web search paradigms, to find the origi...