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, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA)
IGI Global
[2019]
|
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| 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: | 17 PDFs (279 Seiten) Also available in print. |
| Format: | Mode of access: World Wide Web. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9781522593867 |
| Access: | Restricted to subscribers or individual electronic text purchasers. |
Staff View
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-98-IGB-00220805 | ||
| 003 | IGIG | ||
| 005 | 20200901122507.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 Seiten) | ||
| 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 | 0 | |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 | |
| 653 | |a Algorithm Specifications. | ||
| 653 | |a Algorithmic Language. | ||
| 653 | |a Auto-Tuning Methods. | ||
| 653 | |a Automated Software Design. | ||
| 653 | |a Graphics Processing. | ||
| 653 | |a Multicore Processors. | ||
| 653 | |a Parallel Computing. | ||
| 653 | |a Parameter-Driven Models. | ||
| 653 | |a Programming Methods. | ||
| 653 | |a Term Rewriting. | ||
| 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 |
| 966 | 4 | 0 | |l DE-862 |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 |
| 966 | 4 | 0 | |l DE-863 |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-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-98-IGB-00220805 |
|---|---|
| _version_ | 1826942596395565056 |
| 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>03180nam a2200637 i 4500</leader><controlfield tag="001">ZDB-98-IGB-00220805</controlfield><controlfield tag="003">IGIG</controlfield><controlfield tag="005">20200901122507.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 Seiten)</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="0" 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="653" ind1=" " ind2=" "><subfield code="a">Algorithm Specifications.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Algorithmic Language.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Auto-Tuning Methods.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Automated Software Design.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Graphics Processing.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Multicore Processors.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Parallel Computing.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Parameter-Driven Models.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Programming Methods.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Term Rewriting.</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="966" ind1="4" ind2="0"><subfield code="l">DE-862</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="966" ind1="4" ind2="0"><subfield code="l">DE-863</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-862</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 | 2025-03-18T14:30:31Z |
| institution | BVB |
| isbn | 9781522593867 |
| language | English |
| oclc_num | 1192324038 |
| open_access_boolean | |
| owner | DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 17 PDFs (279 Seiten) Also available in print. |
| psigel | ZDB-98-IGB FWS_PDA_IGB 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 Seiten) 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 Algorithm Specifications. Algorithmic Language. Auto-Tuning Methods. Automated Software Design. Graphics Processing. Multicore Processors. Parallel Computing. Parameter-Driven Models. Programming Methods. Term Rewriting. Yatsenko, Olena 1978- author. IGI Global, publisher. (Original) (DLC)2019000519 Print version: 1522593845 9781522593843 (DLC) 2019000519 |
| 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) |
| work_keys_str_mv | AT doroshenkoanatoliy formalandadaptivemethodsforautomationofparallelprogramsconstructionemergingresearchandopportunities AT yatsenkoolena formalandadaptivemethodsforautomationofparallelprogramsconstructionemergingresearchandopportunities AT igiglobal formalandadaptivemethodsforautomationofparallelprogramsconstructionemergingresearchandopportunities |