Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Дата:	2026
Автор:	Akulovsky, V.G.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 519.683
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1018
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)

Some aspects of formalization of an architectural development cycle of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)

Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)

Construction concepts of the integrated environment architecture of generative programming
за авторством: Morentsov, Y.I.
Опубліковано: (2026)

Fundamentals of data-based algorithm algebra
за авторством: Akulovsky, V.G.
Опубліковано: (2026)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Composition and properties of data specified in compositional schemes of algorithms
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Methods of forward and backward symbolic modeling of systems specified by basic protocols
за авторством: Potienko, S.V.
Опубліковано: (2026)

Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (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
за авторством: Kuksa, A.I.
Опубліковано: (2015)

The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)

Algebra for the description of data in the composite schemes of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2015)

Backward transformation of formulas in symbolic modeling: from the result to the source formula
за авторством: Godlevsky, A.B., та інші
Опубліковано: (2026)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
за авторством: Maksymets, O.M.
Опубліковано: (2015)

About the influence of features of fitness-functions on the convergence of the genetic algorithm
за авторством: Lukianov, I.O., та інші
Опубліковано: (2020)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

Method for parallelizing nonlinear tasks
за авторством: Paulin, O.N., та інші
Опубліковано: (2026)

Parallel implementation of directed search processes for optimal solutions
за авторством: Pepelyaev, V.A., та інші
Опубліковано: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
за авторством: Romm, Ya. E., та інші
Опубліковано: (2026)

Compositional-nominative logics over hierarchical data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2026)

Optimization problems solution for queuing systems with failure under uncertainty
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
за авторством: Tereshchenko, A.N.
Опубліковано: (2017)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)

The operating model of communicative informations systems
за авторством: Zubenko, V.V.
Опубліковано: (2025)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

Methods of automated algorithms schemes transformation
за авторством: Shkulipa, I.Yu., та інші
Опубліковано: (2026)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)

Multi-criteria analysis of the grid-systems security risk violation
за авторством: Lavrenyuk, S.I., та інші
Опубліковано: (2026)

Bicomponent sorting algorithms
за авторством: Shynkarenko, V. I., та інші
Опубліковано: (2023)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
за авторством: Nepomniaschaya, A.S.
Опубліковано: (2026)

Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
за авторством: Kolchin, A.V.
Опубліковано: (2026)