Formal and Adaptive Methods for Automation of Parallel Programs Construction de Anatoliy Doroshenko

Formal and Adaptive Methods for Automation of Parallel Programs Construction

Anatoliy Doroshenko

Olena Yatsenko

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.

Citește tot Restrânge

	Preț	Express
Paperback (1)	876^.59 lei 6-8 săpt.
Engineering Science Reference – 22 aug 2020	876^.59 lei 6-8 săpt.
Hardback (1)	1142^.56 lei 6-8 săpt.
Engineering Science Reference – 23 aug 2020	1142^.56 lei 6-8 săpt.

Preț

Express

Paperback (1)

876^.59 lei 6-8 săpt.

Engineering Science Reference – 22 aug 2020

876^.59 lei 6-8 săpt.

Hardback (1)

1142^.56 lei 6-8 săpt.

Engineering Science Reference – 23 aug 2020

1142^.56 lei 6-8 săpt.

Notă biografică

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.