Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
1. Verfasser:	Akulovsky, V.G.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 519.683
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1018
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

Some aspects of formalization of an architectural development cycle of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

Semantic web and Wiki-systems
von: Glibovets, A.M., et al.
Veröffentlicht: (2025)

Construction concepts of the integrated environment architecture of generative programming
von: Morentsov, Y.I.
Veröffentlicht: (2026)

Fundamentals of data-based algorithm algebra
von: Akulovsky, V.G.
Veröffentlicht: (2026)

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)

Composition and properties of data specified in compositional schemes of algorithms
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., 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)

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

Block algorithm for Householder transformations for hybrid architecture computers
von: Popov, O.V., et al.
Veröffentlicht: (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
von: Kuksa, A.I.
Veröffentlicht: (2015)

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

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

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

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

About the influence of features of fitness-functions on the convergence of the genetic algorithm
von: Lukianov, I.O., et al.
Veröffentlicht: (2020)

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

Method for parallelizing nonlinear tasks
von: Paulin, O.N., et al.
Veröffentlicht: (2026)

Parallel implementation of directed search processes for optimal solutions
von: Pepelyaev, V.A., et al.
Veröffentlicht: (2026)

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

Compositional-nominative logics over hierarchical data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2026)

Optimization problems solution for queuing systems with failure under uncertainty
von: Kopytchuk, M.B., et al.
Veröffentlicht: (2025)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
von: Lazarenko, S.V., et al.
Veröffentlicht: (2025)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
von: Tereshchenko, A.N.
Veröffentlicht: (2017)

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

The operating model of communicative informations systems
von: Zubenko, V.V.
Veröffentlicht: (2025)

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

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

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

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

Methods of automated algorithms schemes transformation
von: Shkulipa, I.Yu., et al.
Veröffentlicht: (2026)

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

Features of implementation of toolkit for transformational synthesis of parallel algorithms
von: Mohnitsa, A.S., et al.
Veröffentlicht: (2026)

Multi-criteria analysis of the grid-systems security risk violation
von: Lavrenyuk, S.I., et al.
Veröffentlicht: (2026)

Bicomponent sorting algorithms
von: Shynkarenko, V. I., et al.
Veröffentlicht: (2023)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
von: Nepomniaschaya, A.S.
Veröffentlicht: (2026)

Test scenarios generation based on formal model
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

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