program design and synthesis 2 проектирование и синтез программ 2 UDC 004.4'2 1 UDC 004.4'24 1 algebra of algorithms 1 distributed computin 1 general-purpose computing on graphics processing units 1 loop optimization 1 ontology 1 parallelization methods 1 workflow 1 УДК 004.4'2 1 УДК 004.4'24 1 алгебра алгоритмов 1 алгебра алгоритмів 1 вычисления общего назначения на графических процессорах 1 методи паралелізації 1 методы параллелизации 1 обчислення загального призначення на графічних процесорах 1 онтология 1 онтологія 1 оптимизация циклов 1 оптимізація циклів 1 проектування та синтез програм 1 проектування і синтез програм 1 рабочие процессы 1 распределенные вычисления 1 робочі процеси 1 розподілені обчислення 1