咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
A parallel Bottom-Up Resolution Algorithm Using Cilk
A Parallel Bottom-Up Resolution Algorithm Using Cilk
收藏 引用
25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: Basseda, Reza Chowdhury, Rezaul Alam SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA
Rapid developments of multicore processors in the last ten years have accelerated the advancements in concurrency platforms. Performance of bottom-up resolution algorithms used in logic programming and artificial inte... 详细信息
来源: 评论
parallel logic gates in synthetic gene networks induced by non-Gaussian noise
收藏 引用
Physical Review E 2013年 第5期88卷 052721-052721页
作者: Yong Xu Xiaoqin Jin Huiqing Zhang Department of Applied Mathematics Northwestern Polytechnical University Xi'an 710072 China
The recent idea of logical stochastic resonance is verified in synthetic gene networks induced by non-Gaussian noise. We realize the switching between two kinds of logic gates under optimal moderate noise intensity by... 详细信息
来源: 评论
Coalgebraic Semantics for parallel Derivation Strategies in logic programming
Coalgebraic Semantics for Parallel Derivation Strategies in ...
收藏 引用
13th International Conference on Algebraic Methodology and Software Technology
作者: Komendantskaya, Ekaterina McCusker, Guy Power, John Univ Dundee Dept Comp Dundee DD1 4HN Scotland Univ Bath Dept Comp Sci Bath England
logic programming, a class of programming languages based on first-order logic, provides simple and efficient tools for goal-oriented proof-search. logic programming supports recursive computations, and some logic pro... 详细信息
来源: 评论
Optimistic parallelism Requires Abstractions
收藏 引用
COMMUNICATIONS OF THE ACM 2009年 第9期52卷 89-97页
作者: Kulkarni, Milind Pingali, Keshav Walter, Bruce Ramanarayanan, Ganesh Bala, Kavita Chew, L. Paul Univ Texas Austin Austin TX 78712 USA Cornell Univ Ithaca NY USA
The problem of writing software for multicore processors is greatly simplified if we could automatically parallelize sequential programs. Although auto-parallelization has been studied for many decades, it has succeed... 详细信息
来源: 评论
parallel programming with Transactional Memory
收藏 引用
COMMUNICATIONS OF THE ACM 2009年 第2期52卷 38-43页
作者: Drepper, Ulrich Red Hat
The article discusses the manner in which transactional memory can ease parallel computer programming. The increased number of execution units, or CPU (Central Processing Unit) cores, provided by CPU manufacturers is ... 详细信息
来源: 评论
parallel logic programming systems on scalable architectures
收藏 引用
JOURNAL OF parallel AND DISTRIBUTED COMPUTING 2000年 第7期60卷 835-852页
作者: Costa, VS Bianchini, R Dutra, ID Univ Fed Rio de Janeiro Dept Syst Engn & Comp Sci Rio De Janeiro Brazil
parallel logic programming (PLP) systems are sophisticated examples of symbolic computing systems. PLP systems address problems such as allocating dynamic memory, scheduling irregular computations, and managing differ... 详细信息
来源: 评论
parallel logic programming for problem solving
收藏 引用
INTERNATIONAL JOURNAL OF parallel programming 2000年 第3期28卷 275-319页
作者: Arias, RV Vela, CR Peinador, JP González, CA Univ Oviedo Ctr Inteligencia Artificial E-33271 Gijon Spain
We present a new model for parallel evaluation of logic programs. This model can exploit the main sources of parallelism that the language of logic expresses: Independent AND parallelism and OR parallelism, together w... 详细信息
来源: 评论
The parallel logic programming system in the FGCS project and its future directions
收藏 引用
parallel COMPUTING 1999年 第13-14期25卷 1601-1633页
作者: Uchida, S Aiba, A Rokusawa, K Chikayama, T Hasegawa, R Res Inst Adv Informat Technol Minato Ku Tokyo 1050014 Japan Univ Tokyo Bunkyo Ku Tokyo 113 Japan Kyushu Univ Kasuga Fukuoka 816 Japan
In the fifth generation computer systems (FGCS) project, a parallel logic programming language, KL1, was adopted as the project's kernel language. It was not only used to determine architectures of highly parallel... 详细信息
来源: 评论
Achieving scalability in parallel tabled logic programs  16
Achieving scalability in parallel tabled logic programs
收藏 引用
16th International parallel and Distributed Processing Symposium, IPDPS 2002
作者: Rocha, R. Silva, F. Costa, V.S. DCC-FC LIACC Universidade do Porto Portugal COPPE Systems Universidade do Rio de Janeiro Brazil
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming because it addresses some of the most signi... 详细信息
来源: 评论
Ordered structures for parallel rule-based computations
收藏 引用
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS 2001年 第4期78卷 499-520页
作者: Alonso, CL Vela, CR Varela, R Puente, J Univ Oviedo Ctr Inteligencia Artificial Oviedo Spain
In this paper we present an effective strategy to compute a partial order relation among the literals of a query given by a conjuction of first order literals. This ordering expresses sufficient conditions in order fo... 详细信息
来源: 评论