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"--
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA) :
IGI Global,
[2019]
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "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"-- |
| Beschreibung: | 17 PDFs (279 pages) Also available in print. |
| Format: | Mode of access: World Wide Web. |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781522593867 |
| Zugangseinschränkungen: | Restricted to subscribers or individual electronic text purchasers. |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-98-IGB-00220805 | ||
| 003 | IGIG | ||
| 005 | 20200829133637.0 | ||
| 006 | m eo d | ||
| 007 | cr bn |||m|||a | ||
| 008 | 200830s2019 pau fob 001 0 eng d | ||
| 010 | |z 2019000519 | ||
| 020 | |a 9781522593867 |q eISBN | ||
| 020 | |z 1522593845 | ||
| 020 | |z 1522593853 | ||
| 020 | |z 9781522593843 |q h/c | ||
| 020 | |z 9781522593850 |q s/c | ||
| 024 | 7 | |a 10.4018/978-1-5225-9384-3 |2 doi | |
| 035 | |a (CaBNVSL)slc00000717 | ||
| 035 | |a (OCoLC)1192324038 | ||
| 040 | |a CaBNVSL |b eng |e rda |c CaBNVSL |d CaBNVSL | ||
| 050 | 4 | |a QA76.642 |b .D67 2019e | |
| 082 | 7 | |a 005.2/75 |2 23 | |
| 100 | 1 | |a Doroshenko, Anatoliy, |d 1948- |e author. | |
| 245 | 1 | 0 | |a Formal and adaptive methods for automation of parallel programs construction |b emerging research and opportunities |c by Anatoliy Doroshenko and Olena Yatsenko. |
| 264 | 1 | |a Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA) : |b IGI Global, |c [2019] | |
| 300 | |a 17 PDFs (279 pages) | ||
| 336 | |a text |2 rdacontent | ||
| 337 | |a electronic |2 isbdmedia | ||
| 338 | |a online resource |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |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. | |
| 506 | |a Restricted to subscribers or individual electronic text purchasers. | ||
| 520 | 3 | |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"-- |c Provided by publisher. | |
| 530 | |a Also available in print. | ||
| 538 | |a Mode of access: World Wide Web. | ||
| 588 | |a Description based on title screen (IGI Global, viewed 08/30/2020). | ||
| 650 | 0 | |a Automatic programming (Computer science) | |
| 650 | 0 | |a Parallel 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 |d 1978- |e author. | |
| 710 | 2 | |a IGI Global, |e publisher. | |
| 776 | 0 | |c (Original) |w (DLC)2019000519 | |
| 776 | 0 | 8 | |i Print version: |z 1522593845 |z 9781522593843 |w (DLC) 2019000519 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-98-IGB |q FWS_PDA_IGB |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9384-3 |3 Volltext |
| 912 | |a ZDB-98-IGB | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-98-IGB-00220805 |
|---|---|
| _version_ | 1816797081852968961 |
| adam_text | |
| any_adam_object | |
| author | Doroshenko, Anatoliy, 1948- Yatsenko, Olena 1978- |
| author_facet | Doroshenko, Anatoliy, 1948- Yatsenko, Olena 1978- |
| author_role | aut aut |
| author_sort | Doroshenko, Anatoliy, 1948- |
| author_variant | a d ad o y oy |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.642 .D67 2019e |
| callnumber-search | QA76.642 .D67 2019e |
| callnumber-sort | QA 276.642 D67 42019E |
| callnumber-subject | QA - Mathematics |
| 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 | (CaBNVSL)slc00000717 (OCoLC)1192324038 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02800nam a2200517 i 4500</leader><controlfield tag="001">ZDB-98-IGB-00220805</controlfield><controlfield tag="003">IGIG</controlfield><controlfield tag="005">20200829133637.0</controlfield><controlfield tag="006">m eo d </controlfield><controlfield tag="007">cr bn |||m|||a</controlfield><controlfield tag="008">200830s2019 pau fob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2019000519</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781522593867</subfield><subfield code="q">eISBN</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1522593845</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1522593853</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781522593843</subfield><subfield code="q">h/c</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781522593850</subfield><subfield code="q">s/c</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">(CaBNVSL)slc00000717</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1192324038</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">CaBNVSL</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="c">CaBNVSL</subfield><subfield code="d">CaBNVSL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.642</subfield><subfield code="b">.D67 2019e</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.2/75</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Doroshenko, Anatoliy,</subfield><subfield code="d">1948-</subfield><subfield code="e">author.</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">by Anatoliy Doroshenko and Olena Yatsenko.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA) :</subfield><subfield code="b">IGI Global,</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 PDFs (279 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">electronic</subfield><subfield code="2">isbdmedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" 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="506" ind1=" " ind2=" "><subfield code="a">Restricted to subscribers or individual electronic text purchasers.</subfield></datafield><datafield tag="520" ind1="3" 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><subfield code="c">Provided by publisher.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Also available in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: World Wide Web.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on title screen (IGI Global, viewed 08/30/2020).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Parallel 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</subfield><subfield code="d">1978-</subfield><subfield code="e">author.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IGI Global,</subfield><subfield code="e">publisher.</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">(Original)</subfield><subfield code="w">(DLC)2019000519</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="z">1522593845</subfield><subfield code="z">9781522593843</subfield><subfield code="w">(DLC) 2019000519</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">FWS_PDA_IGB</subfield><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9384-3</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-98-IGB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-98-IGB-00220805 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-26T14:51:54Z |
| institution | BVB |
| isbn | 9781522593867 |
| language | English |
| oclc_num | 1192324038 |
| open_access_boolean | |
| owner | DE-863 DE-BY-FWS |
| owner_facet | DE-863 DE-BY-FWS |
| physical | 17 PDFs (279 pages) Also available in print. |
| psigel | ZDB-98-IGB |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | IGI Global, |
| record_format | marc |
| spelling | Doroshenko, Anatoliy, 1948- author. Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities by Anatoliy Doroshenko and Olena Yatsenko. Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA) : IGI Global, [2019] 17 PDFs (279 pages) text rdacontent electronic isbdmedia online resource rdacarrier Includes bibliographical references and index. 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. Restricted to subscribers or individual electronic text purchasers. "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"-- Provided by publisher. Also available in print. Mode of access: World Wide Web. Description based on title screen (IGI Global, viewed 08/30/2020). Automatic programming (Computer science) Parallel programming (Computer science) Automatic programming (Computer science) fast Parallel programming (Computer science) fast Yatsenko, Olena 1978- author. IGI Global, publisher. (Original) (DLC)2019000519 Print version: 1522593845 9781522593843 (DLC) 2019000519 FWS01 ZDB-98-IGB FWS_PDA_IGB http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9384-3 Volltext |
| spellingShingle | Doroshenko, Anatoliy, 1948- Yatsenko, Olena 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. Automatic programming (Computer science) Parallel 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_full | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities by Anatoliy Doroshenko and Olena Yatsenko. |
| title_fullStr | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities by Anatoliy Doroshenko and Olena Yatsenko. |
| title_full_unstemmed | Formal and adaptive methods for automation of parallel programs construction emerging research and opportunities by Anatoliy Doroshenko and Olena Yatsenko. |
| 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 | Automatic programming (Computer science) Parallel programming (Computer science) Automatic programming (Computer science) fast Parallel programming (Computer science) fast |
| topic_facet | Automatic programming (Computer science) Parallel programming (Computer science) |
| url | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9384-3 |
| work_keys_str_mv | AT doroshenkoanatoliy formalandadaptivemethodsforautomationofparallelprogramsconstructionemergingresearchandopportunities AT yatsenkoolena formalandadaptivemethodsforautomationofparallelprogramsconstructionemergingresearchandopportunities AT igiglobal formalandadaptivemethodsforautomationofparallelprogramsconstructionemergingresearchandopportunities |