This 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.
"Sinopsis" puede pertenecer a otra edición de este libro.
This 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 4,25 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoEUR 3,62 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoLibrería: CONTINENTAL MEDIA & BEYOND, Ocala, FL, Estados Unidos de America
Paperback. Condición: Used: Good. xlibrary rebound paperback 1989 bound in hardcasing vol 404 withdrawn stamp in book/ on edge of pages clean text 128 pages/// M-2. Nº de ref. del artículo: 0705MKYR2ZJ
Cantidad disponible: 1 disponibles
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Paperback. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: 48T31_20_3540520538
Cantidad disponible: 1 disponibles
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Condición: new. Nº de ref. del artículo: 10Z61_42_3540520538
Cantidad disponible: 1 disponibles
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Condición: new. Nº de ref. del artículo: 41C43_19_3540520538
Cantidad disponible: 1 disponibles
Librería: Emile Kerssemakers ILAB, Heerlen, Holanda
23 cm. original paperback. 128 pp. references. "Lecture Notes in Computer Science". -(library stamp on title, slightly rubbed, traces of removed library label, otherwise good). 265g. Nº de ref. del artículo: 71883
Cantidad disponible: 1 disponibles
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020169102
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 5906489-n
Cantidad disponible: 15 disponibles
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Paperback. Condición: new. Paperback. This 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. This 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783540520535
Cantidad disponible: 1 disponibles
Librería: Best Price, Torrance, CA, Estados Unidos de America
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540520535
Cantidad disponible: 1 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5906489
Cantidad disponible: 15 disponibles