Theory of Structured Parallel Programming
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

  1. 200 pagine
  2. English
  3. ePUB (disponibile sull'app)
  4. Disponibile solo in versione web
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

Dettagli del libro
Indice dei contenuti
Citazioni

Informazioni sul libro

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

Domande frequenti

Come faccio ad annullare l'abbonamento?
È semplicissimo: basta accedere alla sezione Account nelle Impostazioni e cliccare su "Annulla abbonamento". Dopo la cancellazione, l'abbonamento rimarrà attivo per il periodo rimanente già pagato. Per maggiori informazioni, clicca qui
È possibile scaricare libri? Se sì, come?
Al momento è possibile scaricare tramite l'app tutti i nostri libri ePub mobile-friendly. Anche la maggior parte dei nostri PDF è scaricabile e stiamo lavorando per rendere disponibile quanto prima il download di tutti gli altri file. Per maggiori informazioni, clicca qui
Che differenza c'è tra i piani?
Entrambi i piani ti danno accesso illimitato alla libreria e a tutte le funzionalità di Perlego. Le uniche differenze sono il prezzo e il periodo di abbonamento: con il piano annuale risparmierai circa il 30% rispetto a 12 rate con quello mensile.
Cos'è Perlego?
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in più di 1.000 categorie, troverai sicuramente ciò che fa per te! Per maggiori informazioni, clicca qui.
Perlego supporta la sintesi vocale?
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Per maggiori informazioni, clicca qui.
Theory of Structured Parallel Programming è disponibile online in formato PDF/ePub?
Sì, puoi accedere a Theory of Structured Parallel Programming di Yong Wang in formato PDF e/o ePub, così come ad altri libri molto apprezzati nelle sezioni relative a Ciencia de la computación e Desarrollo de software. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.

Informazioni

Editore
Morgan Kaufmann
Anno
2024
ISBN
9780443248153
Argomento
Ciencia de la computación
Categoria
Desarrollo de software

Indice dei contenuti

  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
Stili delle citazioni per 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.