Search results for "Boyer-Moore"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
132	William R. Bevier	Kit: A Study in Operating System Verification.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	multitasking operating system kernel, machine language, uniprocessor von Neumann computer, conceptually distributed communicating processes, asynchronous devices, security-related results, supervisor mode, Boyer-Moore logic, Boyer-Moore theorem prover, verification, interface, message passing, theorem proving, program verification, operating systems (computers), multiprogramming, correctness proof, process scheduling, error handling, Kit
114	William R. Bevier, Jørgen F. Søgaard-Andersen	Mechanically Checked Proofs of Kernel Specification.	CAV	1991	DBLP DOI BibTeX RDF	mechanical proof checking, Boyer-Moore Theorem Prover, Kernel, labeled transition systems, safety properties, stepwise development
104	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
104	Sun Yong-qiang, Lu Ru-zhan, Bi Hua	Program synthesis based on Boyer-Moore theorem proving techniques.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF	Boyer-Moore technique, program sysnthesis, theorem proving, resolution
95	Yuebin Bai, Hidetsune Kobayashi	New String Matching Technology for Network Security.	AINA	2003	DBLP DOI BibTeX RDF
95	Bruce W. Watson	A New Regular Grammar Pattern Matching Algorithm.	ESA	1996	DBLP DOI BibTeX RDF
90	Han Kesong, Yongcheng Wang, Guilin Chen	Research on a faster algorithm for pattern matching.	IRAL	2000	DBLP DOI BibTeX RDF	Boyer-Moore algorithm, quick search algorithm, pattern matching, time complexity
86	Yang Wang	A new method to obtain the shift-table in Boyer-Moore's string matching algorithm.	ICPR	2008	DBLP DOI BibTeX RDF
86	Domenico Cantone, Simone Faro	Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm.	WEA	2003	DBLP DOI BibTeX RDF	string matching, text processing, experimental algorithms
86	Tim Bell 0001, Matt Powell, Amar Mukherjee, Donald A. Adjeroh	Searching BWT Compressed Text with the Boyer-Moore Algorithm and Binary Search.	DCC	2002	DBLP DOI BibTeX RDF
86	Jorma Tarhio, Esko Ukkonen	Boyer-Moore Approach to Approximate String Matching (Extended Abstract).	SWAT	1990	DBLP DOI BibTeX RDF
86	Alexandre Bronstein, Carolyn L. Talcott	Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
81	Shmuel Tomi Klein, Miri Ben-Nissan	Accelerating Boyer Moore Searches on Binary Texts.	CIAA	2007	DBLP DOI BibTeX RDF	Boyer-Moore, BDM, binary texts, compressed matching, pattern matching
71	Yang Wang	Effects of Suffix Repetition Rates of a String on the Performance of String Matching Algorithms.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
71	Lei Chen, Shiyong Lu, Jeffrey L. Ram	Compressed Pattern Matching in DNA Sequences.	CSB	2004	DBLP DOI BibTeX RDF
66	Richard S. Bird	Polymorphic string matching.	Haskell	2005	DBLP DOI BibTeX RDF	boyer-moore, knuth-morris-pratt, functional programming, string matching, program calculation
66	Yoshihiko Futamura, Zenjiro Konishi, Robert Glück	Automatic generation of efficient string matching algorithms by generalized partial computation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Boyer-Moore pattern matcher, Knuth-Morris-Pratt pattern matcher, naive pattern matcher, automatic program generation
66	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
66	Robert S. Boyer, Yuan Yu	Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.	CADE	1992	DBLP DOI BibTeX RDF	Nqthm, Boyer-Moore Theorem Prover, Gnu, Ada, C, Automated reasoning, object code, formal program verification
62	Petri Kalsi, Leena Salmela, Jorma Tarhio	Tuning Approximate Boyer-Moore for Gene Sequences.	SPIRE	2007	DBLP DOI BibTeX RDF
62	Milos Besta, Frank A. Stomp	Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm.	ICECCS	2002	DBLP DOI BibTeX RDF
62	Gonzalo Navarro 0001, Jorma Tarhio	Boyer-Moore String Matching over Ziv-Lempel Compressed Text.	CPM	2000	DBLP DOI BibTeX RDF
62	Yusuke Shibata, Tetsuya Matsumoto, Masayuki Takeda, Ayumi Shinohara, Setsuo Arikawa	A Boyer-Moore Type Algorithm for Compressed Pattern Matching.	CPM	2000	DBLP DOI BibTeX RDF
62	Paul Y. Gloess	An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions.	CADE	1980	DBLP DOI BibTeX RDF
62	Zvi Galil	On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm.	ICALP	1978	DBLP DOI BibTeX RDF
48	Chen Zhen, Wu Di	Improving Wu-Manber: A Multi-pattern Matching Algorithm.	ICNSC	2008	DBLP DOI BibTeX RDF
48	Milos Besta, Frank A. Stomp	A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	formal methods, pattern matching, theorem proving, PVS
48	Jussi Rautio, Jani Tanninen, Jorma Tarhio	String Matching with Stopper Encoding and Code Splitting.	CPM	2002	DBLP DOI BibTeX RDF
48	David M. Goldschlag	Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits.	CAV	1991	DBLP DOI BibTeX RDF
48	Warren A. Hunt Jr., Bishop Brock	The Verification of a Bit-slice ALU.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
48	Natarajan Shankar	A mechanical proof of the Church-Rosser theorem.	J. ACM	1988	DBLP DOI BibTeX RDF
48	Alan Bundy	The Use of Explicit Plans to Guide Inductive Proofs.	CADE	1988	DBLP DOI BibTeX RDF	inductive proofs, formal methods, planning, theorem proving, automatic programming, Proof plans
42	John R. Cowles, Ruben Gamboa	Unique factorization in ACL2: Euclidean domains.	ACL2	2006	DBLP DOI BibTeX RDF	Boyer-Moore logic, Euclidean domains, unique factorization, ACL2
42	Robert S. Boyer, Yuan Yu	Automated Proofs of Object Code for a Widely Used Microprocessor.	J. ACM	1996	DBLP DOI BibTeX RDF	Boyer-Moore logic, MC68xxx, Nqthm, program proving, formal methods, Ada, C, program verification, automated reasoning, Common Lisp, mechanical theorem proving, object code, machine code
38	Thierry Lecroq	A fast implementation of the good-suffix array for the Boyer-Moore string matching algorithm.	CoRR	2024	DBLP DOI BibTeX RDF
38	Yulong Li, Chenhao Li, Yang Jiao, Guogang Zhao, Yang Liu, Tian Zhang	Research on intrusion detection based on Boyer-Moore pattern matching algorithm.	EITCE	2023	DBLP DOI BibTeX RDF
38	Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek Cleophas	On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
38	Laet Laet Lin, Myat Thuzar Soe	Searching Process Using Boyer Moore Algorithm in Digital Library.	ICO	2020	DBLP DOI BibTeX RDF
38	Petros Papapanagiotou, Jacques D. Fleuriot	The Boyer-Moore Waterfall Model Revisited.	CoRR	2018	DBLP BibTeX RDF
38	Teh Faradilla Abdul Rahman, Alya Geogiana Buja, Kamarularifin Abd. Jalil, Fakariah Mohd Ali	SQL Injection Attack Scanner Using Boyer-Moore String Matching Algorithm.	J. Comput.	2017	DBLP DOI BibTeX RDF
38	Adrián Domínguez, Pedro P. Carballo, Antonio Núñez	Programmable SoC platform for deep packet inspection using enhanced Boyer-Moore algorithm.	ReCoSoC	2017	DBLP DOI BibTeX RDF
38	Masaki Waga, Takumi Akazaki, Ichiro Hasuo	A Boyer-Moore Type Algorithm for Timed Pattern Matching.	CoRR	2016	DBLP BibTeX RDF
38	Jens Allmer	Exact pattern matching: Adapting the Boyer-Moore algorithm for DNA searches.	PeerJ Prepr.	2016	DBLP DOI BibTeX RDF
38	Masaki Waga, Takumi Akazaki, Ichiro Hasuo	A Boyer-Moore Type Algorithm for Timed Pattern Matching.	FORMATS	2016	DBLP DOI BibTeX RDF
38	Nadia Ben Nsira, Thierry Lecroq, Mourad Elloumi	A fast Boyer-Moore type pattern matching algorithm for highly similar sequences.	Int. J. Data Min. Bioinform.	2015	DBLP DOI BibTeX RDF
38	Yosang Jeong, Myungho Lee, Dukyun Nam, Jik-Soo Kim, Soonwook Hwang	High performance parallelization of Boyer-Moore algorithm on many-core accelerators.	Clust. Comput.	2015	DBLP DOI BibTeX RDF
38	Yosang Jeong, Myungho Lee, Dukyun Nam, Jik-Soo Kim, Soonwook Hwang	High Performance Parallelization of Boyer-Moore Algorithm on Many-Core Accelerators.	ICCAC	2014	DBLP DOI BibTeX RDF
38	Domenico Cantone, Simone Faro, Emanuele Giaquinta	Adapting Boyer-Moore-like Algorithms for Searching Huffman Encoded Texts.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
38	Markus E. Nebel	Searching Texts - But Fast! The Boyer-Moore-Horspool Algorithm.	Algorithms Unplugged	2011	DBLP DOI BibTeX RDF
38	Kengo Terasawa, Toshio Kawashima, Yuzuru Tanaka	The Extended Boyer-Moore-Horspool Algorithm for Locality-Sensitive Pseudo-code.	VISAPP	2011	DBLP BibTeX RDF
38	Leena Salmela, Jorma Tarhio, Petri Kalsi	Approximate Boyer-Moore String Matching for Small Alphabets.	Algorithmica	2010	DBLP DOI BibTeX RDF
38	Mohssen M. Z. E. Mohammed, H. Anthony Chan, Neco Ventura, Mohsin Hashim, Izzeldin Amin	Zero-day Polymorphic Worms Detection Using A modified Boyer-Moore Algorithm.	Security and Management	2010	DBLP BibTeX RDF
38	Ateeq Sharfuddin, Xiaofan Feng	Improving Boyer-Moore-Horspool using machine-words for comparison.	ACM Southeast Regional Conference	2010	DBLP DOI BibTeX RDF
38	Zhengda Xiong	A Composite Boyer-Moore Algorithm for the String Matching Problem.	PDCAT	2010	DBLP DOI BibTeX RDF
38	Yang Wang	On the shift-table in Boyer-Moore's String Matching Algorithm.	J. Digit. Content Technol. its Appl.	2009	DBLP BibTeX RDF
38	Ricardo Baeza-Yates, Véronique Bruyère, Olivier Delgrange, Rodrigo Scheihing	On the size of Boyer-Moore automata.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
38	Shmuel T. Klein, Miri Kopel Ben-Nissan	Accelerating Boyer-Moore searches on binary texts.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
38	Domenico Cantone, Simone Faro, Emanuele Giaquinta	Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts.	Stringology	2009	DBLP BibTeX RDF
38	Markus E. Nebel	Texte durchsuchen - aber schnell! Der Boyer-Moore-Horspool Algorithmus.	Taschenbuch der Algorithmen	2008	DBLP DOI BibTeX RDF
38	Loek G. Cleophas, Bruce W. Watson	A Boyer-Moore-Horspool algorithm derivation.	South Afr. Comput. J.	2008	DBLP BibTeX RDF
38	Olivier Danvy, Henning Korsholm Rohde	On obtaining the Boyer-Moore string-matching algorithm by partial evaluation.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
38	Tsung-Hsi Tsai	Average case analysis of the Boyer-Moore algorithm.	Random Struct. Algorithms	2006	DBLP DOI BibTeX RDF
38	Domenico Cantone, Simone Faro	Fast-Search Algorithms: New Efficient Variants of the Boyer-Moore Pattern-Matching Algorithm.	J. Autom. Lang. Comb.	2005	DBLP DOI BibTeX RDF
38	Gonzalo Navarro 0001, Jorma Tarhio	LZgrep: a Boyer-Moore string matching tool for Ziv-Lempel compressed text.	Softw. Pract. Exp.	2005	DBLP DOI BibTeX RDF
38	Frank A. Stomp	Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
38	Bruce W. Watson, Richard E. Watson	A Boyer-Moore-style algorithm for regular expression pattern matching.	Sci. Comput. Program.	2003	DBLP DOI BibTeX RDF
38	Domenico Cantone, Simone Faro	Forward-Fast-Search: Another Fast Variant of the Boyer-Moore String Matching Algorithm.	Stringology	2003	DBLP BibTeX RDF
38	Robert T. Smythe	The Boyer-Moore-Horspool heuristic with Markovian input.	Random Struct. Algorithms	2001	DBLP DOI BibTeX RDF
38	José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos	Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover.	APPIA-GULP-PRODE	1999	DBLP BibTeX RDF
38	Yvonne Kallberg, Hans Jörnvall, Bengt Persson	Implementing the Boyer-Moore Algorithm.	German Conference on Bioinformatics	1998	DBLP BibTeX RDF
38	Hosam M. Mahmoud, Robert T. Smythe, Mireille Régnier	Analysis of Boyer-Moore-Horspool string-matching heuristic.	Random Struct. Algorithms	1997	DBLP DOI BibTeX RDF
38	Bruce W. Watson	A Boyer-Moore (or Watson-Watson) Type Algorithm for Regular Tree Pattern Matching.	Stringology	1997	DBLP BibTeX RDF
38	Matt Kaufmann, Paolo Pecchiari	Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem.	J. Autom. Reason.	1996	DBLP DOI BibTeX RDF
38	Tadao Takaoka	A Left-to-Right Preprocessing Computation for the Boyer-Moore String Matching Algorithm.	Comput. J.	1996	DBLP DOI BibTeX RDF
38	Nadia El-Mabrouk, Maxime Crochemore	Boyer-Moore Strategy to Efficient Approximate String Matching.	CPM	1996	DBLP DOI BibTeX RDF
38	David M. Russinoff	A Formalization of a Subset of VHDL in the Boyer-Moore Logic.	Formal Methods Syst. Des.	1995	DBLP DOI BibTeX RDF
38	Kenneth Kunen	A Ramsey Theorem in Boyer-Moore Logic.	J. Autom. Reason.	1995	DBLP DOI BibTeX RDF
38	Brenda S. Baker	Parameterized Pattern Matching by Boyer-Moore-Type Algorithms.	SODA	1995	DBLP DOI BibTeX RDF
38	Laurence Pierre	Describing and verifying synchronous circuits with the Boyer-Moore theorem prover.	CHARME	1995	DBLP DOI BibTeX RDF
38	Ricardo A. Baeza-Yates, Christian Choffrut, Gaston H. Gonnet	On Boyer-Moore Automata.	Algorithmica	1994	DBLP DOI BibTeX RDF
38	P. D. Smith	Short Communication: On Tuning the Boyer-Moore-Horspool String Searching Algorithm.	Softw. Pract. Exp.	1994	DBLP DOI BibTeX RDF
38	Richard Cole 0001	Tight Bounds on the Complexity of the Boyer-Moore String Matching Algorithm.	SIAM J. Comput.	1994	DBLP DOI BibTeX RDF
38	Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man	On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification.	Formal Methods Syst. Des.	1993	DBLP DOI BibTeX RDF
38	Debora Weber-Wulff	Proof Movie - A Proof with the Boyer-Moore Prover.	Formal Aspects Comput.	1993	DBLP DOI BibTeX RDF
38	Jorma Tarhio, Esko Ukkonen	Approximate Boyer-Moore String Matching.	SIAM J. Comput.	1993	DBLP DOI BibTeX RDF
38	Thierry Lecroq	A Variation on the Boyer-Moore Algorithm.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
38	Ricardo A. Baeza-Yates, Mireille Régnier	Average Running Time of the Boyer-Moore-Horspool Algorithm.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
38	Matt Kaufmann	An Extension of the Boyer-Moore Theorem Prover to Support First-Order Quantification.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
38	David M. Russinoff	A Verification System for Current Programs Based on the Boyer-Moore Prover.	Formal Aspects Comput.	1992	DBLP BibTeX RDF
38	Timo Raita	Tuning the Boyer-Moore-Horspool String Searching Algorithm.	Softw. Pract. Exp.	1992	DBLP DOI BibTeX RDF
38	Richard J. Boulton	Boyer-Moore Automation for the HOL System.	TPHOLs	1992	DBLP BibTeX RDF
38	Diederik Verkest, J. Vandenbergh, Luc J. M. Claesen, Hugo De Man	A Description Methodology for Parameterized Modules in the Boyer-Moore Logic.	TPCD	1992	DBLP BibTeX RDF
38	D. J. Kinniment, Albert Koelmans	Modelling and Verification of Timing Conditions with the Boyer Moore Prover.	TPCD	1992	DBLP BibTeX RDF
38	Richard Cole 0001	Tight Bounds on the Complexity of the Boyer-Moore String Matching Algorithm.	SODA	1991	DBLP DOI BibTeX RDF
38	Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man	Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.	TPHOLs	1991	DBLP BibTeX RDF
38	Christian Choffrut	An Optimal Algorithm for building the Boyer-Moore automaton.	Bull. EATCS	1990	DBLP BibTeX RDF
38	Ricardo A. Baeza-Yates, Gaston H. Gonnet, Mireille Régnier	Analysis of Boyer-Moore-Type String Searching Algorithms.	SODA	1990	DBLP DOI BibTeX RDF
38	Alexandre Bronstein	MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits.		1989	RDF
38	Robert Schaback	On the Expected Sublinearity of the Boyer-Moore Algorithm.	SIAM J. Comput.	1988	DBLP DOI BibTeX RDF
38	Matt Kaufmann	An Interactive Enhancement to the Boyer-Moore Theorem Prover.	CADE	1988	DBLP DOI BibTeX RDF