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

DS-theory. Scientific aspects and prospects for development

The work presents the theory of decomposition schemes as a scientific theory. It’s attributes – paradigm, field of research, aim of research, main task, decision method, basic theory model – decomposition scheme were described. Practical aim of the theory is to suggest the mechanism of applied algo...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автор:	Kolesnyk, V.G.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2018
Теми:	algorithm analysis generation data decomposition science program engineering programming process structure synthesis UDC 004.424 004.415
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/218
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	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. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

DS-theory. The research of P-data factors formating
за авторством: 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)

Toolkit for simulation of heterogeneous GPU-based environments
за авторством: Okonsky, I.V., та інші
Опубліковано: (2025)

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

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

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

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

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

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

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)

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

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

Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)

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

Automated development of a parallel distributed system for streaming data processing
за авторством: Titov, D.S., та інші
Опубліковано: (2018)

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
за авторством: Ovdii, O.M.
Опубліковано: (2019)

Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)

Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)

Algorithm for automatic loop parallelization for graphics processing units
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)

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

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

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

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

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

Extension of the program synthesis system to analyze large data sets
за авторством: Ovdii, O.M.
Опубліковано: (2018)

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

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

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

Component of programming. Theory and implementation
за авторством: Lavrischeva, K.M.
Опубліковано: (2015)

50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)

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

Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

Decision support system for quality management in study process
за авторством: Komleva, N.O., та інші
Опубліковано: (2020)

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

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)