Theory of structured parallel programming
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 analyse...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, MA
Morgan Kaufmann
[2024]
|
| Ausgabe: | First edition. |
| Schlagworte: | |
| Online-Zugang: | lizenzpflichtig |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a22000002 4500 | ||
|---|---|---|---|
| 001 | ZDB-30-ORH-103620990 | ||
| 003 | DE-627-1 | ||
| 005 | 20240603113655.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 240603s2024 xx |||||o 00| ||eng c | ||
| 020 | |a 9780443248153 |c electronic bk. |9 978-0-443-24815-3 | ||
| 020 | |a 044324815X |c electronic bk. |9 0-443-24815-X | ||
| 035 | |a (DE-627-1)103620990 | ||
| 035 | |a (DE-599)KEP103620990 | ||
| 035 | |a (ORHE)9780443248153 | ||
| 035 | |a (DE-627-1)103620990 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 082 | 0 | |a 005.2/75 |2 23/eng/20240430 | |
| 100 | 1 | |a Wang, Yong |e VerfasserIn |4 aut | |
| 245 | 1 | 0 | |a Theory of structured parallel programming |c Yong Wang |
| 250 | |a First edition. | ||
| 264 | 1 | |a Cambridge, MA |b Morgan Kaufmann |c [2024] | |
| 300 | |a 1 online resource (200 pages) |b illustrations | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 520 | |a 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. | ||
| 650 | 0 | |a Parallel programming (Computer science) | |
| 650 | 4 | |a Programmation parallèle (Informatique) | |
| 856 | 4 | 0 | |l TUM01 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9780443248153/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
| 912 | |a ZDB-30-ORH | ||
| 951 | |a BO | ||
| 912 | |a ZDB-30-ORH | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-30-ORH-103620990 |
|---|---|
| _version_ | 1818767369871294464 |
| adam_text | |
| any_adam_object | |
| author | Wang, Yong |
| author_facet | Wang, Yong |
| author_role | aut |
| author_sort | Wang, Yong |
| author_variant | y w yw |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-30-ORH |
| ctrlnum | (DE-627-1)103620990 (DE-599)KEP103620990 (ORHE)9780443248153 |
| dewey-full | 005.2/75 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.2/75 |
| dewey-search | 005.2/75 |
| dewey-sort | 15.2 275 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | First edition. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02463nam a22003732 4500</leader><controlfield tag="001">ZDB-30-ORH-103620990</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240603113655.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">240603s2024 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780443248153</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-443-24815-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">044324815X</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-443-24815-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)103620990</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP103620990</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9780443248153</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)103620990</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2/75</subfield><subfield code="2">23/eng/20240430</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wang, Yong</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory of structured parallel programming</subfield><subfield code="c">Yong Wang</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, MA</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">[2024]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (200 pages)</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation parallèle (Informatique)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">TUM01</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9780443248153/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-30-ORH-103620990 |
| illustrated | Illustrated |
| indexdate | 2024-12-18T08:48:48Z |
| institution | BVB |
| isbn | 9780443248153 044324815X |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 online resource (200 pages) illustrations |
| psigel | ZDB-30-ORH |
| publishDate | 2024 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| spelling | Wang, Yong VerfasserIn aut Theory of structured parallel programming Yong Wang First edition. Cambridge, MA Morgan Kaufmann [2024] 1 online resource (200 pages) illustrations Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Includes bibliographical references and index 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. Parallel programming (Computer science) Programmation parallèle (Informatique) TUM01 ZDB-30-ORH TUM_PDA_ORH https://learning.oreilly.com/library/view/-/9780443248153/?ar X:ORHE Aggregator lizenzpflichtig Volltext |
| spellingShingle | Wang, Yong Theory of structured parallel programming Parallel programming (Computer science) Programmation parallèle (Informatique) |
| title | Theory of structured parallel programming |
| title_auth | Theory of structured parallel programming |
| title_exact_search | Theory of structured parallel programming |
| title_full | Theory of structured parallel programming Yong Wang |
| title_fullStr | Theory of structured parallel programming Yong Wang |
| title_full_unstemmed | Theory of structured parallel programming Yong Wang |
| title_short | Theory of structured parallel programming |
| title_sort | theory of structured parallel programming |
| topic | Parallel programming (Computer science) Programmation parallèle (Informatique) |
| topic_facet | Parallel programming (Computer science) Programmation parallèle (Informatique) |
| url | https://learning.oreilly.com/library/view/-/9780443248153/?ar |
| work_keys_str_mv | AT wangyong theoryofstructuredparallelprogramming |