Formal and adaptive methods and software tools of parallel programming

А.Yu. Doroshenko, O.G. Beketov, K.A. Zhereb, P.A. Ivanenko, О.М. Ovdii, R.S. Shevchenko, O.A. Yatsenko


A review of the results of the development of formal and adaptive methods and software, achieved in recent years in the Institute of Software Systems of the National Academy of Sciences of Ukraine, based on the algebra-algorith­mic approach and the technique of rewriting rules is given. The methods are developed to automate the design, generation and transformation of parallel programs for a wide range of multiprocessor computing platforms and find application for various application areas, in particular for the effective implementation of meteorological forecasting tasks.

 Problems in programming 2017; 3: 19-30


programming automation; algebra of algorithms; meteorological forecasting; parallel computation; rewriting rules technique

Full Text:



Glushkov V.M. (1965) Automata theory and structural design problems of digital machines. Cybernetics. (5). P. 1-10. (in Russian). CrossRef

Glushkov V.M., Tseitlin G.E. & Yushchenko E.L. (1980) Methods of symbolic multiprocessing. Kyiv: Naukova dumka. (in Russian).

Glushkov V.M., Tseitlin G.E. & Yushchenko E.L. (1989) Algebra. Languages. Programming. 3rd edition. Kyiv: Naukova dumka. (in Russian).

Kapitonova Yu.V. & Letichevsky A.A. (2003) Paradigms and ideas of academician V.M. Glushkov. Kyiv: Naukova dumka. (in Russian).

Kapitonova Yu.V. & Letichevsky A.A. (1993) Algebraic programming: methods and tools. Cybernetics. (3). P. 7-12. (in Russian). CrossRef

Letichevsky A.A., Kapitonova Yu.V. & Konozenko S.V. (1993) Computations in APS. Theoretical computer science. 119. P. 145-171. CrossRef

Andon P.I. et al. (2007) Algebra-algorithmic models and methods of parallel programming. Kyiv: Akademperiodika. (in Russian).

Andon P.I. et al. (2017) Methods of algebraic programming. Formal methods of parallel program development. Kyiv: Naukova dumka. (in Russian).

Doroshenko A. & Shevchenko R. (2006) A rewriting framework for rule-based programming dynamic applications. Fundamenta Informaticae. 72 (1-3). P. 95-108.

Andon P.I., Doroshenko A.Yu. & Zhereb K.A. (2011) Programming high-performance parallel computations: formal models and graphics processing units. Cybernetics and Systems Analysis. (4). P. 176-187. (in Russian). CrossRef

Doroshenko A.Yu., Beketov O.G., Prusov V.A., Tyrchak Yu.M. & Yatsenko O.A. (2014) Formalized designing and generation of parallel program for numerical weather forecasting task. Problems in programming. (2-3). P. 72-81. (in Ukrainian).

Andon P.I., Doroshenko A.Yu., Beketov O.G., Iovchev V.O. & Yatsenko O.A. (2015) Software tools for automation of parallel programming on the basis of algebra of algorithms. Cybernetics and systems analysis. (1). P. 162-170. (in Russian). CrossRef

Doroshenko A.Yu., Beketov O.G., Ivaniv R.B., Iovchev V.O., Myronenko I.O. & Yatsenko O.A. (2015) Automated generation of parallel programs for graphics processing units based on algorithm schemes. Problems in programming. (1). P. 19-28. (in Ukrainian).

Doroshenko A., Zhereb K. & Yatsenko O. (2013) Developing and optimizing parallel programs with algebra-algorithmic and term rewriting tools. In Proc. 9th International Conference "ICT in Education, Research, and Industrial Applications" (ICTERI 2013), Revised Selected Papers. Kherson, Ukraine, 19-22 June 2013. Berlin: Springer. 412. P. 70-92. CrossRef

Yatsenko O.A. (2012) Facilities for parameter-driven generation of algorithms on the basis algebra of hyperschemes. Problems in programming. (2-3). P. 219-227. (in Russian).

Akulovskiy V.G. & Doroshenko А.Yu. (2013) Description of parallelism in the algorithms of the information/control systems with algebraic facilities. Problems in programming. (3). P. 13-21. (in Russian).

Akulovskiy V.G. & Doroshenko А.Yu. (2014) Transformation of algorithms written in the form of composition schemes. Cybernetics and Systems Analysis. (1). P. 151-159. (in Russian). CrossRef

Akulovskiy V.G., Doroshenko А.Yu. & Yatsenko O.A. (2015) Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data. Problems in programming. (2). P. 41-51. (in Russian).

Оkonsky І.V., Doroshenko А.Yu. & Zhereb К.А. (2013) Instrumental means of simulation of heterogeneous environments based on graphics processing units. Problems in programming. (1). P. 107-115. (in Ukrainian).

Doroshenko А.Yu., Оkonsky І.V., Zhereb К.А. & Beketov О.G. (2013) Using means of simulation for determining optimal parameters for running programs on GPU. Problems in Programming. (2). P. 23-31. (in Ukrainian).

Doroshenko А.Yu. & Gnynjuk M.V. (2014) Parallel distributed implementation of simulation of parallel computation. Problems in programming. (1). P. 40-48. (in Ukrainian).

Rukhlis K.A. & Doroshenko А.Yu. (2015) On the performance of the in-memory data grids. Problems in programming. (3). P. 33-38. (in Russian).

Titov D.S., Doroshenko A.Yu. & Yatsenko O.A. (2016) Automated development of a parallel system for distributed streaming data processing. Problems in programming. (2-3). P. 96-104. (in Ukrainian).CrossRef

Ivanenko P.A. & Doroshenko А.Yu. (2014) Method of automated generation of autotuners for parallel programs. Cybernetics and systems analysis. (3). P. 161-173. (in Russian). CrossRef

Ivanenko P., Doroshenko A. & Zhereb K. (2014) TuningGenie: auto-tuning framework based on rewriting rules. In Proc. 10th International Conference "ICT in Education, Research, and Industrial Applications" (ICTERI 2014), Revised Selected Papers. Kherson, Ukraine, 9-12 June 2014. Berlin: Springer. 469. P. 139-158. CrossRef

Ivanenko P.A. & Doroshenko А.Yu. (2012) Automatic optimization of execution for the meteorological forecasting problem. Problems in programming. (2-3). P. 426-434. (in Ukrainian).

Doroshenko A.Yu., Beketov O.G. Yatsenko O.A., Pavliuchyn T.O. & Vitriak Ie.A. (2014) Development of the service-oriented soft-ware for launching parallel programs on a multiprocessor cluster. Problems in programming. (4). P. 3-14. (in Ukrainian).

Doroshenko A.Yu., Ivanenko P.A., Ovdii O.M. & Yatsenko O.A. (2016) Automated program design for solution of weather forecasting problem. Problems in programming. (1). P. 102-115. (in Ukrainian). CrossRef

Beketov O.G., Vitriak Ie.A., Myronenko I.O. & Ovdii O.M. (2016) Development of meteorological forecasting web portal on multiprocessor platform. Problems in programming. (2-3). P. 246-253. (in Ukrainian).

Wilt N. (2013) The CUDA handbook. A comprehensive guide to GPU programming. Boston: Addison-Wesley.

Sulistio A., Cibej U., Venugopal S., Robic B. & Buyya R. (2008) A toolkit for modelling and simulating data Grids: an extension to GridSim. Concurrency and Computation: Practice & Experience. 20 (13). P. 1591-1609. CrossRef

Veentjer P. (2015) Mastering Hazelcast: the ultimate Hazelcast book. Palo Alto: Hazelcast.



  • There are currently no refbacks.