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...
Gespeichert in:
| 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: | |
| 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)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)
Facilities for service-oriented programming of parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)
Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
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)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)
High level facilities for design automation of parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)
The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)
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)
von: Doroshenko, А.Yu., 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)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
Development of highly-parallel applications for graphical processing units using rewriting rules
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)
Formal description of the types and - data structures mixed programmes
von: Stenyashin, A.Yu.
Veröffentlicht: (2025)
von: Stenyashin, A.Yu.
Veröffentlicht: (2025)
Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
von: Ivanenko, P.A., et al.
Veröffentlicht: (2026)
von: Ivanenko, P.A., et al.
Veröffentlicht: (2026)
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)
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2017)
Highly efficient methods for regional weather forecasting
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2005)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2005)
Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)
von: Yatsenko, O.A.
Veröffentlicht: (2025)
Features of implementation of toolkit for transformational synthesis of parallel algorithms
von: Mohnitsa, A.S., et al.
Veröffentlicht: (2026)
von: Mohnitsa, A.S., et al.
Veröffentlicht: (2026)
Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)
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)
von: Yatsenko, O.A.
Veröffentlicht: (2025)
An efficient computational method for mesoscale weather forecasting
von: Prusov, V.A., et al.
Veröffentlicht: (2020)
von: Prusov, V.A., et al.
Veröffentlicht: (2020)
Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
Approach to building factories of student programs
von: Aronov, A.A., et al.
Veröffentlicht: (2025)
von: Aronov, A.A., et al.
Veröffentlicht: (2025)
Method of parallelization of loops for grid calculation problems on GPU accelerators
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
Automated program design for solution of weather forecasting problem
von: Yu. Doroshenko, et al.
Veröffentlicht: (2016)
von: Yu. Doroshenko, et al.
Veröffentlicht: (2016)
Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
An efficient computational method for mesoscale weather forecasting
von: V. A. Prusov, et al.
Veröffentlicht: (2020)
von: V. A. Prusov, et al.
Veröffentlicht: (2020)
Conception of industry scientific software to decision scientific tasks
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
Approach to programming of applications with using of Semantic Web-services
von: Deretsky, V.A.
Veröffentlicht: (2026)
von: Deretsky, V.A.
Veröffentlicht: (2026)
Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
Parallel non-negative sparse extra-large matrix factorization
von: Nasirov, E.M.
Veröffentlicht: (2025)
von: Nasirov, E.M.
Veröffentlicht: (2025)
One model of optimal resource allocation in homogeneous multiprocessor system
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
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)
von: Ostrovskii, A.V.
Veröffentlicht: (2025)
Formal and adaptive methods and software tools of parallel programming
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)
Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)
von: Bača, J., et al.
Veröffentlicht: (2015)
Technological aspects of viable software development using generative programming
von: Ignatenko, P.P., et al.
Veröffentlicht: (2026)
von: Ignatenko, P.P., et al.
Veröffentlicht: (2026)
AWP – instrument for project and programming complex systems on the base system analisys
von: Antonov, V.M., et al.
Veröffentlicht: (2026)
von: Antonov, V.M., et al.
Veröffentlicht: (2026)
Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments
von: Alekseev, V.A., et al.
Veröffentlicht: (2026)
von: Alekseev, V.A., et al.
Veröffentlicht: (2026)
Automated design of programs for .NET platform using Task Parallel Library
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)
Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
Ähnliche Einträge
-
Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025) -
Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026) -
Facilities for service-oriented programming of parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026) -
Algebra-dynamic models for program parallelization
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)