Author: Ashok Singhal
Publisher:
ISBN:
Category : Logic programming
Languages : en
Pages : 492
Book Description
We achieve these goals by first identifying the large sources of overhead in parallel Prolog execution: side-effects caused by parallel tasks, choicepoints created by parallel tasks, task creation, task scheduling, task suspension and context switching.
Exploiting Fine Grain Parallelism in Prolog
Author: Ashok Singhal
Publisher:
ISBN:
Category : Logic programming
Languages : en
Pages : 492
Book Description
We achieve these goals by first identifying the large sources of overhead in parallel Prolog execution: side-effects caused by parallel tasks, choicepoints created by parallel tasks, task creation, task scheduling, task suspension and context switching.
Publisher:
ISBN:
Category : Logic programming
Languages : en
Pages : 492
Book Description
We achieve these goals by first identifying the large sources of overhead in parallel Prolog execution: side-effects caused by parallel tasks, choicepoints created by parallel tasks, task creation, task scheduling, task suspension and context switching.
Exploitation of Fine-Grain Parallelism
Author: Günter Böckle
Publisher: Springer Science & Business Media
ISBN: 9783540600541
Category : Computers
Languages : en
Pages : 204
Book Description
Many parallel computer architectures are especially suited for particular classes of applications. However, there are only a few parallel architectures equally well suited for standard programs. Much effort is invested into research in compiler techniques to make programming parallel machines easier. This book presents methods for automatic parallelization, so that programs need not to be tailored for specific architectures; here the focus is on fine-grain parallelism, offered by most new microprocessor architectures. The book addresses compiler writers, computer architects, and students by demonstrating the manifold complex relationships between architecture and compiler technology.
Publisher: Springer Science & Business Media
ISBN: 9783540600541
Category : Computers
Languages : en
Pages : 204
Book Description
Many parallel computer architectures are especially suited for particular classes of applications. However, there are only a few parallel architectures equally well suited for standard programs. Much effort is invested into research in compiler techniques to make programming parallel machines easier. This book presents methods for automatic parallelization, so that programs need not to be tailored for specific architectures; here the focus is on fine-grain parallelism, offered by most new microprocessor architectures. The book addresses compiler writers, computer architects, and students by demonstrating the manifold complex relationships between architecture and compiler technology.
Exploiting And/or Parallelism in Prolog
Author: Bankim Shah
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 212
Book Description
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 212
Book Description
Parallelization in Inference Systems
Author: Bertram Fronhöfer
Publisher: Springer Science & Business Media
ISBN: 9783540554257
Category : Computers
Languages : en
Pages : 390
Book Description
This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems.
Publisher: Springer Science & Business Media
ISBN: 9783540554257
Category : Computers
Languages : en
Pages : 390
Book Description
This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems.
VLSI for Artificial Intelligence and Neural Networks
Author: Jose G. Delgado-Frias
Publisher: Springer Science & Business Media
ISBN: 1461537525
Category : Computers
Languages : en
Pages : 411
Book Description
This book is an edited selection of the papers presented at the International Workshop on VLSI for Artifidal Intelligence and Neural Networks which was held at the University of Oxford in September 1990. Our thanks go to all the contributors and especially to the programme committee for all their hard work. Thanks are also due to the ACM-SIGARCH, the IEEE Computer Society, and the lEE for publicizing the event and to the University of Oxford and SUNY-Binghamton for their active support. We are particularly grateful to Anna Morris, Maureen Doherty and Laura Duffy for coping with the administrative problems. Jose Delgado-Frias Will Moore April 1991 vii PROLOGUE Artificial intelligence and neural network algorithms/computing have increased in complexity as well as in the number of applications. This in tum has posed a tremendous need for a larger computational power than can be provided by conventional scalar processors which are oriented towards numeric and data manipulations. Due to the artificial intelligence requirements (symbolic manipulation, knowledge representation, non-deterministic computations and dynamic resource allocation) and neural network computing approach (non-programming and learning), a different set of constraints and demands are imposed on the computer architectures for these applications.
Publisher: Springer Science & Business Media
ISBN: 1461537525
Category : Computers
Languages : en
Pages : 411
Book Description
This book is an edited selection of the papers presented at the International Workshop on VLSI for Artifidal Intelligence and Neural Networks which was held at the University of Oxford in September 1990. Our thanks go to all the contributors and especially to the programme committee for all their hard work. Thanks are also due to the ACM-SIGARCH, the IEEE Computer Society, and the lEE for publicizing the event and to the University of Oxford and SUNY-Binghamton for their active support. We are particularly grateful to Anna Morris, Maureen Doherty and Laura Duffy for coping with the administrative problems. Jose Delgado-Frias Will Moore April 1991 vii PROLOGUE Artificial intelligence and neural network algorithms/computing have increased in complexity as well as in the number of applications. This in tum has posed a tremendous need for a larger computational power than can be provided by conventional scalar processors which are oriented towards numeric and data manipulations. Due to the artificial intelligence requirements (symbolic manipulation, knowledge representation, non-deterministic computations and dynamic resource allocation) and neural network computing approach (non-programming and learning), a different set of constraints and demands are imposed on the computer architectures for these applications.
Execution Models of Prolog for Parallel Computers
Author: Péter Kacsuk
Publisher: MIT Press (MA)
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 292
Book Description
The research described in this book addresses the semantic gap between logic programming languages and the architecture of parallel computers - the problem of how to implement logic programming languages on parallel computers in a way that can most effectively exploit the inherent parallelism of the language and efficiently utilize the parallel architecture of the computer. Following a useful review of other research results, the first project explores the possibilities of implementing logic programs on MIMD, nonshared memory massively parallel computers containing 100 to 1,000 processing elements. The second investigates the possibility of implementing Prolog on a typical SIMD machine, called a Distributed Processor Array. The author's objectives are to define a parallel computational paradigm (the Extended Cellular-Dataflow Model) that can be used to create a Parallel Prolog Abstract Machine as a general starting point for implementing logic programming languages on parallel computers, to exploit the different types of parallelism of these programs, to define an efficient parallel logic machine, to explore the possibilities of implementing logic programming languages on array processors, such as the DAP, to invent parallel implementation techniques for effectively executing Prolog on the DAP, and to define a parallel extension of Prolog that is able to utilize the processor aggregate of the DAP for effectively solving numerical subproblems within logic programs Peter Kacsuk is with Multilogic Computing Ltd. of Budapest, Hungary.
Publisher: MIT Press (MA)
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 292
Book Description
The research described in this book addresses the semantic gap between logic programming languages and the architecture of parallel computers - the problem of how to implement logic programming languages on parallel computers in a way that can most effectively exploit the inherent parallelism of the language and efficiently utilize the parallel architecture of the computer. Following a useful review of other research results, the first project explores the possibilities of implementing logic programs on MIMD, nonshared memory massively parallel computers containing 100 to 1,000 processing elements. The second investigates the possibility of implementing Prolog on a typical SIMD machine, called a Distributed Processor Array. The author's objectives are to define a parallel computational paradigm (the Extended Cellular-Dataflow Model) that can be used to create a Parallel Prolog Abstract Machine as a general starting point for implementing logic programming languages on parallel computers, to exploit the different types of parallelism of these programs, to define an efficient parallel logic machine, to explore the possibilities of implementing logic programming languages on array processors, such as the DAP, to invent parallel implementation techniques for effectively executing Prolog on the DAP, and to define a parallel extension of Prolog that is able to utilize the processor aggregate of the DAP for effectively solving numerical subproblems within logic programs Peter Kacsuk is with Multilogic Computing Ltd. of Budapest, Hungary.
Hybrid Memory Management for Parallel Execution of Prolog on Shared Memory Multprocessors
Author: Tam Minh Nguyen
Publisher:
ISBN:
Category :
Languages : en
Pages : 346
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 346
Book Description
Exploiting OR-parallelism in Prolog Using Multiple Sequential Machines
Author: University of Cambridge. Computer Laboratory
Publisher:
ISBN:
Category : Electronic digital computers
Languages : en
Pages : 274
Book Description
Publisher:
ISBN:
Category : Electronic digital computers
Languages : en
Pages : 274
Book Description
Parallel Architectures for Data/knowledge-based Systems
Author: L. L. Miller
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 624
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 624
Book Description
Exploiting And/or Parallelism in Prolog
Author: Bankim Shah
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 0
Book Description