检索结果-内蒙古大学图书馆

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

ISBN: (纸本)9781479929719

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 intelligent systems, can potentially be improved using the parallel programming constructs offered by these platforms (e.g., OpenMP, Cilk++, etc.). In this work we use cilk++ to implement a parallel bottom-up resolution algorithm, and study how different parallel programming constructs affect its performance. Our experimental results show that a careful cilk++ implementation of the algorithm can lead to significant speedup w.r.t. its traditional serial implementation.

关键词： parallel logic programming parallel Resolution Algorithm Bottom-up Reasoning

来源：评论

学校读者我要写书评

暂无评论

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 varying two different tunable parameters in a single gene network. Furthermore, in order to obtain more logic operations, thus providing additional information processing capacity, we obtain in a two-dimensional toggle switch model two complementary logic gates and realize the transformation between two logic gates via the methods of changing different parameters. These simulated results contribute to improve the computational power and functionality of the networks.

关键词： parallel logic programming logic circuits GENE regulatory networks RANDOM noise theory STOCHASTIC resonance INFORMATION processing TRANSFORMATIONS (Mathematics)

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783642177958

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 programs resemble the inductive or coinductive definitions written in functional programming languages. In this paper, we give a coalgebraic semantics to logic programming. We show that ground logic programs can be modelled by either P-f P-f-coalgebras or P-f List-coalgebras on Set. We analyse different kinds of derivation strategies and derivation trees (proof-trees, SLD-trees, and-or parallel trees) used in logic programming, and show how they can be modelled coalgebraically.

关键词： logic programming SLD-resolution parallel logic programming Coalgebra Coinduction

来源：评论

学校读者我要写书评

暂无评论

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 succeeded only in a few application areas such as dense matrix computations. In particular, auto-parallelization of irregular programs, which are organized around large, pointer-based data structures like graphs, has seemed intractable. The Galois project is taking a fresh look at auto-parallelization. Rather than attempt to parallelize all programs no matter how obscurely they are written, we are designing programming abstractions that permit programmers to highlight opportunities for exploiting parallelism in sequential programs, and building a runtime system that uses these hints to execute the program in parallel. In this paper, we describe the design and implementation of a system based on these ideas. Experimental results for two real-world irregular applications, a Delaunay mesh refinement application and a graphics application that performs agglomerative clustering, demonstrate that this approach is promising.

关键词： Data structures (Computer science) Computer algorithms Data mining parallel logic programming Abstract thought Microprocessors Computer logic Software architecture Sequential processing (Computer science) Program transformation (Computer programming) Computer graphics software Abstract data types (Computer science) Java (Computer program language) Data parsing

来源：评论

学校读者我要写书评

暂无评论

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 allowing programmers to increased the speeds of applications, the author states. Topics of discussion include multiple paths of execution having to work together to complete tasks, attempting to split a computer program into multiple pieces that can be executed in parallel, and the controlled fashion required to write access to shared data.

关键词： parallel programming (Computer science) MOTHERBOARDS (Microcomputers) MEMORY management (Computer science) COMPUTER programming parallel logic programming parallel processing (Electronic computers)

来源：评论

学校读者我要写书评

暂无评论

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 different types of implicit parallelism. Most PLP systems have been developed for bus-based architectures. However, the complexity of PLP systems and the large amount of data they process raise the question of whether logic programming systems can still achieve good performance on modern scalable architectures, such its distributed shared-memory (DSM) systems. In this work we use execution-driven simulation of a cache-coherent DSM architecture to investigate the performance of Andorra-I, a state-of-the-art PLP system, on a modern multiprocessor. The results of this simulation show that Andorra-I exhibits reasonable running time performance. bat it does not scale well. Our detailed analysis of cache misses and their sources expose several opportunities for improvements in Andorra-I. Based on this analysis, we modify Andorra-I using a set of simple techniques that led to significantly better running time and scalability. These results suggest that Andorra-I can and should perform well on modern multiprocessors. Furthermore, as Andorra-I shares its main data structures with several PLP systems, we conclude that the methodology and techniques used in our work can greatly benefit those other PLP systems. (C) 2000 Academic Press.

关键词： DSM architectures parallel logic programming

来源：评论

学校读者我要写书评

暂无评论

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 with a secondary source emerging as a consequence of the Independent AND parallelism: the producer/consumer parallelism. The efficiency is derived from the use of ordered structures for managing the information generated throughout the search process. The model is suitable for evaluating programs with a high degree of non-determinism because it never generates two processes for solving the same subgoal and hence it can exploit the same real parallelism generating a lower number of processes than other models. As an application example, we consider the Job Shop Scheduling problem. We report experimental results showing that logic programs can be designed that exhibit parallelism, and that the use of heuristic information translates into speedup in obtaining answers.

关键词： parallel logic programming ordered structures heuristics problem solving

来源：评论

学校读者我要写书评

暂无评论

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 machines called parallel inference machines (PIMs) consisting of about 1000 element processors but also used as a system description language to develop basic software such as a parallel operating system (PIMOS), and symbolic processing and knowledge processing application systems such as knowledge description languages, a parallel theorem prover, and a protein sequence analysis program. It achieved great success in exploiting of parallelism involved in several important application systems. The prototype of the FGCS attained a linear speed-up that was proportional to the number of processing elements (PEs) for the application systems we had targeted. The MGTP parallel theorem prover was one of such application systems, and can prove theorems based on full first-order logic. Thus, it indicates the possibility of designing a new practical knowledge representation language whose expressive power will be much greater than that of conventional ones. In the FGCS follow-on project, KL1 and its programming system were ported to Unix-based stock parallel machines. This new system called KLIC is expected to greatly extend the use of highly parallel systems. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： FGCS project parallel logic programming parallel inference knowledge processing theorem proving

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)0769515738

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 significant weaknesses of Prolog. Namely, it can guarantee termination for programs with the bounded term-size property. Tabled programs exhibit a more complex execution mechanism than traditional Prolog's left-to-right search with backtracking. The reason is that Prolog programs are highly recursive and generate multiple answers. This rather involved execution mechanism requires a more complex implementation than traditional Prolog. The declarative nature of tabled logic programming suggests that it might be amenable to parallel execution. On the other hand, the complexity of the tabling mechanism, and the existence of a shared resource, the table, argues that parallelism might be limited, and that performance for real applications might never scale. In this work we prove that parallel tabling is indeed scalable for real applications by experimenting the OPTYap parallel tabled system on a scalable shared-memory machine. © 2002 IEEE.

关键词： parallel logic programming Tabling

来源：评论

学校读者我要写书评

暂无评论

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 for the subgoals of the query were independent each one to the others and hence they can be evaluated in parallel. To represent the partial ordering so that an efficient strategy to join partial solutions from the subgoals can be obtained, we introduce a structure named the Data Flow Lattice. ne problem of determining the optimum partial ordering is proved to be NP-hard, therefore we propose an heuristic algorithm that requires polynomial time in the number of literals and variables of the query. We add also an illustrative example of the algorithm performance.

关键词： parallel logic programming independent AND parallelism Data Flow Lattice

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：