Theory of Structured Parallel Programming
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

  1. 200 Seiten
  2. English
  3. ePUB (handyfreundlich)
  4. Nur im Web verfügbar
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

Angaben zum Buch
Inhaltsverzeichnis
Quellenangaben

Über dieses Buch

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

Häufig gestellte Fragen

Wie kann ich mein Abo kündigen?
Gehe einfach zum Kontobereich in den Einstellungen und klicke auf „Abo kündigen“ – ganz einfach. Nachdem du gekündigt hast, bleibt deine Mitgliedschaft für den verbleibenden Abozeitraum, den du bereits bezahlt hast, aktiv. Mehr Informationen hier.
(Wie) Kann ich Bücher herunterladen?
Derzeit stehen all unsere auf Mobilgeräte reagierenden ePub-Bücher zum Download über die App zur Verfügung. Die meisten unserer PDFs stehen ebenfalls zum Download bereit; wir arbeiten daran, auch die übrigen PDFs zum Download anzubieten, bei denen dies aktuell noch nicht möglich ist. Weitere Informationen hier.
Welcher Unterschied besteht bei den Preisen zwischen den Aboplänen?
Mit beiden Aboplänen erhältst du vollen Zugang zur Bibliothek und allen Funktionen von Perlego. Die einzigen Unterschiede bestehen im Preis und dem Abozeitraum: Mit dem Jahresabo sparst du auf 12 Monate gerechnet im Vergleich zum Monatsabo rund 30 %.
Was ist Perlego?
Wir sind ein Online-Abodienst für Lehrbücher, bei dem du für weniger als den Preis eines einzelnen Buches pro Monat Zugang zu einer ganzen Online-Bibliothek erhältst. Mit über 1 Million Büchern zu über 1.000 verschiedenen Themen haben wir bestimmt alles, was du brauchst! Weitere Informationen hier.
Unterstützt Perlego Text-zu-Sprache?
Achte auf das Symbol zum Vorlesen in deinem nächsten Buch, um zu sehen, ob du es dir auch anhören kannst. Bei diesem Tool wird dir Text laut vorgelesen, wobei der Text beim Vorlesen auch grafisch hervorgehoben wird. Du kannst das Vorlesen jederzeit anhalten, beschleunigen und verlangsamen. Weitere Informationen hier.
Ist Theory of Structured Parallel Programming als Online-PDF/ePub verfügbar?
Ja, du hast Zugang zu Theory of Structured Parallel Programming von Yong Wang im PDF- und/oder ePub-Format sowie zu anderen beliebten Büchern aus Ciencia de la computación & Desarrollo de software. Aus unserem Katalog stehen dir über 1 Million Bücher zur Verfügung.

Information

Verlag
Morgan Kaufmann
Jahr
2024
ISBN
9780443248153
Thema
Ciencia de la computación
Thema
Desarrollo de software

Inhaltsverzeichnis

  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
Zitierstile für 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.