Searching for "Fast String Searching." – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
Fast String Searching
- …SOFTWARE—PRACTICE AND EXPERIENCE, VOL. 21(11), 1221–1248 (NOVEMBER 1991 ) Fast String Searching…
- Cited by 36 (0 self) – Add To MetaCart
-
A Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching Algorithm
- …A Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching Algorithm…
- Add To MetaCart
-
Cumulative Algebraic Signatures for fast string search. Protection Against Incidental Viewing
- …CERIA Research Report 2004-10-23 Pre-computed Algebraic Signatures for Fast String Search…
- Cited by 1 (1 self) – Add To MetaCart
-
When Using the Application to Find a Phrase, the User First Enters a Phrase
- … ability to evaluate the usefulness of the prototype. One good candidate for fast string searching…
- Add To MetaCart
-
1 Abstract Mechanized Operational Semantics:
- … of the Boyer-Moore fast string searching algorithm. We also define a compiler for a higher level language…
- Add To MetaCart
-
Fast Content-Based Packet Handling for Intrusion Detection
- … time: each time a rule matches, Snort does a fast string search on the associated pattern using…
- Cited by 22 (0 self) – Add To MetaCart
-
Optimal Superprimitivity Testing for Strings
- …(i) is the length of the border of the i th prefix x1x2 . . .xi of x. This table is a well known tool of fast string…
- Cited by 26 (5 self) – Add To MetaCart
-
A mechanized program verifier
- … of the Boyer-Moore fast string searching algorithm in FORTRAN 77 [4]; proof of the correctness of a linear…
- Cited by 2 (0 self) – Add To MetaCart
-
References 120
- … fast string searching algorithm," Communications of the ACM 20(10) 762--772. Brown, J. C. (1991…
- Add To MetaCart
-
Bibliography
- …, Practical fast searching in strings, Software--- Practice and Experience 10 (1980) 501-506. [HD 84] W.J. HSU…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
