Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Authors:	Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/696
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Automated program design for solution of weather forecasting problem
by: Doroshenko, A.Yu., et al.
Published: (2018)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

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

Formal description of the types and - data structures mixed programmes
by: Stenyashin, A.Yu.
Published: (2025)

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

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

Programming gestures simulator with statistical modeling
by: Doroshenko, А.Yu., et al.
Published: (2017)

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)

Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)

Highly efficient methods for regional weather forecasting
by: Doroshenko, A.Yu., et al.
Published: (2005)

Conception of industry scientific software to decision scientific tasks
by: Lavrischeva, K.M.
Published: (2025)

Parallel non-negative sparse extra-large matrix factorization
by: Nasirov, E.M.
Published: (2025)

Model program, systems and operational environments
by: Lavrischeva, K.M.
Published: (2025)

One model of optimal resource allocation in homogeneous multiprocessor system
by: Doroshenko, A.Yu., et al.
Published: (2025)

Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)

Method of parallelization of loops for grid calculation problems on GPU accelerators
by: Doroshenko, А.Yu., et al.
Published: (2018)

Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)

Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)

The program technological complex of decision making in industrial enterprise management on early stages of crises changes
by: Masalitina, N.N., et al.
Published: (2025)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Automated program design for solution of weather forecasting problem
by: Yu. Doroshenko, et al.
Published: (2016)

An efficient computational method for mesoscale weather forecasting
by: V. A. Prusov, et al.
Published: (2020)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Doroshenko, А.Yu., et al.
Published: (2018)

Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017)

A resource limited parallel program model
by: Rahozin, D.V.
Published: (2019)

About the implementation of meteorological forecast interfaces for mobile platforms
by: Haydukevich, Y.O., et al.
Published: (2023)

Automated design of programs for .NET platform using Task Parallel Library
by: Yu. Doroshenko, et al.
Published: (2020)

Formal methods of parallel software design automation
by: Doroshenko, A.Yu., et al.
Published: (2020)

Automated design of programs for .NET platform using Task Parallel Library
by: Doroshenko, А.Yu., et al.
Published: (2020)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
by: Alekseev, V.A., et al.
Published: (2015)

The registration and accounting of the information about events in specialized informational-telecommunication systems
by: Alekseev, V.A., et al.
Published: (2025)

Comparative characteristics of methods of object-relational mapping
by: Lihatsky, I.A.
Published: (2025)

Support for the management of variability in the family of software systems
by: Kolesnik, A.L.
Published: (2015)

Virtualization of models of technical plants in educational and research problems in the development of control systems
by: Zherebko, V.A.
Published: (2017)

Development of applications in service-oriented architecture of Semantic Web
by: Deretskiy, V.A.
Published: (2025)