Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2017
Hauptverfasser:	Akulovskiy, V.G., Doroshenko, А.Yu., Yatsenko, O.A.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2017
Schlagworte:	UDC 681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/137
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
von: Yatsenko, O.A.
Veröffentlicht: (2015)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
von: V. G. Akulovskij, et al.
Veröffentlicht: (2015)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., 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)

The completeness of the algorithm algebra with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2018)

Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Approach to building factories of student programs
von: Aronov, A.A., et al.
Veröffentlicht: (2025)

Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

The algebraic model refactoring of components
von: Grischenko, V.N.
Veröffentlicht: (2015)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)

Design of a terrain surface visualization program using algebra-algorithmic tools
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2019)

Approach to interconnection support between Java and MS.NET programming environments
von: Ostrovskii, A.V.
Veröffentlicht: (2025)

Axiomatic models and methods used to design of language translators
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

Designing principles of the Intelligent information technology for organization decisions
von: Ilyina, E.P., et al.
Veröffentlicht: (2017)

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

Agent model of information retrieval on the basis of beehive metaphor
von: Remarovich, S.S.
Veröffentlicht: (2025)

Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
von: Назиров, Ш. А., et al.
Veröffentlicht: (2016)

Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
von: Назиров, Ш. А., et al.
Veröffentlicht: (2016)

Formal description of the types and - data structures mixed programmes
von: Stenyashin, A.Yu.
Veröffentlicht: (2025)

Automated program design for solution of weather forecasting problem
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)

Design of a terrain surface visualization program using algebra-algorithmic tools
von: Yu. Doroshenko, et al.
Veröffentlicht: (2019)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
von: Voznyuk, T.G.
Veröffentlicht: (2025)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
von: Maksymets, O.M.
Veröffentlicht: (2015)

One model of optimal resource allocation in homogeneous multiprocessor system
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Automated design of OpenCL programs based on algebra-algorithmic approach
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2019)

About one technique for forming an object representation of relational data
von: Likhatsky, I.A.
Veröffentlicht: (2025)

Algebra for the description of data in the composite schemes of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2015)

Semantization of WIKI resources: tools, advantages and implementation specifics
von: Rogushina, J.V.
Veröffentlicht: (2024)