AN INTERACTIVE ENHANCEMENT TO THE BOYER-MOORE THEOREM PROVER

被引：0
|
作者：
KAUFMANN, M [1 ]
机构：
[1] COMPUTAT LOG INC,AUSTIN,TX 78703
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 310卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：735 / 736
页数：2
相关论文
共 50 条
  • [41] TIGHT BOUNDS ON THE COMPLEXITY OF THE BOYER-MOORE STRING-MATCHING ALGORITHM
    COLE, R
    SIAM JOURNAL ON COMPUTING, 1994, 23 (05) : 1075 - 1091
  • [42] FASTER STRING SEARCHES - BOYER-MOORE MAY BE THE ALGORITHM YOU NEED
    MENICO, C
    DR DOBBS JOURNAL, 1989, 14 (07): : 74 - 75
  • [43] ON IMPROVING THE AVERAGE CASE OF THE BOYER-MOORE STRING MATCHING ALGORITHM.
    Zhu Rui Feng
    Takaoka, Tadao
    Journal of information processing, 1987, 10 (03) : 173 - 177
  • [44] 对Boyer-Moore模式匹配算法的优化研究
    庄彦
    王勇
    重庆三峡学院学报, 2016, 32 (03) : 38 - 42
  • [45] On obtaining the Boyer-Moore string-matching algorithm by partial evaluation
    Danvy, Olivier
    Rohde, Henning Korsholm
    INFORMATION PROCESSING LETTERS, 2006, 99 (04) : 158 - 162
  • [46] High performance parallelization of Boyer-Moore algorithm on many-core accelerators
    Jeong, Yosang
    Lee, Myungho
    Nam, Dukyun
    Kim, Jik-Soo
    Hwang, Soonwook
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2015, 18 (03): : 1087 - 1098
  • [47] Searching BWT compressed text with the Boyer-Moore algorithm and binary search
    Bell, T
    Powell, M
    Mukherjee, A
    Adjeroh, D
    DCC 2002: DATA COMPRESSION CONFERENCE, PROCEEDINGS, 2002, : 112 - 121
  • [48] High Performance Parallelization of Boyer-Moore Algorithm on Many-Core Accelerators
    Jeong, Yosang
    Lee, Myungho
    Nam, Dukyun
    Kim, Jik-Soo
    Hwang, Soonwook
    2014 INTERNATIONAL CONFERENCE ON CLOUD AND AUTONOMIC COMPUTING (ICCAC 2014), 2014, : 265 - 272
  • [49] Boyer-Moore string matching over Ziv-Lempel compressed text
    Navarro, G
    Tarhio, J
    COMBINATORIAL PATTERN MATCHING, 2000, 1848 : 166 - 180
  • [50] Left-to-right preprocessing computation for the Boyer-Moore string matching algorithm
    Ibaraki Univ, Ibaraki, Japan
    Comput J, 5 (413-416):
12345