Formal and adaptive methods for automation of parallel programs construction: emerging research and opportunities
"This book examines the improvement of productivity and efficiency in modern parallel computing systems and the development of methods and software tools for automated program design"--
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Hershey PA, USA
IGI Global, Publisher of Timely Knowledge
[2021]
|
| Series: | A volume in the Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series
Research insights |
| Subjects: | |
| Online Access: | DE-1050 DE-91 DE-706 DE-83 DE-898 Volltext |
| Summary: | "This book examines the improvement of productivity and efficiency in modern parallel computing systems and the development of methods and software tools for automated program design"-- |
| Physical Description: | 1 Online-Ressource (xvii, 279 Seiten) Diagramme |
| ISSN: | 2327-3461 |
| DOI: | 10.4018/978-1-5225-9384-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV047025129 | ||
| 003 | DE-604 | ||
| 005 | 20211126 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201124s2021 |||| o||u| ||||||eng d | ||
| 020 | |z 9781522593867 |9 978-1-5225-9386-7 | ||
| 024 | 7 | |a 10.4018/978-1-5225-9384-3 |2 doi | |
| 035 | |a (ZDB-98-IGB)978-1-5225-9386-7 | ||
| 035 | |a (OCoLC)1224483804 | ||
| 035 | |a (DE-599)BVBBV047025129 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1050 |a DE-706 |a DE-91 |a DE-83 |a DE-898 | ||
| 100 | 1 | |a Doroshenko, Anatoliy |d 1948- |e Verfasser |0 (DE-588)1067790500 |4 aut | |
| 245 | 1 | 0 | |a Formal and adaptive methods for automation of parallel programs construction |b emerging research and opportunities |c Anatoliy Doroshenko (Institute of Software Systems, Ukraine), Olena Yatsenko (Institute of Software Systems, Ukraine) |
| 264 | 1 | |a Hershey PA, USA |b IGI Global, Publisher of Timely Knowledge |c [2021] | |
| 264 | 4 | |c © 2021 | |
| 300 | |a 1 Online-Ressource (xvii, 279 Seiten) |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a A volume in the Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series |x 2327-3461 | |
| 490 | 0 | |a Research insights | |
| 505 | 8 | |a Chapter 1. Algebras of algorithms, parallel computing, and software auto-tuning -- Chapter 2. Formalized algorithm design and auto-tuning of programs -- Chapter 3. Term rewriting-based programming -- Chapter 4. Algebra-dynamic models for CPU- and GPU-parallel program design and the model of auto-tuning -- Chapter 5. Software tools for automated program design, synthesis, and auto-tuning -- Chapter 6. Practical examples of automated development of efficient parallel programs -- Chapter 7. Software design based on using ontologies and algorithm algebra | |
| 520 | |a "This book examines the improvement of productivity and efficiency in modern parallel computing systems and the development of methods and software tools for automated program design"-- | ||
| 650 | 4 | |a Parallel programming (Computer science) | |
| 650 | 4 | |a Automatic programming (Computer science) | |
| 650 | 7 | |a Automatic programming (Computer science) |2 fast | |
| 650 | 7 | |a Parallel programming (Computer science) |2 fast | |
| 700 | 1 | |a Yatsenko, Olena A. |d 1978- |e Verfasser |0 (DE-588)1243013729 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, hardcover |z 978-1-5225-9384-3 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, hardcover |z 1-5225-9384-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, softcover |z 978-1-5225-9385-0 |
| 856 | 4 | 0 | |u https://doi.org/10.4018/978-1-5225-9384-3 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-98-IGB | ||
| 966 | e | |u https://doi.org/10.4018/978-1-5225-9384-3 |l DE-1050 |p ZDB-98-IGB |q FHD01_IGB_Kauf |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-5225-9384-3 |l DE-91 |p ZDB-98-IGB |q TUM_Lizenz |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-5225-9384-3 |l DE-706 |p ZDB-98-IGB |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-5225-9384-3 |l DE-83 |p ZDB-98-IGB |q TUB_EBS_IGB |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-5225-9384-3 |l DE-898 |p ZDB-98-IGB |q FHR_PDA_IGB |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1805076697987416064 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Doroshenko, Anatoliy 1948- Yatsenko, Olena A. 1978- |
| author_GND | (DE-588)1067790500 (DE-588)1243013729 |
| author_facet | Doroshenko, Anatoliy 1948- Yatsenko, Olena A. 1978- |
| author_role | aut aut |
| author_sort | Doroshenko, Anatoliy 1948- |
| author_variant | a d ad o a y oa oay |
| building | Verbundindex |
| bvnumber | BV047025129 |
| collection | ZDB-98-IGB |
| contents | Chapter 1. Algebras of algorithms, parallel computing, and software auto-tuning -- Chapter 2. Formalized algorithm design and auto-tuning of programs -- Chapter 3. Term rewriting-based programming -- Chapter 4. Algebra-dynamic models for CPU- and GPU-parallel program design and the model of auto-tuning -- Chapter 5. Software tools for automated program design, synthesis, and auto-tuning -- Chapter 6. Practical examples of automated development of efficient parallel programs -- Chapter 7. Software design based on using ontologies and algorithm algebra |
| ctrlnum | (ZDB-98-IGB)978-1-5225-9386-7 (OCoLC)1224483804 (DE-599)BVBBV047025129 |
| doi_str_mv | 10.4018/978-1-5225-9384-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000 c 4500</leader><controlfield tag="001">BV047025129</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211126</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201124s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781522593867</subfield><subfield code="9">978-1-5225-9386-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-5225-9384-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-98-IGB)978-1-5225-9386-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1224483804</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047025129</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1050</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-898</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Doroshenko, Anatoliy</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1067790500</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal and adaptive methods for automation of parallel programs construction</subfield><subfield code="b">emerging research and opportunities</subfield><subfield code="c">Anatoliy Doroshenko (Institute of Software Systems, Ukraine), Olena Yatsenko (Institute of Software Systems, Ukraine)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey PA, USA</subfield><subfield code="b">IGI Global, Publisher of Timely Knowledge</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvii, 279 Seiten)</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">A volume in the Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series</subfield><subfield code="x">2327-3461</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Research insights</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Chapter 1. Algebras of algorithms, parallel computing, and software auto-tuning -- Chapter 2. Formalized algorithm design and auto-tuning of programs -- Chapter 3. Term rewriting-based programming -- Chapter 4. Algebra-dynamic models for CPU- and GPU-parallel program design and the model of auto-tuning -- Chapter 5. Software tools for automated program design, synthesis, and auto-tuning -- Chapter 6. Practical examples of automated development of efficient parallel programs -- Chapter 7. Software design based on using ontologies and algorithm algebra</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This book examines the improvement of productivity and efficiency in modern parallel computing systems and the development of methods and software tools for automated program design"--</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatic programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallel programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yatsenko, Olena A.</subfield><subfield code="d">1978-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1243013729</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, hardcover</subfield><subfield code="z">978-1-5225-9384-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, hardcover</subfield><subfield code="z">1-5225-9384-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, softcover</subfield><subfield code="z">978-1-5225-9385-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.4018/978-1-5225-9384-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-98-IGB</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-5225-9384-3</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">FHD01_IGB_Kauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-5225-9384-3</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUM_Lizenz</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-5225-9384-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-5225-9384-3</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-5225-9384-3</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">FHR_PDA_IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047025129 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:00:40Z |
| indexdate | 2024-07-20T06:01:25Z |
| institution | BVB |
| issn | 2327-3461 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032432522 |
| oclc_num | 1224483804 |
| open_access_boolean | |
| owner | DE-1050 DE-706 DE-91 DE-BY-TUM DE-83 DE-898 DE-BY-UBR |
| owner_facet | DE-1050 DE-706 DE-91 DE-BY-TUM DE-83 DE-898 DE-BY-UBR |
| physical | 1 Online-Ressource (xvii, 279 Seiten) Diagramme |
| psigel | ZDB-98-IGB ZDB-98-IGB FHD01_IGB_Kauf ZDB-98-IGB TUM_Lizenz ZDB-98-IGB TUB_EBS_IGB ZDB-98-IGB FHR_PDA_IGB |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | IGI Global, Publisher of Timely Knowledge |
| record_format | marc |
| series2 | A volume in the Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series Research insights |
| spelling | Doroshenko, Anatoliy 1948- Verfasser (DE-588)1067790500 aut Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities Anatoliy Doroshenko (Institute of Software Systems, Ukraine), Olena Yatsenko (Institute of Software Systems, Ukraine) Hershey PA, USA IGI Global, Publisher of Timely Knowledge [2021] © 2021 1 Online-Ressource (xvii, 279 Seiten) Diagramme txt rdacontent c rdamedia cr rdacarrier A volume in the Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series 2327-3461 Research insights Chapter 1. Algebras of algorithms, parallel computing, and software auto-tuning -- Chapter 2. Formalized algorithm design and auto-tuning of programs -- Chapter 3. Term rewriting-based programming -- Chapter 4. Algebra-dynamic models for CPU- and GPU-parallel program design and the model of auto-tuning -- Chapter 5. Software tools for automated program design, synthesis, and auto-tuning -- Chapter 6. Practical examples of automated development of efficient parallel programs -- Chapter 7. Software design based on using ontologies and algorithm algebra "This book examines the improvement of productivity and efficiency in modern parallel computing systems and the development of methods and software tools for automated program design"-- Parallel programming (Computer science) Automatic programming (Computer science) Automatic programming (Computer science) fast Parallel programming (Computer science) fast Yatsenko, Olena A. 1978- Verfasser (DE-588)1243013729 aut Erscheint auch als Druck-Ausgabe, hardcover 978-1-5225-9384-3 Erscheint auch als Druck-Ausgabe, hardcover 1-5225-9384-5 Erscheint auch als Druck-Ausgabe, softcover 978-1-5225-9385-0 https://doi.org/10.4018/978-1-5225-9384-3 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Doroshenko, Anatoliy 1948- Yatsenko, Olena A. 1978- Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities Chapter 1. Algebras of algorithms, parallel computing, and software auto-tuning -- Chapter 2. Formalized algorithm design and auto-tuning of programs -- Chapter 3. Term rewriting-based programming -- Chapter 4. Algebra-dynamic models for CPU- and GPU-parallel program design and the model of auto-tuning -- Chapter 5. Software tools for automated program design, synthesis, and auto-tuning -- Chapter 6. Practical examples of automated development of efficient parallel programs -- Chapter 7. Software design based on using ontologies and algorithm algebra Parallel programming (Computer science) Automatic programming (Computer science) Automatic programming (Computer science) fast Parallel programming (Computer science) fast |
| title | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities |
| title_auth | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities |
| title_exact_search | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities |
| title_exact_search_txtP | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities |
| title_full | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities Anatoliy Doroshenko (Institute of Software Systems, Ukraine), Olena Yatsenko (Institute of Software Systems, Ukraine) |
| title_fullStr | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities Anatoliy Doroshenko (Institute of Software Systems, Ukraine), Olena Yatsenko (Institute of Software Systems, Ukraine) |
| title_full_unstemmed | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities Anatoliy Doroshenko (Institute of Software Systems, Ukraine), Olena Yatsenko (Institute of Software Systems, Ukraine) |
| title_short | Formal and adaptive methods for automation of parallel programs construction |
| title_sort | formal and adaptive methods for automation of parallel programs construction emerging research and opportunities |
| title_sub | emerging research and opportunities |
| topic | Parallel programming (Computer science) Automatic programming (Computer science) Automatic programming (Computer science) fast Parallel programming (Computer science) fast |
| topic_facet | Parallel programming (Computer science) Automatic programming (Computer science) |
| url | https://doi.org/10.4018/978-1-5225-9384-3 |
| work_keys_str_mv | AT doroshenkoanatoliy formalandadaptivemethodsforautomationofparallelprogramsconstructionemergingresearchandopportunities AT yatsenkoolenaa formalandadaptivemethodsforautomationofparallelprogramsconstructionemergingresearchandopportunities |