Theory of Structured Parallel Programming
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

  1. 200 páginas
  2. English
  3. ePUB (apto para móviles)
  4. Disponible únicamente en el navegador
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

Detalles del libro
Índice
Citas

Información del 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

Preguntas frecuentes

¿Cómo cancelo mi suscripción?
Simplemente, dirígete a la sección ajustes de la cuenta y haz clic en «Cancelar suscripción». Así de sencillo. Después de cancelar tu suscripción, esta permanecerá activa el tiempo restante que hayas pagado. Obtén más información aquí.
¿Cómo descargo los libros?
Por el momento, todos nuestros libros ePub adaptables a dispositivos móviles se pueden descargar a través de la aplicación. La mayor parte de nuestros PDF también se puede descargar y ya estamos trabajando para que el resto también sea descargable. Obtén más información aquí.
¿En qué se diferencian los planes de precios?
Ambos planes te permiten acceder por completo a la biblioteca y a todas las funciones de Perlego. Las únicas diferencias son el precio y el período de suscripción: con el plan anual ahorrarás en torno a un 30 % en comparación con 12 meses de un plan mensual.
¿Qué es Perlego?
Somos un servicio de suscripción de libros de texto en línea que te permite acceder a toda una biblioteca en línea por menos de lo que cuesta un libro al mes. Con más de un millón de libros sobre más de 1000 categorías, ¡tenemos todo lo que necesitas! Obtén más información aquí.
¿Perlego ofrece la función de texto a voz?
Busca el símbolo de lectura en voz alta en tu próximo libro para ver si puedes escucharlo. La herramienta de lectura en voz alta lee el texto en voz alta por ti, resaltando el texto a medida que se lee. Puedes pausarla, acelerarla y ralentizarla. Obtén más información aquí.
¿Es Theory of Structured Parallel Programming un PDF/ePUB en línea?
Sí, puedes acceder a Theory of Structured Parallel Programming de Yong Wang en formato PDF o ePUB, así como a otros libros populares de Ciencia de la computación y Desarrollo de software. Tenemos más de un millón de libros disponibles en nuestro catálogo para que explores.

Información

Editorial
Morgan Kaufmann
Año
2024
ISBN
9780443248153
Categoría
Ciencia de la computación
Categoría
Desarrollo de software

Índice

  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
Estilos de citas para 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.