The third in an informal series of books about parallel processing for Artificial Intelligence, this volume is based on the assumption that the computational demands of many AI tasks can be better served by parallel architectures than by the currently popular workstations. However, no assumption is made about the kind of parallelism to be used. Transputers, Connection Machines, farms of workstations, Cellular Neural Networks, Crays, and other hardware paradigms of parallelism are used by the authors of this collection.The papers arise from the areas of parallel knowledge representation, neural modeling, parallel non-monotonic reasoning, search and partitioning, constraint satisfaction, theorem proving, parallel decision trees, parallel programming languages and low-level computer vision. The final paper is an experience report about applications of massive parallelism which can be said to capture the spirit of a whole period of computing history.This volume provides the reader with a snapshot of the state of the art in Parallel Processing for Artificial Intelligence.
Of the 300 papers presented during IROS '94, 48 were selected because they are particularly significant and characteristic for the present state of the technology of intelligent robots and systems. This book contains the selected papers in a revised and expanded form.Robotics and intelligent systems constitute a very wide and truly interdisciplinary field. The papers have been grouped into the following categories:– Sensing and Perception – Learning and Planning– Manipulation– Telerobotics and Space Robotics– Multiple Robots– Legged Locomotion– Mobile Robot Systems– Robotics in MedicineOther additional fields covered include; control, navigation and simulation. Since many researchers in robotics are now apparently interested in some combination of learning, mobile robots and robot vision, most of the articles included relate to at least one of these fields.
High Performance Computing is an integrated computing environment for solving large-scale computational demanding problems in science, engineering and business. Newly emerging areas of HPC applications include medical sciences, transportation, financial operations and advanced human-computer interface such as virtual reality. High performance computing includes computer hardware, software, algorithms, programming tools and environments, plus visualization.The book addresses several of these key components of high performance technology and contains descriptions of the state-of-the-art computer architectures, programming and software tools and innovative applications of parallel computers. In addition, the book includes papers on heterogeneous network-based computing systems and scalability of parallel systems.The reader will find information and data relative to the two main thrusts of high performance computing: the absolute computational performance and that of providing the most cost effective and affordable computing for science, industry and business. The book is recommended for technical as well as management oriented individuals.
One of the most important issues in the development of distributed computer control systems is the ability to build software and hardware which is both reliable and time deterministic; this is an area where control engineering and computer science naturally meet.This publication brings together the latest key papers on research and development in this field, allowing cross-fertilization between the two engineering disciplines involved and allowing both academics and industrial practitioners to find new insights and learn from each other's views.
Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification.
An introduction and tutorial as well as a comprehensive reference Using C-Kermit describes the new release, 5A, of Columbia University's popular C-Kermit communication software - the most portable of all communication software packages. Available at low cost on a variety of magnetic media from Columbia University,C-Kermit can be used on computers of all sizes - ranging from desktop workstations to minicomputers to mainframes and supercomputers. The numerous examples, illustrations, and tables in Using C-Kermit make the powerful and versatile C-Kermit functionsaccessible for new and experienced users alike.
Easy-to-read, but nonetheless thorough, this book on digital circuits is for use by students and engineers, and is a readily accessible source of data on devices in the TTL and CMOS families. The book is written to be used as a Designer's Handbook and will spend its days on the designer's bench rather than their bookshelf. The basic theory is explained and then supported with specific practical examples.* Revised, enlarged, reduced price edition * Easy-to-read, jargon free book suitable for professionals and students * Plenty of basic theory and practical information * Based on authors practical experience of logic design * Combined textbook/reference book
The System Engineer's Handbook, written by the developer of the VME bus system and some of the most knowledgeable experts in the computer industry, is the most comprehensive guide available for the VME bus standard. It is the system engineer's guide to building high performance multiprocessor systems. This book contains complete copies of VME bus and VXI bus specifications and applications information, enabling a system engineer to purchase state-of-the-art board components from specialized manufacturers and assemble them into a fully-functional system.
Embedded systems are products such as microwave ovens, cars, and toys that rely on an internal microprocessor. This book is oriented toward the design engineer or programmer who writes the computer code for such a system. There are a number of problems specific to the embedded systems designer, and this book addresses them and offers practical solutions.