Theory of Structured Parallel Programming
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

  1. 200 pages
  2. English
  3. ePUB (adapté aux mobiles)
  4. Uniquement disponible sur le Web
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

DĂ©tails du livre
Table des matiĂšres
Citations

À propos de ce livre

Theory of Structured Parallel Programming is a comprehensive guide to structured parallel programming corresponding to traditional structured sequential programming. The book provides readers with comprehensive coverage of theoretical foundations of structured parallel programming, including analyses of parallelism and concurrency, truly concurrent process algebras, building block-based structured parallel programming, modelling and verification of parallel programming language, modelling and verification of parallel programming patterns, as well as modeling and verification of distributed systems.There have been always two ways to approach parallel computing: one is the structured way, and the other is the graph-based (true concurrent) way. The structured way is often based on the interleaving semantics, such as process algebra CCS. Since the parallelism in interleaving semantics is not a fundamental computational pattern (the parallel operator can be replaced by alternative composition and sequential composition), the parallel operator often does not occur as an explicit operator, such as in the mainstream programming languages C, C++, Java, et al.

  • Introduces algebraic properties and laws for structured parallel programming, one of the foundational concepts of Computer Science
  • Discusses modeling and verification of parallel programming language, parallel programming patterns, and distributed systems
  • Demonstrates parallel programming language with its operational semantics, denotational semantics, axiomatic semantics, and their relations

Foire aux questions

Comment puis-je résilier mon abonnement ?
Il vous suffit de vous rendre dans la section compte dans paramĂštres et de cliquer sur « RĂ©silier l’abonnement ». C’est aussi simple que cela ! Une fois que vous aurez rĂ©siliĂ© votre abonnement, il restera actif pour le reste de la pĂ©riode pour laquelle vous avez payĂ©. DĂ©couvrez-en plus ici.
Puis-je / comment puis-je télécharger des livres ?
Pour le moment, tous nos livres en format ePub adaptĂ©s aux mobiles peuvent ĂȘtre tĂ©lĂ©chargĂ©s via l’application. La plupart de nos PDF sont Ă©galement disponibles en tĂ©lĂ©chargement et les autres seront tĂ©lĂ©chargeables trĂšs prochainement. DĂ©couvrez-en plus ici.
Quelle est la différence entre les formules tarifaires ?
Les deux abonnements vous donnent un accĂšs complet Ă  la bibliothĂšque et Ă  toutes les fonctionnalitĂ©s de Perlego. Les seules diffĂ©rences sont les tarifs ainsi que la pĂ©riode d’abonnement : avec l’abonnement annuel, vous Ă©conomiserez environ 30 % par rapport Ă  12 mois d’abonnement mensuel.
Qu’est-ce que Perlego ?
Nous sommes un service d’abonnement Ă  des ouvrages universitaires en ligne, oĂč vous pouvez accĂ©der Ă  toute une bibliothĂšque pour un prix infĂ©rieur Ă  celui d’un seul livre par mois. Avec plus d’un million de livres sur plus de 1 000 sujets, nous avons ce qu’il vous faut ! DĂ©couvrez-en plus ici.
Prenez-vous en charge la synthÚse vocale ?
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l’écouter. L’outil Écouter lit le texte Ă  haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l’accĂ©lĂ©rer ou le ralentir. DĂ©couvrez-en plus ici.
Est-ce que Theory of Structured Parallel Programming est un PDF/ePUB en ligne ?
Oui, vous pouvez accĂ©der Ă  Theory of Structured Parallel Programming par Yong Wang en format PDF et/ou ePUB ainsi qu’à d’autres livres populaires dans Ciencia de la computaciĂłn et Desarrollo de software. Nous disposons de plus d’un million d’ouvrages Ă  dĂ©couvrir dans notre catalogue.

Informations

Éditeur
Morgan Kaufmann
Année
2024
ISBN
9780443248153
Sujet
Ciencia de la computaciĂłn
Sous-sujet
Desarrollo de software

Table des matiĂšres

  1. Cover image
  2. Title page
  3. Table of Contents
  4. Copyright
  5. 1: Introduction
  6. 2: Parallelism and concurrency
  7. 3: Truly concurrent process algebra
  8. 4: Guarded APTC
  9. 5: Distributed APTC
  10. 6: Building blocks based structured parallel programming
  11. 7: Modeling and verification of parallel programming languages
  12. 8: Modeling and verification of parallel programming patterns
  13. 9: Modeling and verification of distributed systems
  14. A: A parallel programming language
  15. References
  16. Index
Normes de citation pour Theory of Structured Parallel Programming

APA 6 Citation

Wang, Y. (2024). Theory of Structured Parallel  Programming ([edition unavailable]). Morgan Kaufmann. Retrieved from https://www.perlego.com/book/4458670 (Original work published 2024)

Chicago Citation

Wang, Yong. (2024) 2024. Theory of Structured Parallel  Programming. [Edition unavailable]. Morgan Kaufmann. https://www.perlego.com/book/4458670.

Harvard Citation

Wang, Y. (2024) Theory of Structured Parallel  Programming. [edition unavailable]. Morgan Kaufmann. Available at: https://www.perlego.com/book/4458670 (Accessed: 24 June 2024).

MLA 7 Citation

Wang, Yong. Theory of Structured Parallel  Programming. [edition unavailable]. Morgan Kaufmann, 2024. Web. 24 June 2024.