Зображення обкладинки

Formalized designing and generation of parallel program for numerical weather forecasting task

Algebra-algorithmic specifications for meteorological forecasting algorithms were developed using the integrated toolkit for designing and synthesis of programs. Sequential and parallel programs for solving the task of weather forecasting for the territory of Ukraine. The results of the experiment o...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автори:	Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 681.3
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/696
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)

Facilities for service-oriented programming of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Automated program design for solution of weather forecasting problem
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)

High level facilities for design automation of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Development of highly-parallel applications for graphical processing units using rewriting rules
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

Formal description of the types and - data structures mixed programmes
за авторством: Stenyashin, A.Yu.
Опубліковано: (2025)

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

Highly efficient methods for regional weather forecasting
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2005)

Construction of parallel algorithm for numeric solving multidimensional problem of environmental modeling
за авторством: Chernish, R.I., та інші
Опубліковано: (2026)

Programming gestures simulator with statistical modeling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

An efficient computational method for mesoscale weather forecasting
за авторством: Prusov, V.A., та інші
Опубліковано: (2020)

Generayive programming of program systems and their families
за авторством: Lavrisheva, K.M.
Опубліковано: (2026)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Approach to building factories of student programs
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)

Automated program design for solution of weather forecasting problem
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2016)

Method of parallelization of loops for grid calculation problems on GPU accelerators
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

analysis of parallel algorithm for constructing 2D Voronoi diagram
за авторством: Berezovskiy, K.A.
Опубліковано: (2026)

Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

An efficient computational method for mesoscale weather forecasting
за авторством: V. A. Prusov, та інші
Опубліковано: (2020)

Conception of industry scientific software to decision scientific tasks
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Approach to programming of applications with using of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)

Model program, systems and operational environments
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Parallel non-negative sparse extra-large matrix factorization
за авторством: Nasirov, E.M.
Опубліковано: (2025)

One model of optimal resource allocation in homogeneous multiprocessor system
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Formal and adaptive methods and software tools of parallel programming
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Approach to interconnection support between Java and MS.NET programming environments
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)

Problems and tools of designing and estimation of viable program system
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)

Technological aspects of viable software development using generative programming
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)

AWP – instrument for project and programming complex systems on the base system analisys
за авторством: Antonov, V.M., та інші
Опубліковано: (2026)