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...
Saved in:
| Date: | 2017 |
|---|---|
| Main Authors: | Akulovskiy, V.G., Doroshenko, А.Yu., Yatsenko, O.A. |
| Format: | Article |
| Language: | Russian |
| Published: |
PROBLEMS IN PROGRAMMING
2017
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/137 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programmingSimilar Items
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)
by: Yatsenko, O.A.
Published: (2025)
Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)
by: Doroshenko, А.Yu., et al.
Published: (2015)
Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
by: Yatsenko, O.A.
Published: (2015)
by: Yatsenko, O.A.
Published: (2015)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)
by: Yatsenko, O.A.
Published: (2025)
Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: V. G. Akulovskij, et al.
Published: (2015)
by: V. G. Akulovskij, et al.
Published: (2015)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)
by: Ignatenko, P.P., et al.
Published: (2015)
Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Automated generation of parallel programs for graphics processing units based on algorithm schemes
by: Doroshenko, А.Yu., et al.
Published: (2017)
by: Doroshenko, А.Yu., et al.
Published: (2017)
The completeness of the algorithm algebra with data
by: Akulovskiy, V.G., et al.
Published: (2018)
by: Akulovskiy, V.G., et al.
Published: (2018)
Programming gestures simulator with statistical modeling
by: Doroshenko, А.Yu., et al.
Published: (2017)
by: Doroshenko, А.Yu., et al.
Published: (2017)
Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)
by: Aronov, A.A., et al.
Published: (2025)
Model program, systems and operational environments
by: Lavrischeva, K.M.
Published: (2025)
by: Lavrischeva, K.M.
Published: (2025)
The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)
by: Lavrischeva, K.M., et al.
Published: (2025)
The algebraic model refactoring of components
by: Grischenko, V.N.
Published: (2015)
by: Grischenko, V.N.
Published: (2015)
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)
by: Bača, J., et al.
Published: (2015)
Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)
by: Ostrovskii, A.V.
Published: (2025)
Axiomatic models and methods used to design of language translators
by: Parasyuk, I.N., et al.
Published: (2015)
by: Parasyuk, I.N., et al.
Published: (2015)
Designing principles of the Intelligent information technology for organization decisions
by: Ilyina, E.P., et al.
Published: (2017)
by: Ilyina, E.P., et al.
Published: (2017)
Design of a terrain surface visualization program using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2019)
by: Doroshenko, А.Yu., et al.
Published: (2019)
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)
by: Masalitina, N.N., et al.
Published: (2025)
Agent model of information retrieval on the basis of beehive metaphor
by: Remarovich, S.S.
Published: (2025)
by: Remarovich, S.S.
Published: (2025)
Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
by: Назиров, Ш. А., et al.
Published: (2016)
by: Назиров, Ш. А., et al.
Published: (2016)
Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
by: Назиров, Ш. А., et al.
Published: (2016)
by: Назиров, Ш. А., et al.
Published: (2016)
Formal description of the types and - data structures mixed programmes
by: Stenyashin, A.Yu.
Published: (2025)
by: Stenyashin, A.Yu.
Published: (2025)
Automated program design for solution of weather forecasting problem
by: Doroshenko, A.Yu., et al.
Published: (2018)
by: Doroshenko, A.Yu., et al.
Published: (2018)
Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
by: Voznyuk, T.G.
Published: (2025)
by: Voznyuk, T.G.
Published: (2025)
Design of a terrain surface visualization program using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2019)
by: Yu. Doroshenko, et al.
Published: (2019)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2020)
by: Yu. Doroshenko, et al.
Published: (2020)
-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)
by: Shevchenko, R.S., et al.
Published: (2025)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2020)
by: Doroshenko, А.Yu., et al.
Published: (2020)
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
by: Maksymets, O.M.
Published: (2015)
by: Maksymets, O.M.
Published: (2015)
One model of optimal resource allocation in homogeneous multiprocessor system
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
About one technique for forming an object representation of relational data
by: Likhatsky, I.A.
Published: (2025)
by: Likhatsky, I.A.
Published: (2025)
Automated design of OpenCL programs based on algebra-algorithmic approach
by: Doroshenko, А.Yu., et al.
Published: (2019)
by: Doroshenko, А.Yu., et al.
Published: (2019)
Semantization of WIKI resources: tools, advantages and implementation specifics
by: Rogushina, J.V.
Published: (2024)
by: Rogushina, J.V.
Published: (2024)
Algebra for the description of data in the composite schemes of algorithms
by: Akulovskiy, V.G.
Published: (2015)
by: Akulovskiy, V.G.
Published: (2015)
Similar Items
-
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025) -
Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015) -
Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
by: Yatsenko, O.A.
Published: (2015) -
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025) -
Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)