A Parallel Execution Model for Prolog
Author: Barry S. Fagin
Publisher:
Published: 1987
Total Pages: 584
ISBN-13:
DOWNLOAD EBOOKPosts
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
Author: Joachim Beer
Publisher: Springer Science & Business Media
Published: 1989-12-13
Total Pages: 140
ISBN-13: 9783540520535
DOWNLOAD EBOOKThis monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author shows how even fully deterministic Prolog programs can be effectively mapped onto the proposed architecture. The design is based on a highly optimized abstract Prolog specific instruction set. A special feature of this work is a sophisticated classification scheme for Prolog variables which substantially reduces the overhead for unification with occur-check. To support the model an architecture consisting of a circular pipeline of independent processors has been designed. This pipeline has been designed to work as a co-processor to a UNIX based workstation. In contrast to other attempts to execute sequential Prolog in parallel, the proposed model does not restrict the use of any of the standard Prolog language features. The book gives a full account of the execution model, the system architecture, and the abstract Prolog instruction set.
Constraint Handling Rules
Author: Thom Frühwirth
Publisher: Cambridge University Press
Published: 2009-07-09
Total Pages: 321
ISBN-13: 0521877768
DOWNLOAD EBOOKThe definitive reference on Constraint Handling Rules, from the creator of the language.
PARLE '94 Parallel Architectures and Languages Europe
Author: Costas Halatsis
Publisher: Springer Science & Business Media
Published: 1994-06-08
Total Pages: 860
ISBN-13: 9783540581840
DOWNLOAD EBOOKThis volume presents the proceedings of the 5th International Conference Parallel Architectures and Languages Europe (PARLE '94), held in Athens, Greece in July 1994. PARLE is the main Europe-based event on parallel processing. Parallel processing is now well established within the high-performance computing technology and of stategic importance not only to the computer industry, but also for a wide range of applications affecting the whole economy. The 60 full papers and 24 poster presentations accepted for this proceedings were selected from some 200 submissions by the international program committee; they cover the whole field and give a timely state-of-the-art report on research and advanced applications in parallel computing.
Parallel Execution of Logic Programs
Author: Anthony Beaumont
Publisher: Springer Science & Business Media
Published: 1991-12-11
Total Pages: 212
ISBN-13: 9783540550389
DOWNLOAD EBOOKLogic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power and inherent nondeterminism. The papers included in this volume were presented at the Workshop on Parallel Logic Programming held in Paris on June 24, 1991, as part of the 8th International Conference on Logic Programming. The papers represent the state of the art in parallel logic programming, and report the current research in this area, including many new results. The three essential issues in parallel execution of logic programs which the papers address are: - Which form(s) of parallelism (or-parallelism, and-parallelism, stream parallelism, data-parallelism, etc.) will be exploited? - Will parallelism be explicitly programmed by programmers, or will it be exploited implicitly without their help? - Which target parallel architecture will the logic program(s) run on?
Models for Parallel and Distributed Computation
Author: R. Correa
Publisher: Springer Science & Business Media
Published: 2013-06-29
Total Pages: 334
ISBN-13: 1475736096
DOWNLOAD EBOOKParallel and distributed computation has been gaining a great lot of attention in the last decades. During this period, the advances attained in computing and communication technologies, and the reduction in the costs of those technolo gies, played a central role in the rapid growth of the interest in the use of parallel and distributed computation in a number of areas of engineering and sciences. Many actual applications have been successfully implemented in various plat forms varying from pure shared-memory to totally distributed models, passing through hybrid approaches such as distributed-shared memory architectures. Parallel and distributed computation differs from dassical sequential compu tation in some of the following major aspects: the number of processing units, independent local dock for each unit, the number of memory units, and the programming model. For representing this diversity, and depending on what level we are looking at the problem, researchers have proposed some models to abstract the main characteristics or parameters (physical components or logical mechanisms) of parallel computers. The problem of establishing a suitable model is to find a reasonable trade-off among simplicity, power of expression and universality. Then, be able to study and analyze more precisely the behavior of parallel applications.
Parallel Logic Programming
Author: Evan Tick
Publisher: MIT Press (MA)
Published: 1991
Total Pages: 520
ISBN-13:
DOWNLOAD EBOOKHighly parallel machines have been available for many years but, because advances in hardware have always outpaced progress in software development, designers and users of these machines have yet to realize their full potential. Until recently there have been few, if any, high-class parallel programming languages that could be implemented on the wide variety of parallel processing systems in use. This book helps to redress the balance by teaching programming techniques as well as performance analysis of parallel programming languages and architectures using logic programming; specifically, it focuses on the Prolog-like languages OR-parallel Prolog and AND-parallel FGHC. Parallel Logic Programmingbrings to light practical applications of a previously esoteric/theoretical area of parallel logic programming and is unique in presenting programming hand-in-hand with performance analysis of real empirical measurements. Its quantitative approach to symbolic parallel programming provides students and professionals with tools for implementing and critically evaluating larger projects. The book includes useful chapter summaries, programming projects, and a glossary.
Advances in Computing and Information - ICCI '90
Author: Selim G. Akl
Publisher: Springer Science & Business Media
Published: 1990
Total Pages: 550
ISBN-13: 9783540535041
DOWNLOAD EBOOKThis volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
Parallel Symbolic Computation Pasco '94 - Proceedings Of The First International Symposium
Author: Hoon Hong
Publisher: World Scientific
Published: 1994-09-17
Total Pages: 450
ISBN-13: 9814550108
DOWNLOAD EBOOKThese proceedings are devoted to communicating significant developments in all areas pertinent to Parallel Symbolic Computation.The scope includes algorithms, languages, software systems and application in any area of parallel symbolic computation, where parallelism is interpreted broadly to include concurrent, distributive, cooperative schemes, and so forth.
FGCS '92
Author:
Publisher: IOS Press
Published: 1992
Total Pages: 788
ISBN-13: 9784274077241
DOWNLOAD EBOOK