Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities - Couverture souple

Doroshenko, Anatoliy; Yatsenko, Olena

 
9781522593850: Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities

Synopsis

"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"--

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos des auteurs

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.

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9781522593843: Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities

Edition présentée

ISBN 10 :  1522593845 ISBN 13 :  9781522593843
Editeur : IGI Global, 2020
Couverture rigide