Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
Hauptverfasser:	Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/696
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Automated program design for solution of weather forecasting problem
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)

Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

An efficient computational method for mesoscale weather forecasting
von: V. A. Prusov, et al.
Veröffentlicht: (2020)

Automated program design for solution of weather forecasting problem
von: Yu. Doroshenko, et al.
Veröffentlicht: (2016)

Formal and adaptive methods and software tools of parallel programming
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

Formal description of the types and - data structures mixed programmes
von: Stenyashin, A.Yu.
Veröffentlicht: (2025)

Automated design of programs for .NET platform using Task Parallel Library
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Method of parallelization of loops for grid calculation problems on GPU accelerators
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Automated design of programs for .NET platform using Task Parallel Library
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2017)

Formal methods of parallel software design automation
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

Deeplearning-based approach to improving numerical weather forecasts
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2023)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

User-centric technology stack for weather and air pollution forecasting
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

A resource limited parallel program model
von: Rahozin, D.V.
Veröffentlicht: (2019)

About the implementation of meteorological forecast interfaces for mobile platforms
von: Haydukevich, Y.O., et al.
Veröffentlicht: (2023)

Algorithm for automatic loop parallelization for graphics processing units
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Algorithm for automatic loop parallelization for graphics processing units
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Approach to building factories of student programs
von: Aronov, A.A., et al.
Veröffentlicht: (2025)

Performance analysis of massively parallel programs for graphics processing units
von: Rahozin, D.V.
Veröffentlicht: (2023)

Conception of industry scientific software to decision scientific tasks
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

Parallel non-negative sparse extra-large matrix factorization
von: Nasirov, E.M.
Veröffentlicht: (2025)

Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

One model of optimal resource allocation in homogeneous multiprocessor system
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Approach to interconnection support between Java and MS.NET programming environments
von: Ostrovskii, A.V.
Veröffentlicht: (2025)

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)

Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)

Application of Petri component nets in the checking task of parallel distributed systems
von: Lukyanova, E.A.
Veröffentlicht: (2025)