OR-PARALLEL EXECUTION MODELS OF PROLOG

被引：0
|
作者：
WARREN, DHD
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 250卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：243 / 259
页数：17
相关论文
共 50 条
  • [1] Algebraic computational models of OR-parallel execution of Prolog
    Barbuti, R
    DeFrancesco, N
    Santone, A
    [J]. ACTA INFORMATICA, 1997, 34 (06) : 449 - 489
  • [2] Algebraic computational models of OR-parallel execution of Prolog
    R. Barbuti
    N. De Francesco
    A. Santone
    [J]. Acta Informatica, 1997, 34 : 449 - 489
  • [3] OR-PARALLEL EXECUTION OF PROLOG ON A MULTI-SEQUENTIAL MACHINE
    ALI, KAM
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (03) : 189 - 214
  • [4] PALS: Efficient or-parallel execution of Prolog on Beowulf clusters
    Pontelli, Enrico
    Villaverde, Karen
    Guo, Hai-Feng
    Gupta, Gopal
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2007, 7 (06) : 633 - 695
  • [5] ANALYSIS OF OR-PARALLEL EXECUTION MODELS
    GUPTA, G
    JAYARAMAN, B
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (04): : 659 - 680
  • [6] OR-PARALLEL PROLOG IN FLAT CONCURRENT PROLOG
    SHAPIRO, E
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (03): : 243 - 267
  • [7] THE MUSE APPROACH TO OR-PARALLEL PROLOG
    ALI, KAM
    KARLSSON, R
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1990, 19 (02) : 129 - 162
  • [8] THE AURORA OR-PARALLEL PROLOG SYSTEM
    LUSK, E
    BUTLER, R
    DISZ, T
    OLSON, R
    OVERBEEK, R
    STEVENS, R
    WARREN, DHD
    CALDERWOOD, A
    SZEREDI, P
    HARIDI, S
    BRAND, P
    CARLSSON, M
    CIEPIELEWSKI, A
    HAUSMAN, B
    [J]. NEW GENERATION COMPUTING, 1990, 7 (2-3) : 243 - 271
  • [9] OR-PARALLEL PROLOG WITH HEURISTIC TASK DISTRIBUTION
    FOONG, WK
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 193 - 200
  • [10] OR-PARALLEL PROLOG ON SHARED MEMORY MULTIPROCESSORS
    CIEPIELEWSKI, A
    HARIDI, S
    HAUSMAN, B
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1989, 7 (02): : 125 - 147
12345