Cover Image

Some approaches to the control and transformation of algorithms over the analysis of the data which are specified

The approaches to the control of a correctness of algorithms, over the analysis of the data which are specified also approaches to optimization of consecutive algorithms as a result of transformation of streams of the data are offered.Problems in programming 2008; 4: 84-93

Saved in:

Bibliographic Details
Date:	2026
Main Author:	Akulovsky, V.G.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 519.683
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1018
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
by: Akulovskiy, V.G.
Published: (2026)

Some aspects of formalization of an architectural development cycle of algorithms
by: Akulovskiy, V.G.
Published: (2026)

Semantic web and Wiki-systems
by: Glibovets, A.M., et al.
Published: (2025)

Construction concepts of the integrated environment architecture of generative programming
by: Morentsov, Y.I.
Published: (2026)

Fundamentals of data-based algorithm algebra
by: Akulovsky, V.G.
Published: (2026)

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

Composition and properties of data specified in compositional schemes of algorithms
by: Akulovsky, V.G., et al.
Published: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)

Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)

Methods of forward and backward symbolic modeling of systems specified by basic protocols
by: Potienko, S.V.
Published: (2026)

Block algorithm for Householder transformations for hybrid architecture computers
by: Popov, O.V., et al.
Published: (2025)

Application of GIS to Systems Analysis of Environmental Health Data in Context of Risk Assessment. Part 1: General Description of the Domain and the Problems
by: Kuksa, A.I.
Published: (2015)

The completeness of the algorithm algebra with data
by: Akulovskiy, V.G., et al.
Published: (2018)

Algebra for the description of data in the composite schemes of algorithms
by: Akulovskiy, V.G.
Published: (2015)

Backward transformation of formulas in symbolic modeling: from the result to the source formula
by: Godlevsky, A.B., et al.
Published: (2026)

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

About the influence of features of fitness-functions on the convergence of the genetic algorithm
by: Lukianov, I.O., et al.
Published: (2020)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)

Method for parallelizing nonlinear tasks
by: Paulin, O.N., et al.
Published: (2026)

Parallel implementation of directed search processes for optimal solutions
by: Pepelyaev, V.A., et al.
Published: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
by: Romm, Ya. E., et al.
Published: (2026)

Optimization problems solution for queuing systems with failure under uncertainty
by: Kopytchuk, M.B., et al.
Published: (2025)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
by: Lazarenko, S.V., et al.
Published: (2025)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
by: Tereshchenko, A.N.
Published: (2017)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
by: Zavadskyi, I.O.
Published: (2025)

The operating model of communicative informations systems
by: Zubenko, V.V.
Published: (2025)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

Compositional-nominative logics over hierarchical data
by: Nikitchenko, M.S., et al.
Published: (2026)

Methods of automated algorithms schemes transformation
by: Shkulipa, I.Yu., et al.
Published: (2026)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Features of implementation of toolkit for transformational synthesis of parallel algorithms
by: Mohnitsa, A.S., et al.
Published: (2026)

Multi-criteria analysis of the grid-systems security risk violation
by: Lavrenyuk, S.I., et al.
Published: (2026)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
by: Nepomniaschaya, A.S.
Published: (2026)

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

Bicomponent sorting algorithms
by: Shynkarenko, V. I., et al.
Published: (2023)