Methods of automated algorithms schemes transformation
А method of automated tools for algorithms transformation, based on their representation in the form of SAA-M schemes is covered. The methods to apply equivalent transforms for algorithms are described. Methods to implement an automated SAA-M-schemes transformer are proposed. Implementation of the a...
Збережено в:
| Дата: | 2026 |
|---|---|
| Автори: | Shkulipa, I.Yu., Pogorily, S.D. |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2026
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/921 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
Genetic algorithm for solving routing problems in networks
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2026)
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2026)
Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)
High level facilities for design automation of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)
за авторством: Slabospitska, O.O.
Опубліковано: (2025)
A system for the automated design of digital image filters
за авторством: Zhereb, K.A., та інші
Опубліковано: (2026)
за авторством: Zhereb, K.A., та інші
Опубліковано: (2026)
The approach of cluster system interfaces implementation
за авторством: Marianovskyi, V.A., та інші
Опубліковано: (2026)
за авторством: Marianovskyi, V.A., та інші
Опубліковано: (2026)
Problem of automation of situational management of protection of zones of the responsibility
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)
Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
Construction of parallel algorithm for numeric solving multidimensional problem of environmental modeling
за авторством: Chernish, R.I., та інші
Опубліковано: (2026)
за авторством: Chernish, R.I., та інші
Опубліковано: (2026)
Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)
Methodology for developing an automated information system for the recording and forward planning of sanatorium, spa and rehabilitation treatment for victims
за авторством: Chadyuk, A.V., та інші
Опубліковано: (2026)
за авторством: Chadyuk, A.V., та інші
Опубліковано: (2026)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)
Algorithmic algebra tools on the Web 2.0 platform
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)
Multivariance of the notations of representation of algorithms of operation of software as path to their verification
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)
analysis of parallel algorithm for constructing 2D Voronoi diagram
за авторством: Berezovskiy, K.A.
Опубліковано: (2026)
за авторством: Berezovskiy, K.A.
Опубліковано: (2026)
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
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)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
за авторством: Voznyuk, T.G.
Опубліковано: (2025)
за авторством: Voznyuk, T.G.
Опубліковано: (2025)
Comparative characteristics of methods of object-relational mapping
за авторством: Lihatsky, I.A.
Опубліковано: (2025)
за авторством: Lihatsky, I.A.
Опубліковано: (2025)
Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
Formal description of the types and - data structures mixed programmes
за авторством: Stenyashin, A.Yu.
Опубліковано: (2025)
за авторством: Stenyashin, A.Yu.
Опубліковано: (2025)
Programming gestures simulator with statistical modeling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)
-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)
Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Facilities for service-oriented programming of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
Development of highly-parallel applications for graphical processing units using rewriting rules
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (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)
One model of optimal resource allocation in homogeneous multiprocessor system
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Features of the modern automation systems of education quality control. Comparative analysis
за авторством: Gajtan, E.N.
Опубліковано: (2017)
за авторством: Gajtan, E.N.
Опубліковано: (2017)
Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
за авторством: Назиров, Ш. А., та інші
Опубліковано: (2016)
за авторством: Назиров, Ш. А., та інші
Опубліковано: (2016)
Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
за авторством: Назиров, Ш. А., та інші
Опубліковано: (2016)
за авторством: Назиров, Ш. А., та інші
Опубліковано: (2016)
On some technology of project modeling of stochastic manufacturing technological processes
за авторством: Maksimey, I.V., та інші
Опубліковано: (2015)
за авторством: Maksimey, I.V., та інші
Опубліковано: (2015)
Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
The stand of simulation of the shunting depot of the railway system
за авторством: Sukach, E.I.
Опубліковано: (2026)
за авторством: Sukach, E.I.
Опубліковано: (2026)
Approach to building factories of student programs
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)
Схожі ресурси
-
Genetic algorithm for solving routing problems in networks
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2026) -
Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017) -
Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026) -
High level facilities for design automation of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026) -
Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)