咨询与建议

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...

主题

  • 4 篇 and/or process m...
  • 2 篇 and parallelism
  • 2 篇 backward executi...
  • 2 篇 parallel evaluat...
  • 1 篇 competition mode...
  • 1 篇 data dependency ...
  • 1 篇 nested loop mode...
  • 1 篇 logic programmin...
  • 1 篇 and-parallelism
  • 1 篇 logic programs
  • 1 篇 path
  • 1 篇 multiple failure
  • 1 篇 mark(s) set
  • 1 篇 intelligent back...
  • 1 篇 applicative (log...

机构

  • 1 篇 sungshin womens ...
  • 1 篇 korea inst sci &...
  • 1 篇 department of co...
  • 1 篇 1. artificial in...

作者

  • 1 篇 choe km
  • 1 篇 lee sh
  • 1 篇 park ci
  • 1 篇 kumar v
  • 1 篇 do-hyung kim
  • 1 篇 kim dh
  • 1 篇 kwang-moo choe
  • 1 篇 lin yj
  • 1 篇 park kh
  • 1 篇 kim m
  • 1 篇 taisook han

语言

  • 4 篇 英文
检索条件"主题词=AND/OR Process Model"
4 条 记 录,以下是1-10 订阅
排序:
EFFICIENT BACKWARD EXECUTION IN AND OR process model
收藏 引用
INFORMATION processING LETTERS 1988年 第4期29卷 191-198页
作者: PARK, CI PARK, KH KIM, M KOREA INST SCI & TECHNOL DEPT ELECT ENGN SEOUL 130650 SOUTH KOREA
A method of generating n-tuples for a clause with n-variables as its argument under the and/or process model (Conery, 1983) of logic programs is investigated. The and/or process model employs the nested loop model, w... 详细信息
来源: 评论
PATH FOR AND-PARALLEL EXECUTION OF LOGIC PROGRAMS
收藏 引用
INFORMATION processING LETTERS 1994年 第4期52卷 191-199页
作者: LEE, SH KIM, DH CHOE, KM SUNGSHIN WOMENS UNIV DEPT COMP SCISEOUL 136742SOUTH KOREA
An efficient backward execution method for AND-parallelism in logic programs is proposed. It is devised through a close examination of some relation over literals, which can be represented by paths in the data depende... 详细信息
来源: 评论
AN EXECUTION model FOR EXPLOITING AND-PARALLELISM IN LOGIC PROGRAMS
收藏 引用
NEW GENERATION COMPUTING 1988年 第4期5卷 393-425页
作者: LIN, YJ KUMAR, V 1. Artificial Intelligence Laboratory Department of Computer Sciences The University of Texas at Austin 78712 Austin Texas USA
This paper presents a parallel execution model for exploiting AND-parallelism in Horn Clause logic programs. The model is based upon the generator-consumer approach, and can be implemented efficiently with small run-t... 详细信息
来源: 评论
REFINED MARK(S)-SET-BASED BACKTRACK LITERAL SELECTION FOR AND PARALLELISM IN LOGIC PROGRAMS
收藏 引用
Parallel processing Letters 1992年 第1期2卷 71-79页
作者: DO-HYUNG KIM KWANG-MOO CHOE TAISOOK HAN Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusung-Dong Yusung-Gu Taejon 305-701 Republic of Korea
Recently Conery proposed a backward execution algorithm for AND-parallel execution of logic programs, and Ng and Leung extended it. They adopt the same data structure called mark(s) set to store information about fail... 详细信息
来源: 评论