Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly-coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Parallel processing (Electronic computers) --- Computer software --- Parallel processing (Electronic computers). --- Verification.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

ICA 3 PP 2000 was an important conference that brought together researchers and practitioners from academia, industry and governments to advance the knowledge of parallel and distributed computing. The proceedings constitute a well-defined set of innovative research papers in two broad areas of parallel and distributed computing: (1) architectures, algorithms and networks; (2) systems and applications.

Parallel processing (Electronic computers) --- Computer algorithms --- Computer architecture

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

An all-inclusive survey of the fundamentals of parallel and distributed computing. The use of parallel and distributed computing has increased dramatically over the past few years, giving rise to a variety of projects, implementations, and buzzwords surrounding the subject. Although the areas of parallel and distributed computing have traditionally evolved separately, these models have overlapping goals and characteristics. Parallel and Distributed Computing surveys the models and paradigms in this converging area of parallel and distributed computing and considers the diverse approaches within a common text. Covering a comprehensive set of models and paradigms, the material also skims lightly over more specific details and serves as both an introduction and a survey. Novice readers will be able to quickly grasp a balanced overview with the review of central concepts, problems, and ideas, while the more experienced researcher will appreciate the specific comparisons between models, the coherency of the parallel and distributed computing field, and the discussion of less well-known proposals. Other topics covered include:* Data parallelism* Shared-memory programming* Message passing* Client/server computing* Code mobility* Coordination, object-oriented, high-level, and abstract models* And much moreParallel and Distributed Computing is a perfect tool for students and can be used as a foundation for parallel and distributed computing courses. Application developers will find this book helpful to get an overview before choosing a particular programming style to study in depth, and researchers and programmers will appreciate the wealth of information concerning the various areas of parallel and distributed computing.

Electronic data processing --- Parallel processing (Electronic computers). --- Distributed processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel processing (Electronic computers) --- Electronic data processing --- Electronic data processing --- Parallel processing (Electronic computers) --- Distributed processing --- Distributed processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel computers --- Computer architecture --- Parallel processing (Electronic computers) --- Compiling (Electronic computers) --- Compilers (Computer programs)