“Theory of Structured Parallel Programming, 1st Edition” can be considered a textbook designed to let a reader learn how to organize parallel programs compared to structured sequential programs. The book covers the theoretical part of parallel programming and its problems; the basic concepts of parallelism and concurrency are discussed in the book. It also embraces topics such as process algebras that relate to handling several processes simultaneously and guide solutions for the composition of parallel programs using modules. Besides, it helps understand how parallel programming languages, patterns and distributed systems should be modelled and verified to work properly.
Parallel computing can be tackled in two main ways: synchronous or of the structured type or the graph type (true concurrent). The methodology of the structured style, to which this book is devoted, frequently employs interleaving semantics, whereby operations are presented in terms of sequences. This method forms the basis in languages such as C, C++, and Java. The parallel operator is not necessarily a separate feature but can be compiled from sequences and/or alternatives. The book Theory of Structured Parallel Programming, 1st Edition, clarifies the concepts in an easy-to-understand manner, thus making it easy for practicing programmers to reason and plan for the use of the techniques in real applications.
The main points of the book “Theory of Structured Parallel Programming, 1st Edition” include naming important algebraic properties of structured parallel programming as well as laws that are considered crucial to be familiar with for computer science students and practitioners. It also devotes enough attention to the issues of modelling and verification of parallel programming languages and patterns and their correctness and reliability. As a result of explaining the issues related to semantic, operational, denotational, and axiomatic parallel programming, the book presents real points on which programmers can rely to analyze and develop parallel computing applications.
Theory of Structured Parallel Programming, 1st Edition Table of Contents:
- Introduction
- Parallelism and Concurrency
- Truly Concurrent Process Algebra
- Guarded APTC
- Distributed ARK
- Building Blocks-Based Structured Parallel Programming
- Modeling and Verification of Parallel Programming Languages
- Modeling and Verification of Parallel Programming Patterns
- Modeling and Verification of Distributed Systems
- A Parallel Programming Language
Who is this course for?
- The target users include Computer Science students and researchers.
- Software developers and engineers
- With respect to the academics and educators in computer science.
- The task is relevant for those who work in parallel and distributed systems.
- Any researcher who would like to know about the theory of parallel programming.
Click on the links below to Download Theory of Structured Parallel Programming, 1st Edition!
در حال پاسخ به :