Parallel Execution of Logic Programs by John S Conery
This book is an updated version of my Ph.D. dissertation, The AND/OR Process Model for Parallel Interpretation of Logic Programs. The three years since that paper was finished (or so I thought then) have seen quite a bit of work in the area of parallel execution models and programming languages for logic programs. A quick glance at the bibliography here shows roughly 50 papers on these topics, 40 of which were published after 1983. The main difference between the book and the dissertation is the updated survey of related work. One of the appendices in the dissertation was an overview of a Prolog implementation of an interpreter based on the AND/OR Process Model, a simulator I used to get some preliminary measurements of parallelism in logic programs. In the last three years I have been involved with three other implementations. One was written in C and is now being installed on a small multiprocessor at the University of Oregon. Most of the programming of this interpreter was done by Nitin More under my direction for his M.S. project. The other two, one written in Multilisp and the other in Modula-2, are more limited, intended to test ideas about implementing specific aspects of the model. Instead of an appendix describing one interpreter, this book has more detail about implementation included in Chapters 5 through 7, based on a combination of ideas from the four interpreters.-
Foundations of Knowledge Acquisition
-
Satellite Communications
-
Open Source GIS
-
Nonholonomic Motion Planning
-
A Pyramid Framework for Early Vision
-
A General Model of Legged Locomotion on Natural Terrain
-
Biometrics
-
On-Chip ESD Protection for Integrated Circuits
-
VHDL '92
-
Any Time, Anywhere Computing
-
Speech and Human-Machine Dialog
-
Computer Analysis of Visual Textures
-
Silicon-on-Insulator Technology
-
Bayesian Approach to Image Interpretation
-
Power Trade-offs and Low-Power in Analog CMOS ICs
-
Analog VLSI Neural Networks
-
Sigma Delta A/D Conversion for Signal Conditioning
-
CMOS Current Amplifiers
-
Adaptive Techniques for Mixed Signal System on Chip
-
Wide-Bandwidth High Dynamic Range D/A Converters
-
Color Theory and Modeling for Computer Graphics, Visualization, and Multimedia Applications
-
Performance Evaluation and Applications of ATM Networks
-
Dynamic Characterisation of Analogue-to-Digital Converters
-
The Bounding Approach to VLSI Circuit Simulation
-
Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
-
Research Perspectives on Dynamic Translinear and Log-Domain Circuits
-
High-Frequency Oscillator Design for Integrated Transceivers
-
Methodology for the Digital Calibration of Analog Circuits and Systems
-
Mixed-Signal Layout Generation Concepts
-
Calibration Techniques in Nyquist A/D Converters
-
Distortion Analysis of Analog Integrated Circuits
-
Integrated Image and Graphics Technologies
-
Modeling and Simulation of Mixed Analog-Digital Systems
-
Design of Very High-Frequency Multirate Switched-Capacitor Circuits
-
A High Performance Architecture for Prolog
-
Robustness in Automatic Speech Recognition
-
An Introduction to Error Correcting Codes with Applications
-
Application Specific Processors
-
Input/Output in Parallel and Distributed Computer Systems
-
Multithreaded Processor Design
-
Wireless Personal Communications
-
Pipelined Lattice and Wave Digital Recursive Filters
-
Object Orientation with Parallelism and Persistence
-
Binary Decision Diagrams and Applications for VLSI CAD
-
Multimedia Systems and Techniques
-
Feedback-Based Orthogonal Digital Filters
-
Client Data Caching
-
Software Performability: From Concepts to Applications
-
Human Interaction with Complex Systems
John S. Conery is a professor in the Department of Computer and Information Science at the University of Oregon. With over 30 years of teaching experience, he has taught courses on high performance computing and scientific computing in addition to introductory computer science courses. A member of the University's Center for Ecology and Evolutionary Biology, Dr. Conery has worked with biologists on a variety of problems related to gene and genome duplication, artificial neural networks, and population modeling. His current research interests are computational biology and bioinformatics.
| SKU | Unavailable |
| ISBN 13 | 9781461291879 |
| ISBN 10 | 1461291879 |
| Title | Parallel Execution of Logic Programs |
| Author | John S Conery |
| Series | The Springer International Series In Engineering And Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer-Verlag New York Inc. |
| Year published | 2011-11-19 |
| Number of pages | 160 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |