PARALLEL UNIFICATION - THEORY AND IMPLEMENTATIONS

被引：0
|
作者：
SIBAI, FN
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 590卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This Chapter deals with parallel unification architectures and algorithms. We show how parallel unification can be exploited and we review a parallel unification algorithm. Static scheduling, binding environment, and memory representation of terms are also discussed. Finally, we review some of the parallel unification projects.
引用
收藏
页码：51 / 81
页数：31
相关论文
共 50 条
  • [1] Parallel Implementations of CHAM
    Seo, Hwajeong
    An, Kyuhwang
    Kwon, Hyeokdong
    Park, Taehwan
    Hu, Zhi
    Kim, Howon
    [J]. INFORMATION SECURITY APPLICATIONS, WISA 2018, 2019, 11402 : 93 - 104
  • [2] A PARALLEL UNIFICATION MACHINE
    SIBAI, FN
    WATSON, KL
    LU, M
    [J]. IEEE MICRO, 1990, 10 (04) : 21 - 33
  • [3] ON PARALLEL UNIFICATION FOR PROLOG
    HARLAND, J
    JAFFAR, J
    [J]. NEW GENERATION COMPUTING, 1987, 5 (03) : 259 - 279
  • [4] Parallel Implementations of the PEEC Method
    Daroui, Danesh
    Ekanan, Jonas
    [J]. APPLIED COMPUTATIONAL ELECTROMAGNETICS SOCIETY JOURNAL, 2010, 25 (05): : 410 - 422
  • [5] Parallel Implementations of LEA, Revisited
    Seo, Hwajeong
    Park, Taehwan
    Heo, Shinwook
    Seo, Gyuwon
    Bae, Bongjin
    Hu, Zhi
    Zhou, Lu
    Nogami, Yasuyuki
    Zhu, Youwen
    Kim, Howon
    [J]. INFORMATION SECURITY APPLICATIONS, WISA 2016, 2017, 10144 : 318 - 330
  • [6] Parallel implementations of streamline simulators
    Gerritsen, Margot G.
    Loef, Henrik
    Thiele, Marco R.
    [J]. COMPUTATIONAL GEOSCIENCES, 2009, 13 (01) : 135 - 149
  • [7] IMPLEMENTATIONS OF BLAST FOR PARALLEL COMPUTERS
    JULICH, A
    [J]. COMPUTER APPLICATIONS IN THE BIOSCIENCES, 1995, 11 (01): : 3 - 6
  • [8] UNIFICATION THEORY
    BAADER, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 572 : 151 - 170
  • [9] PARALLEL IMPLEMENTATIONS OF BROYDEN METHOD
    GOMES, FAM
    MARTINEZ, JM
    [J]. COMPUTING, 1992, 47 (3-4) : 361 - 366
  • [10] Parallel Implementations of SIMON and SPECK
    Park, Taehwan
    Seo, Hwajeong
    Kim, Howon
    [J]. 2016 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON), 2016,
12345