Formal and Adaptive Methods for Automation of Parallel Programs Construction
Emerging Research and Opportunities
Seiten
2020
IGI Global (Verlag)
978-1-5225-9384-3 (ISBN)
IGI Global (Verlag)
978-1-5225-9384-3 (ISBN)
Solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further improve research on design, synthesis, and optimization of sequential and parallel algorithms and programs.
Emerging scientific and industrial applications in today's world require significant computing power. Modern software tools are available for such platforms but are relatively complex and require the use of innovative programming models. One promising area in modern software design is the development, analysis, and implementation of algorithms and adaptive methods. These advancements in programming are promising but lack relevant research and understanding.
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities is an essential reference source that solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further develop and improve existing research on design, synthesis, and optimization of sequential and parallel algorithms and programs. Featuring research on topics such as auto-tuning methods, graphics processing, and algorithmic language, this book is ideally designed for mathematicians, software engineers, data scientists, researchers, academicians, and students seeking coverage on developing tools for automated design and parallel programs.
Emerging scientific and industrial applications in today's world require significant computing power. Modern software tools are available for such platforms but are relatively complex and require the use of innovative programming models. One promising area in modern software design is the development, analysis, and implementation of algorithms and adaptive methods. These advancements in programming are promising but lack relevant research and understanding.
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities is an essential reference source that solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further develop and improve existing research on design, synthesis, and optimization of sequential and parallel algorithms and programs. Featuring research on topics such as auto-tuning methods, graphics processing, and algorithmic language, this book is ideally designed for mathematicians, software engineers, data scientists, researchers, academicians, and students seeking coverage on developing tools for automated design and parallel programs.
Olena A. Yatsenko has graduated from International Solomon University (Kyiv, Ukraine). In 2005, she has received the degree of Doctor of Philosophy in Physics and Mathematics from Kyiv National University by Taras Shevchenko. Her research interests include development of algebraic algorithmic models, formal methods and software tools for automated design and synthesis of parallel programs, application of developed methods and tools for constructing high-performance programs for multiprocessor and cloud platforms. She has more than 50 scientific publications, including two monographs and a textbook. She is affiliated with Institute of Software Systems of the National Academy of Sciences of Ukraine.
| Erscheinungsdatum | 11.06.2019 |
|---|---|
| Verlagsort | Hershey |
| Sprache | englisch |
| Maße | 178 x 254 mm |
| Gewicht | 633 g |
| Themenwelt | Informatik ► Web / Internet ► Web Design / Usability |
| Informatik ► Weitere Themen ► Hardware | |
| ISBN-10 | 1-5225-9384-5 / 1522593845 |
| ISBN-13 | 978-1-5225-9384-3 / 9781522593843 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
alles, was Sie über Gestaltung im Web wissen sollten
Buch | Softcover (2023)
Rheinwerk (Verlag)
CHF 41,85
das umfassende Handbuch
Buch | Hardcover (2023)
Rheinwerk (Verlag)
CHF 69,85
