Parallel Processing Computers Books - Page 13

Parallel Algorithms and Matrix Computation (Oxford Applied Mathematics and Computing Science)

Jagdish J. Modi

List Price: $39.95 By: Oxford University Press, USA Amazon Marketplace: 7 new & used starting at $17.50

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Hardware -> Parallel Processing Computers
Subjects -> Computers & Internet -> Hardware -> General
Subjects -> Computers & Internet -> Hardware -> General AAS

Editorial Review:

One of the first textbooks on the topic, this book brings together and further articulates the fundamental concepts in parallel computing. It covers the application of parallel algorithms to numerical linear algebra, with an emphasis on the design and analysis of algorithms that are of particular importance in both industrial and academic research. The first part is devoted to a discussion of the general principles and techniques involved, and is illustrated by numerous examples. Dr. Modi goes on to describe some key areas of application, such as sorting, linear systems, partial differential equations, singular-value decomposition, and eigenvalue analysis. Based on a lecture course at the University of Cambridge, the text will appeal to those with an interest in the design and implementations of algorithms in parallel computing.

Parallel Program Design: A Foundation

K. Mani Chandy, Jayadev Misra

List Price: $51.95 By: Addison-Wesley Pub (Sd) Amazon Marketplace: 21 new & used starting at $2.65

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Databases -> General
Subjects -> Computers & Internet -> Databases -> General AAS
Subjects -> Computers & Internet -> Hardware -> Parallel Processing Computers

Customer Reviews:
Total reviews: 1 Average rating: 5.0 of 5

Most thought provoking 5 out of 5 stars.
0 of 0 people found this review helpful.

I rate this book 5 stars even in the knowledge that the ideas presented never went anywhere. What is presented is sufficiently interesting and well presented that it is still worth examining. Chandy creates a temporal logic that can be applied to the specification of computer programs. It was created primarily for parallel programs but applies equally as well to non-parallel programs. The great thing about this logic is that it is possible to carry out proofs that the program does what it is intended. It is also possible to convert the logic into a standard programming language.

I would have to guess that the reason this idea never caught on is the difficulty of doing the proofs. Unless there is some easy way to automate the proof process this method is not very practical. Still the ideas have a lot of intrinsic interest and are of such great potential use that I think this book is worth examining.

Pipelined Processor Farms: Structured Design for Embedded Parallel Systems

Martin Fleury, Andrew Downton

List Price: $73.50 By: Wiley-Interscience Amazon Marketplace: 16 new & used starting at $4.75

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Information Systems
Subjects -> Computers & Internet -> Computer Science -> Systems Analysis & Design
Subjects -> Computers & Internet -> Computer Science -> General

Editorial Review:

This book outlines a methodology for the use of parallel processing in real time systems. It provides an introduction to parallel processing in general, and to embedded systems in particular. Among the embedded systems are processors in such applications as automobiles, various machinery, IPGAs (field programmable gate arrays), multimedia embedded systems such as those used in the computer game industry, and more.
* Presents design and simulation tools as well as case studies.
* First presentation of this material in book form.

Emergent Computation (Bradford Books)

List Price: $32.50 By: The MIT Press Amazon Marketplace: 12 new & used starting at $0.88

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Systems Analysis & Design
Subjects -> Computers & Internet -> Hardware -> Parallel Processing Computers
Subjects -> Computers & Internet -> Programming -> General

Editorial Review:

Researchers in several fields are exploring computational systems in which interesting global behavior emerges from local interactions among component parts - an approach called emergent computation. In these systems, interactions among simultaneous computations are exploited to improve efficiency, increase flexibility, or provide more realistic models of natural phenomena. These 31 essays define and explore the concept of emergent computation in such areas as artificial networks, adaptive systems, classifier systems, connectionist learning, other learning, and biological networks to determine what properties are required of the supporting architectures that generate them.

Many of the essays share the themes of design (how to construct such systems), the importance of preexisting structure to learning and the role of parallelism, and the tension between cooperative and competitive models of interaction. In the introduction, Stephanie Forrest presents several detailed examples of the kinds of problems emergent computation can address. These include showing how emergent computation can lead to efficiency improvements in parallel processing, establishing the connection between emergent computation and nonlinear systems, and comparing two search techniques to show how the emergent-computational approach to a problem differs from other more conventional approaches.

Stephanie Forrest is Assistant Professor in the Department of Computer Science at the University of New Mexico. She is also affiliated with the Center for Nonlinear Studies and Computing Division at Los Alamos National Laboratory.

Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach (Series in Intelligent Control and Intelligent Automation, Vol. 6)

Mengchu Zhou, Kurapati Venkatesh

Amazon Price: $78.00 List Price: $78.00 Usually ships in 24 hours By: World Scientific Publishing Company Amazon Marketplace: 15 new & used starting at $58.14

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Graphic Design -> CAD
Subjects -> Computers & Internet -> Hardware -> Microprocessors & System Design -> Control Systems

Customer Reviews:
Total reviews: 1 Average rating: 4.0 of 5

Application of Petri net in Flexible Manufacturing Systems 4 out of 5 stars.
5 of 14 people found this review helpful.

Application of Petri net in Flexible Manufacturing Systems modelling and perfomance analysis

Understanding Parallel Supercomputing (IEEE Press Understanding Science & Technology Series)

R. Michael Hord

Amazon Price: $111.50 List Price: $111.50 Usually ships in 24 hours By: Wiley-IEEE Press Amazon Marketplace: 26 new & used starting at $14.90

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> General
Subjects -> Computers & Internet -> Computer Science -> General AAS
Subjects -> Computers & Internet -> Hardware -> Supercomputers

Editorial Review:

UNDERSTANDING PARALLEL SUPERCOMPUTING is an exhaustive, applications-oriented survey of the world's largest and fastest computers. Beginning with the evolution of parallel supercomputing technology in recent history, author R. Michael Hord goes on to illustrate architectural concepts and implementations at the very center of today's cutting-edge technology. Topics featured include: technology benefits and drawbacks, software tools and programming languages, major programming concepts, sample parallel programs, algorithmic methods, both SIMD and MIMD architectures. This carefully written text will be of interest to engineers, scientists, and program managers involved in geologic exploration, aircraft design, image processing, weather modeling, operations, research, chemical synthesis, and medical applications. It will also be of practical use to computer specialists.

Object-Oriented C++ Data Structures for Real Programmers

Jan L. Harrington

List Price: $52.95 By: Morgan Kaufmann Amazon Marketplace: 17 new & used starting at $5.63

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General AAS
Subjects -> Computers & Internet -> Computer Science -> Modeling & Simulation

Customer Reviews:
Total reviews: 5 Average rating: 3.5 of 5

Editorial Review:

Data structures play a key role in any serious development project, determining how the program acquires, stores, updates, and processes its in-memory data. Many of the basic techniques for constructing and governing access to data structures are well-documented, but most are structured programming techniques that do not translate well in an object-oriented environment.

Object-Oriented C++ Data Structures for Real Programmers corrects this imbalance, teaching experienced C++ and Java developers the most effective methods for designing and implementing highly functional data structures in any type of object-oriented programming effort. The first part of the book introduces the various approaches, focusing on the purposes for which each is most suited. From there, the author examines advanced functionality that can be achieved in a number of ways, helping readers choose and apply the optimal technique.

Key Features
* Advanced coverage from an accomplished developer and programming author
* Written explicitly for experienced object-oriented programmers
* Helps you choose the best way to build the desired functionality, then provides the instruction you need to do it
* Covers all major data structure approaches, including arrays, vectors, lists, stacks, and queues
* Explains how to achieve a wide range of functionality, including data sorting, searching, hashing, dictionaries, and indexes

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship (Lecture Notes in Computer Science)

Job Zwiers

Amazon Price: $57.95 List Price: $57.95 Usually ships in 24 hours By: Springer Amazon Marketplace: 4 new & used starting at $19.79

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Certification Central -> General
Subjects -> Computers & Internet -> Certification Central -> General AAS
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics

Editorial Review:

The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph. Two important yardsticks for verification methods, those of compositionality and modularity, are made precise. The problem of reusing software is addressed by the introduction of the notion of specification adaptation. Within this context, different methods for specifying the observable behavior with respect to partial correctness of communicating processes are considered, and in particular the contrast between the "programs are predicates" and the "programs are predicate transformers" paradigms is shown. The associated formal proof systems are proven sound and complete in various senses with respect to the denotational semantics of the programming language, and they are related to each other to give an in-depth comparison between the different styles of program verification. The programming language TNP used here is near to actual languages like Occam. It combines CCS/CSP style communication based programming with state based programming, and allows dynamically expanding and shrinking networks of processes.

Advances in Ultra-Dependable Distributed Systems

N. Suri, C. J. Walter, M. M. Hugue

Amazon Price: $52.00 List Price: $52.00 In stock soon. Order now to get in line. First come, first served. By: Institute of Electrical & Electronics Enginee Amazon Marketplace: 3 new & used starting at $19.99

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Information Systems
Subjects -> Computers & Internet -> Databases -> Distributed Databases
Subjects -> Computers & Internet -> Hardware -> Parallel Processing Computers

Editorial Review:

This book focuses on fault tolerance concepts and hard real-time perspectives that apply jointly to ultra-dependable systems. It explores advances in system design and technology that have resulted in the increasing application of ultra-dependable systems for critical control applications.

ACTORS: A Model of Concurrent Computation in Distributed Systems (The Mit Press Series in Artificial Intelligence)

Gul Agha

List Price: $27.50 By: The MIT Press Amazon Marketplace: 10 new & used starting at $8.93

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Theory of Computing
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General AAS

Editorial Review:

The transition from sequential to parallel computation is an area of critical concern in today's computer technology, particularly in architecture, programming languages, systems, and artificial intelligence. This book addresses central issues in concurrency, and by producing both a syntactic definition and a denotational model of Hewitt's actor paradigm—a model of computation specifically aimed at constructing and analyzing distributed large-scale parallel systems—it substantially advances the understanding of parallel computation.

Contents: Introduction. General Design Decisions. Computation in ACTOR Systems. A More Expressive Language. A Model for ACTOR Systems. Concurrency Issues. Abstraction and Compositionality. Conclusions.