Formal and Adaptive Methods for Automation of Parallel Programs Construction
Emerging Research and Opportunities
Published on 28. August 2020
Book
Hardback
195 pages
978-1-5225-9384-3 (ISBN)
Description
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.
More details
Language
English
Place of publication
Hershey
United States
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 260 mm
Width: 183 mm
Thickness: 21 mm
Weight
770 gr
ISBN-13
978-1-5225-9384-3 (9781522593843)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Anatoliy Doroshenko | Olena Yatsenko
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Emerging Research and Opportunities
Book
08/2020
IGI Global
€167.10
Shipment within 15-20 days
Persons
Anatoliy Doroshenko has graduated from Kyiv National University by Taras Shevchenko (Kyiv, Ukraine). He has received his degrees of Ph.D. (1989) and Doctor of Sciences (1997) both from Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine (Kyiv, Ukraine). His research interests include high-performance computing algorithms, programming methods, algebraic algorithmic models, and formal methods and adaptive programming techniques for automated software design. In 1997 he gas got the position of Research Director in Institute of Software Systems of the National Academy of Sciences of Ukraine where he carried out several research projects at the National Academy of Sciences of Ukraine and in the framework of international programs Copernicus, INTAS, NATO Science program and others related to the development of software tools for automated parallel program design and their application. Since 2005, he is a Professor of the Department of Informatics and Computer Engineering of the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute". He is the author of 8 monographs and more than 200 research papers. He is a member of the ACM. Affiliated with National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" and Institute of Software Systems of the National Academy of Sciences of Ukraine.