Searching for "Fast String Searching." – sorted by Relevance.
-
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

