12265 search results - page 205 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
125
click to vote
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
148
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
136
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
Co-clustering is the simultaneous partitioning of the rows and columns of a matrix such that the blocks induced by the row/column partitions are good clusters. Motivated by severa...
139
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
We live in an era of data explosion that necessitates the discovery of novel out-of-core techniques. The I/O bottleneck has to be dealt with in developing out-of-core methods. The...
119
click to vote
SPAA
2000
ACM
15 years 9 months ago
2000
ACM
We conduct an experimental analysis of a distributed, randomized algorithm for edge coloring graphs. The algorithm is extremely simple, yet, according to the probabilistic analysi...