Algebra-Algorithmic Models and Methods of Parallel Programing

Software system for analyzing cloudiness based on satellite observations

“…За допомогою системи для автоматизації проектування робочих процесів на основі алгеброалгоритмічного та онтологічного інструментарію ОКРП [11] було спроектовано робочий процес для системи Apache Oozie, призначеної для управління роботами Apache Hadoop. Система ОКРП є подальшим розвитком методологій та інструментів, що ґрунтуються на засобах високорівневої алгеброалгоритмічної формалізації і автоматизації перетворень програм [12][13][14][15][16], зокрема експериментальної інструментальної системи ІПС для конструювання та оптимізації паралельних програм, а також її онлайн версії системи ОДСП. З метою підтримки масштабованості та оптимізації обробки великого обсягу супутникових знімків для реалізації аналізу зображень було використано фреймворк Apache Spark.…”

Formal methods of parallel software design automation

“…The main distinctive feature of our approach consists in using algebraic spe ci fications based on SAA and represented in a natural linguistic form simplifying the understanding of algorithms and facilitating the achievement of demanded software quality. Another advantage of our tools is the method of automated design of syntactically correct algorithm specifications [2], which eliminates syntax errors during the construction of schemes.…”

“…The signature GA Ω consists of logic operations (disjunction, conjunction, negation) and operator constructs, which can be represented in analytic, natural linguistic, and flowgraph forms. In this paper, we use the natural linguistic form based on the algorithmic language SAA/1 [2] intended for the multilevel structured designing and documenting of sequential and parallel algorithms and programs in the form of SAA schemes. The main operator constructs of SAA/1 include the following:…”

“…In [2], additional constructs to design parallel programs for GPUs using Nvidia CUDA [7] were added. In particular, they included the operation calling the kernel function executed by parallel threads:…”

“…The algebra-algorithmic approach is supported by tools developed within the framework of Kyiv algebraic-cybernetic school. Particularly, they include the Integrated toolkit for Design and Synthesis of programs (IDS) [2,3] and the term rewriting system TermWare [1]. The main components of IDS are the constructor intended for the dialogue design of syntactically correct schemes of algorithms represented in SAA and the synthesis of programs in C, C++, Java languages and the database containing the description of SAA constructs, basic predicates and operators, and their program implementations.…”