TERM MATCHING ON A MESH-CONNECTED ARRAY OF PROCESSORS

被引：0
|
作者：
DELCHER, AL [1 ]
KASIF, S [1 ]
机构：
[1] JOHNS HOPKINS UNIV,DEPT COMP SCI,BALTIMORE,MD 21218
来源：
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 1995年 / 14卷 / 2-4期
关键词：
D O I：
10.1007/BF01530819
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we present a parallel algorithm for term matching of logical terms on a mesh-connected array of processors. Term matching is a special case of unification in which one of the terms is fully ground, i.e. contains no variables. Term matching is a fundamental computational primitive in automated reasoning and has wide applicability to logic programming and symbolic pattern matching. Our algorithm runs in O(root N) time on a root N x root N two-dimensional mesh-connected array of processors.
引用
收藏
页码：177 / 186
页数：10
相关论文
共 50 条
  • [41] ALLOCATING PRECISE SUBMESHES IN MESH-CONNECTED SYSTEMS
    CHUANG, PJ
    TZENG, NF
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1994, 5 (02) : 211 - 217
  • [42] Fast reconfiguring mesh-connected VLSI arrays
    Wu, JG
    Srikanthan, T
    2004 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 2, PROCEEDINGS, 2004, : 949 - 952
  • [43] Distributed processor allocation in mesh-connected multicomputers
    De Rose, CAF
    Navaux, PAO
    Geyer, CR
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 1191 - 1197
  • [44] LOWER BOUNDS FOR SORTING ON MESH-CONNECTED ARCHITECTURES
    KUNDE, M
    ACTA INFORMATICA, 1987, 24 (02) : 121 - 130
  • [45] NEAREST NEIGHBOR PROBLEMS ON A MESH-CONNECTED COMPUTER
    ELMESBAHI, J
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (05): : 1199 - 1204
  • [46] THE GENERALIZED HOUGH TRANSFORM ON MESH-CONNECTED COMPUTERS
    FERRETTI, M
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1993, 19 (01) : 51 - 57
  • [47] PARALLEL GEOMETRIC ALGORITHMS ON A MESH-CONNECTED COMPUTER
    JEONG, CS
    LEE, DT
    ALGORITHMICA, 1990, 5 (02) : 155 - 177
  • [48] PROCESSING BORDER CODES ON A MESH-CONNECTED COMPUTER
    HUNG, YB
    ROSENFELD, A
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1990, 10 (01) : 18 - 28
  • [49] Fair optimization of mesh-connected WLAN hotspots
    Dely, Peter
    D'Andreagiovanni, Fabio
    Kassler, Andreas
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2015, 15 (05): : 924 - 946
  • [50] A performance modeling technique for mesh-connected multicomputers
    Yoo, BS
    Das, CR
    Kim, J
    1997 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 408 - 413
12345