Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
The development of the algebra-algorithmic toolkit for designing and synthesis of programs for constructing of specifications of algorithms, which combine common definition of data and execution processes in algebra of algorithms with data, is proposed. The application of the proposed algebraic appr...
Збережено в:
| Дата: | 2017 |
|---|---|
| Автори: | Akulovskiy, V.G., Doroshenko, А.Yu., Yatsenko, O.A. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2017
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/137 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2015)
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2015)
Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
за авторством: Yatsenko, O.A.
Опубліковано: (2015)
за авторством: Yatsenko, O.A.
Опубліковано: (2015)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Problems and tools of designing and estimation of viable program system
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)
Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Algorithmic algebra tools on the Web 2.0 platform
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)
Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)
Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Facilities for service-oriented programming of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
High level facilities for design automation of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
Technological aspects of viable software development using generative programming
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)
Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)
Programming gestures simulator with statistical modeling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)
An estimation of efficiency of algorithms of cryptographic compression of built is on basis of tree of Shterna - Broko
за авторством: Glinchuk, L.Ya.
Опубліковано: (2026)
за авторством: Glinchuk, L.Ya.
Опубліковано: (2026)
Generayive programming of program systems and their families
за авторством: Lavrisheva, K.M.
Опубліковано: (2026)
за авторством: Lavrisheva, K.M.
Опубліковано: (2026)
Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)
A system for the automated design of digital image filters
за авторством: Zhereb, K.A., та інші
Опубліковано: (2026)
за авторством: Zhereb, K.A., та інші
Опубліковано: (2026)
Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)
Fundamentals of data-based algorithm algebra
за авторством: Akulovsky, V.G.
Опубліковано: (2026)
за авторством: Akulovsky, V.G.
Опубліковано: (2026)
Construction concepts of the integrated environment architecture of generative programming
за авторством: Morentsov, Y.I.
Опубліковано: (2026)
за авторством: Morentsov, Y.I.
Опубліковано: (2026)
Modifications effective implementation generator tests
за авторством: Andriyanov, V.A., та інші
Опубліковано: (2026)
за авторством: Andriyanov, V.A., та інші
Опубліковано: (2026)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)
Approach to building factories of student programs
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)
Model program, systems and operational environments
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)
Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)
Automated program design for solution of weather forecasting problem
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)
The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)
Approach to programming of applications with using of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)
за авторством: Deretsky, V.A.
Опубліковано: (2026)
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)
за авторством: Bača, J., та інші
Опубліковано: (2015)
The algebraic model refactoring of components
за авторством: Grischenko, V.N.
Опубліковано: (2015)
за авторством: Grischenko, V.N.
Опубліковано: (2015)
Схожі ресурси
-
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025) -
Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026) -
Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015) -
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2015) -
Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
за авторством: Yatsenko, O.A.
Опубліковано: (2015)