› › And Parallel Execution Of Logic Programs On A Shared Memory Multiprocessor A Summary Of Results

Parallel Execution of Logic Programs

Author : Anthony Beaumont

Publisher : Springer Science & Business Media

Page : 212 pages

File Size : 17,48 MB

Release : 1991-12-11

Category : Computers

ISBN : 9783540550389

Get eBook

Book Description

Logic 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?



Multiprocessor Execution of Logic Programs

Author : Gopal Gupta

Publisher : Springer Science & Business Media

Page : 251 pages

File Size : 41,83 MB

Release : 2012-12-06

Category : Computers

ISBN : 1461527783

Get eBook

Book Description

Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, or-parallelism, independent and-parallelism and dependent and-parallelism. Coverage includes a thorough survey of parallel implementation techniques and parallel systems developed for Prolog. Multiprocessor Execution of Logic Programs is recommended for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems. It will also be useful to people who wish to learn about the implementation of parallel logic programming systems.



Hybrid Parallel Execution Model for Logic-based Specification Languages

Author : Jeffrey J.-P. Tsai

Publisher : World Scientific

Page : 236 pages

File Size : 32,1 MB

Release : 2001

Category : Computers

ISBN : 9789812797964

Get eBook

Book Description

Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems. Contents: Current Approaches; Overview of the New Approach; FRORL Requirements Specification Language and Its Decomposition; Rewriting and Data Dependency, Control Flow Analysis of a Logic-Based Specification; Hybrid and-or Parallelism Implementation; Efficiency Considerations and Experimental Results; Mode Information Support for Automatic Transformation System; Describing Non-Functional Requirements in FRORL. Readership: Graduate students, engineers and researchers in computer science.



EURO-PAR '95: Parallel Processing

Author : Seif Haridi

Publisher : Springer Science & Business Media

Page : 756 pages

File Size : 13,64 MB

Release : 1995

Category : Computer communication networks

ISBN : 9783540602477

Get eBook

Book Description

This book presents the proceedings of the First International EURO-PAR Conference on Parallel Processing, held in Stockholm, Sweden in August 1995. EURO-PAR is the merger of the former PARLE and CONPAR-VAPP conference series; the aim of this merger is to create the premier annual scientific conference on parallel processing in Europe. The book presents 50 full revised research papers and 11 posters selected from a total of 196 submissions on the basis of 582 reviews. The scope of the contributions spans the full spectrum of parallel processing ranging from theory over design to application; thus the volume is a "must" for anybody interested in the scientific aspects of parallel processing or its advanced applications.



Logic Programming

Author : David S. Warren

Publisher : MIT Press

Page : 884 pages

File Size : 41,21 MB

Release : 1993

Category : Computers

ISBN : 9780262731058

Get eBook

Book Description

The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.



FGCS '92

Author :

Publisher : IOS Press

Page : 788 pages

File Size : 26,30 MB

Release : 1992

Category : Computer architecture

ISBN : 9784274077241

Get eBook

Book Description



Parallel Algorithms for Machine Intelligence and Vision

Author : Vipin Kumar

Publisher : Springer Science & Business Media

Page : 445 pages

File Size : 44,75 MB

Release : 2012-12-06

Category : Computers

ISBN : 1461233909

Get eBook

Book Description

Recent research results in the area of parallel algorithms for problem solving, search, natural language parsing, and computer vision, are brought together in this book. The research reported demonstrates that substantial parallelism can be exploited in various machine intelligence and vision problems. The chapter authors are prominent researchers actively involved in the study of parallel algorithms for machine intelligence and vision. Extensive experimental studies are presented that will help the reader in assessing the usefulness of an approach to a specific problem. Intended for students and researchers actively involved in parallel algorithms design and in machine intelligence and vision, this book will serve as a valuable reference work as well as an introduction to several research directions in these areas.





PARLE '92, Parallel Architectures and Languages Europe

Author : Daniel Etiemble

Publisher : Springer Science & Business Media

Page : 1012 pages

File Size : 28,85 MB

Release : 1992-06-03

Category : Computers

ISBN : 9783540555995

Get eBook

Book Description

The 1992 Parallel Architectures and Languages Europe conference continues the tradition - of a wide and representative international meeting of specialists from academia and industry in theory, design, and application of parallel computer systems - set by the previous PARLE conferences held in Eindhoven in 1987, 1989, and 1991. This volume contains the 52 regular and 25 poster papers that were selected from 187 submitted papers for presentation and publication. In addition, five invited lectures areincluded. The regular papers are organized into sections on: implementation of parallel programs, graph theory, architecture, optimal algorithms, graph theory and performance, parallel software components, data base optimization and modeling, data parallelism, formal methods, systolic approach, functional programming, fine grain parallelism, Prolog, data flow systems, network efficiency, parallel algorithms, cache systems, implementation of parallel languages, parallel scheduling in data base systems, semantic models, parallel data base machines, and language semantics.



Parallel Computing Technologies - Proceedings Of The International Conference

Author : Nikolay N Mirenkov

Publisher : World Scientific

Page : 519 pages

File Size : 21,20 MB

Release : 1991-08-24

Category :

ISBN : 9814556017

Get eBook

Book Description

The proceedings of this UNESCO-supported conference consist of papers covering new trends and experiences in parallel computing technologies. Emphasis is made on the practical aspects of parallel programming, especially: all aspects of the applications of parallel computing technologies; hardware, languages and software tools for parallel processing; operating systems; general architecture concepts; enabling technologies; performance measurements; and the teaching of parallel processing technology.