Books in the Wiley Series on Parallel and Distributed Computing series

Dependable Computing Systems aims to identify and integrate approaches, develop methods and techniques for specifying, designing, building, assessing, validating, operating and maintaining dependable computer systems.

This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.

Internet-based business transactions can be broken down into a series of independent steps. This workflow often involves tools from an array of fields, such as network modeling, scheduling, distributed systems, artificial intelligence, software agents, and Java. This book deals with this topic.

This book offers comprehensive coverage of wireless networks and mobile computing with an emphasis on computer science and system considerations rather than devices. It offers detailed, practical discussion of topics such as cellular networks, channel assignment, queuing, power optimization, and more.

The complexity of today's information processing requirements, coupled with the availability of powerful computers, have boosted the interest in the study, design, and analysis of parallel algorithms. Introduction to Parallel Algorithms responds to the need in the field for an easy-to-understand text in this growth area of computer science.

The rapid expansion of the Internet has made parallel and distributed stimulation (PADS) a hot technology indeed. It is now used not only to analyze the behavior of such systems as air traffic control or future communication networks, but also in computer generated "virtual worlds" such as flight simulation training devices and computer wargames.

High Performance Parallel Database Processing and Grid Databases targets the theoretical/conceptual details needed to form a base of understanding and then delivers information on development, implementations, and analytical modeling of parallel databases. This includes key information on new developments with grid databases.

Advanced computational infrastructures provide programming, execution and runtime management support for large-scale adaptive implementations. Investigates the design, architectures and implementations of advanced computional infrastructures.

New automated, application-independent methodology for designing and deploying sensor networks Following this book's clear explanations, examples, and illustrations, domain experts can design and deploy nontrivial networked sensing applications without much knowledge of the low-level networking aspects of deployment.

Covers the continuous advances in wireless and mobile communications through the use of algorithms and protocols. Focuses on wireless ad hoc and sensor networks with a concentration on algorithms and protocols. Written by a well-known and an established international researcher in the field of wireless mobile networks and distributed systems. .

* Focuses on several aspects of wireless ad hoc networks, particularly algorithmic methods and distributed computing with mobility and computation capability. * This book provides the crucial building foundation for the design and construction of the future generation of ad hoc networks.

Extending beyond the classic approach by focusing on more advanced, accurate, and realistic models, this book investigates the concepts and techniques of task scheduling by developing a consistent and unifying theoretical framework.

This text is based on a simple and fully reactive computational model that allows for intuitive comprehension and logical designs. The principles and techniques presented can be applied to any distributed computing environment (e.g. , distributed systems, communication networks, data networks, grid networks, internet, etc.).

This text provides an excellent balance of theory and application that enables you to deploy powerful algorithms, frameworks, and methodologies to solve complex optimization problems in a diverse range of industries. Each chapter is written by leading experts in the fields of parallel and distributed optimization.

This two-volume set provides comprehensive coverage of the field of computer organization and architecture.

Parallel Metaheuristics provides a single, up-to-date reference on parallel metaheuristic issues. This comprehensive book presents modern and ongoing research information on using, designing, and analyzing efficient models of parallel algorithms (numeric and real-time efficiency, algorithms, comparison of parallel models).

The first single-source reference covering the state of the art in grid and utility computing economy researchThis book presents the first integrated, single-source reference on market-oriented grid and utility computing.

Computer architecture deals with the physical configuration, logical structure, formats, protocols, and operational sequences for processing data, controlling the configuration, and controlling the operations over a computer. This book presents fundamentals of computer organization and architecture.

This is the first book to explain the language Unified Parallel C and its use. Authors El-Ghazawi, Carlson, and Sterling are among the developers of UPC, with close links with the industrial members of the UPC consortium. Their text covers background material on parallel architectures and algorithms, and includes UPC programming case studies.

A thoroughly up-to-date resource on IEEE 802 wireless standards Readers can turn to this book for complete coverage of the current and emerging IEEE 802 wireless standards/drafts, including: 802. 11 Wireless LANs 802. 15. 1 Bluetooth and 801. 15. 2 802. 15. 3 Wireless PANs 802. 15. 4 and 802. 15. 5 Wireless PANs 802.

The coming years will witness a proliferation in the use of parallel and distributed computers.

Focuses on the area of parallel and distributed computing, and considers the diverse approaches. Covering a comprehensive set of models and paradigms, this book serves as both an introduction and a survey. It is suitable for students and can be used as a foundation for parallel and distributed computing courses.

A sequel to Mobile Processing in Distributed and Open Environments (Wiley, 1999), this title introduces an extended, universal WAVE-WP model for distributed processing and control in dynamic and open worlds of any natures.

Computer architecture deals with the physical configuration, logical structure, formats, protocols, and operational sequences for processing data, controlling the configuration, and controlling the operations over a computer.

Divided into three parts, this work provides an introduction to the theory of distributed computing. It covers the fundamental models, issues, and techniques. It is organized around key simulations in distributed computing, and their applications.

* Young researchers (doctoral students and PostDocs) can use this book to learn about the related research work and use it as a reference. * Graduate students can use this book for courses related to parallel programming.

With recent changes in multicore and general-purpose computing on graphics processing units, the way parallel computers are used and programmed has drastically changed. It is important to provide a comprehensive study on how to use such machines written by specialists of the domain.

Complex systems modeling and simulation approaches are being adopted in a growing number of sectors, including finance, economics, biology, astronomy, and many more.

* Explains and analyzes complex topics to an unprecedented degree * Provides a useful reference to graduate students and a jump-off point for new research * In-depth coverage takes reader from ground level hardware issues up to highly advanced application and network discussions .

This book presents the most up-to-date opportunities and challenges emerging in knowledge discovery, helping readers develop the technical skills to design and develop data-intensive methods and processes.