咨询与建议

限定检索结果

文献类型

  • 15 篇 期刊文献
  • 6 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 19 篇 工学
    • 17 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 网络空间安全
  • 4 篇 理学
    • 3 篇 数学
    • 1 篇 物理学

主题

  • 21 篇 parallel logic p...
  • 3 篇 and-parallelism
  • 2 篇 logic programmin...
  • 1 篇 memory managemen...
  • 1 篇 environment repr...
  • 1 篇 termination
  • 1 篇 fgcs project
  • 1 篇 theorem proving
  • 1 篇 abstract data ty...
  • 1 篇 program transfor...
  • 1 篇 implementation o...
  • 1 篇 sequence control...
  • 1 篇 dsm architecture...
  • 1 篇 parallel inferen...
  • 1 篇 independent and ...
  • 1 篇 theory of substi...
  • 1 篇 problem solving
  • 1 篇 sld-resolution
  • 1 篇 sequential proce...
  • 1 篇 coalgebra

机构

  • 1 篇 univ politecn ma...
  • 1 篇 univ oviedo ctr ...
  • 1 篇 univ. politécnic...
  • 1 篇 tata inst fundam...
  • 1 篇 univ. of califor...
  • 1 篇 ctr math & comp ...
  • 1 篇 univ dundee dept...
  • 1 篇 univ bristol dep...
  • 1 篇 univ oviedo ctr ...
  • 1 篇 research & devel...
  • 1 篇 suny albany dept...
  • 1 篇 technion israel ...
  • 1 篇 department of el...
  • 1 篇 univ bath dept c...
  • 1 篇 department of ap...
  • 1 篇 univ tokyo bunky...
  • 1 篇 new mexico state...
  • 1 篇 dcc-fc liacc uni...
  • 1 篇 cornell univ ith...
  • 1 篇 cnuce-cnr via sa...

作者

  • 2 篇 gupta g
  • 2 篇 costa vs
  • 2 篇 vela cr
  • 1 篇 harsat a
  • 1 篇 rocha r.
  • 1 篇 pontelli e
  • 1 篇 chew l. paul
  • 1 篇 ginosar r
  • 1 篇 barney gc
  • 1 篇 gregory s
  • 1 篇 yong xu
  • 1 篇 chowdhury rezaul...
  • 1 篇 chikayama t
  • 1 篇 ramanarayanan ga...
  • 1 篇 komendantskaya e...
  • 1 篇 pingali keshav
  • 1 篇 walter bruce
  • 1 篇 mccusker guy
  • 1 篇 shyamasundar rk
  • 1 篇 arias rv

语言

  • 18 篇 英文
  • 3 篇 其他
检索条件"主题词=Parallel Logic Programming"
21 条 记 录,以下是11-20 订阅
排序:
An experiment for truly parallel logic programming
收藏 引用
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS 1996年 第2期16卷 169-184页
作者: Efthivoulidis, G Vlassis, N Tsanakas, P Papakonstantinou, G Department of Electrical and Computer Engineering National Technical University of Athens Zografou Campus GR-15773 Athens Greece
A truly parallel logic programming system is proposed. The system is based on the commercially available parallel logic programming language STRAND, which has been extended in order to overcome the inherent limitation... 详细信息
来源: 评论
Proving termination of GHC programs
收藏 引用
NEW GENERATION COMPUTING 1997年 第3期15卷 293-338页
作者: Rao, MRKK Kapur, D Shyamasundar, RK TATA INST FUNDAMENTAL RES COMP SCI GRPBOMBAY 400005MAHARASHTRAINDIA SUNY ALBANY DEPT COMP SCIALBANYNY 12222
A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed;it exploits the fact that unif... 详细信息
来源: 评论
Relating data-parallelism and (and-) parallelism in logic programs
收藏 引用
COMPUTER LANGUAGES 1996年 第2-3期22卷 143-163页
作者: Hermenegildo, MV Carro, M UNIV POLITECN MADRID FAC INFORMAT BOADILLA DEL MONTE 28660 MADRID SPAIN
Much work has been done in the areas of and-parallelism and data-parallelism in logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types of parallelism offer advantages and dis... 详细信息
来源: 评论
Nested parallel call optimization
Nested parallel call optimization
收藏 引用
10th International parallel Processing Symposium (IPPS 96)
作者: Pontelli, E Gupta, G NEW MEXICO STATE UNIV LAB LOG DATABASES & ADV PROGRAMMINGLAS CRUCESNM 88003
We present a novel optimization called Last parallel Call Optimization (LPCO) for parallel systems. The last parallel call optimization can be regarded as a parallel extension of last call optimization found in sequen... 详细信息
来源: 评论
OPTIMAL IMPLEMENTATION OF AND-OR-parallel-PROLOG
收藏 引用
FUTURE GENERATION COMPUTER SYSTEMS 1994年 第1期10卷 71-92页
作者: GUPTA, G COSTA, VS UNIV BRISTOL DEPT COMP SCIBRISTOL BS8 1TRAVONENGLAND
Most models that have been proposed, or implemented, so far for exploiting both or-parallelism and independent and-parallelism have only considered pure logic programs (pure Prolog). We present an abstract model, call... 详细信息
来源: 评论
NEGATION IN CONCLOG  1st
NEGATION IN CONCLOG
收藏 引用
1ST INTERNATIONAL CONF ON parallel COMPUTATION
作者: JACQUET, JM CTR MATH & COMP SCI 1009 AB AMSTERDAMNETHERLANDS
This paper presents a new constructive form of the negation-as-failure rule dedicated to concurrent executions and, based on it, a parallel execution model of general Horn clauses. Referring to the completion understa... 详细信息
来源: 评论
A TECHNIQUE FOR RECURSIVE INVARIANCE DETECTION AND SELECTIVE PROGRAM SPECIALIZATION  3rd
A TECHNIQUE FOR RECURSIVE INVARIANCE DETECTION AND SELECTIVE...
收藏 引用
3RD INTERNATIONAL SYMP ON programming LANGUAGE IMPLEMENTATION AND logic programming ( PLILP 91 )
作者: GIANNOTTI, F HERMENEGILDO, M CNUCE-CNR Via Santa Maria 36 Pisa 56100 Italy Univ. Politécnica de Madrid (UPM) Facultad de Informática Boadilla del Monte 28660 Madrid Spain
This paper presents a technique for achieving a class of optimizations related to the reduction of checks within cycles. The technique uses both Program Transformation and Abstract Interpretation. After a first pass o... 详细信息
来源: 评论
CARMEL-2 - A 2ND GENERATION VLSI ARCHITECTURE FOR FLAT CONCURRENT PROLOG
收藏 引用
NEW GENERATION COMPUTING 1990年 第2-3期7卷 197-218页
作者: HARSAT, A GINOSAR, R TECHNION ISRAEL INST TECHNOL DEPT COMP SCIIL-32000 HAIFAISRAEL
CARMEL-2 is a high performance VLSI uniprocessor, tuned forFlat Concurrent Prolog (FCP). CARMEL-2 shows almost 5-fold speedup over its predecessor, CARMEL-1, and it achieves 2,400 KLIPS executingappend. This high exec... 详细信息
来源: 评论
AN ABSTRACT MACHINE FOR THE IMPLEMENTATION OF PARLOG ON UNIPROCESSORS
收藏 引用
NEW GENERATION COMPUTING 1989年 第4期6卷 389-420页
作者: GREGORY, S FOSTER, IT BURT, AD RINGWOOD, GA 1. PARLOG Group Department of Computing Imperial College 180 Queen’s Gate SW7 2BZ London England
An abstract machine that supports the parallel logic programming language PARLOG is presented. This abstract machine is designed for the efficient execution of PARLOG on conventional uniprocessors and is thus named th... 详细信息
来源: 评论
A DATA-DRIVEN MODEL FOR A SUBSET OF logic programming
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1987年 第4期9卷 618-645页
作者: BIC, L LEE, C Univ. of California Irvine Univ. of California Irvine
There is a direct correspondence between semantic networks and a subset of logic programs, restricted only to binary predicates. The advantage of the latter is that it can describe not only the nodes and arcs comprisi... 详细信息
来源: 评论