DS-theory. Presentation of canonical algorithm by means of algorithmic language

DS-theory. Presentation of canonical algorithm by means of algorithmic language

This work continues the description of the decomposition scheme as a theoretical model, which makes possible generation of the applied algorithms. The description of the algorithmic language made for show the possibility of algorithms generation is given. One of the factors' group is described,...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2017
Автор:	Kolesnyk, V.G.
Формат:	Стаття
Мова:	Ukrainian
Опубліковано:	Інститут програмних систем НАН України 2017
Теми:	generation of the applied algorithms УДК: 004.424 004.415
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/124
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming

Репозитарії

Problems in programming

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

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

DS-theory. The research of P-data factors formating
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

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

Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)

Parallel distributed implementation of parallel processing simulation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

On performance of the In-Memory Data Grids
за авторством: Rukhlis, K.A., та інші
Опубліковано: (2017)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

On the possibility of a systematic study of the production management systems
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

DS-theory as a prototype of the theory of applied algorithms
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

The description of lists and sets of meta-language of normal forms of knowledge
за авторством: Kurgaev, A.F.
Опубліковано: (2020)

Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)

A GPU-based singular value decomposition algorithm
за авторством: Sukharskyi, S.S.
Опубліковано: (2023)

Parallel distributed system for social networks streaming data analysis
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

Automated generation of programs for a class of parametric neuroevolution algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Parallel algorithms optimization using Actor Model
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Genetic algorithm for structural adaptation of sorting algorithms
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2024)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Parallel distributed implementation of workflow management module for operation support system for telecommunication providers
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Study of the efficiency of some deterministic preprocessing methods for sorting algorithms
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2023)

Optimization methods for face recognition algorithmes
за авторством: Sitkov, I.P., та інші
Опубліковано: (2025)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

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

Automated translation from Ukrainian to sign language: algorithmic implementation
за авторством: Krak, Yu.V., та інші
Опубліковано: (2025)

Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2018)

Interface-oriented approach to modelling tools for multi-agent systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

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

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Analysis of Genetic Algorithms for solving the 2D Orthogonal Strip Packing Problem
за авторством: Glybovets, M.M., та інші
Опубліковано: (2018)

Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)

Adaptive Discrete Models of Functionally Represented Object Shapes
за авторством: Choporov, S.V.
Опубліковано: (2018)

Slit system partial closure simulation in a stringer reinforced perforated isotropic medium
за авторством: Mir-Salim-zade, M.V.
Опубліковано: (2018)

Solution of the Structural Optimization Problem of a Multiagent Approach Based Cutter Design
за авторством: Anosov, V.L., та інші
Опубліковано: (2019)