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...
Saved in:
| Date: | 2018 |
|---|---|
| Main Author: | Kolesnyk, V.G. |
| Format: | Article |
| Language: | Russian |
| Published: |
PROBLEMS IN PROGRAMMING
2018
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/218 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programmingSimilar Items
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)
by: Kolesnyk, V.G.
Published: (2017)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)
by: Kolesnyk, V.G.
Published: (2017)
DS-theory. The research of P-data factors formating
by: Kolesnyk, V.G.
Published: (2018)
by: Kolesnyk, V.G.
Published: (2018)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
by: Kolesnyk, V.G.
Published: (2017)
by: Kolesnyk, V.G.
Published: (2017)
Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)
by: Kudim, K.A., et al.
Published: (2017)
Toolkit for simulation of heterogeneous GPU-based environments
by: Okonsky, I.V., et al.
Published: (2025)
by: Okonsky, I.V., et al.
Published: (2025)
On performance of the In-Memory Data Grids
by: Rukhlis, K.A., et al.
Published: (2017)
by: Rukhlis, K.A., et al.
Published: (2017)
Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Representation of monadic effects in the non-monadic form
by: Shevchenko, R.S.
Published: (2024)
by: Shevchenko, R.S.
Published: (2024)
Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024)
by: Shevchenko, R.S., et al.
Published: (2024)
Parallel distributed system for social networks streaming data analysis
by: Doroshenko, А.Yu., et al.
Published: (2017)
by: Doroshenko, А.Yu., et al.
Published: (2017)
Toward software artifacts ecosystem
by: Sydorov, N.A.
Published: (2021)
by: Sydorov, N.A.
Published: (2021)
On the possibility of a systematic study of the production management systems
by: Kolesnyk, V.G.
Published: (2018)
by: Kolesnyk, V.G.
Published: (2018)
Parallel distributed implementation of workflow management module for operation support system for telecommunication providers
by: Doroshenko, А.Yu., et al.
Published: (2017)
by: Doroshenko, А.Yu., et al.
Published: (2017)
Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018)
by: Sydorov, N.A., et al.
Published: (2018)
Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
by: Doroshenko, A.Yu., et al.
Published: (2015)
by: Doroshenko, A.Yu., et al.
Published: (2015)
Automated development of a parallel distributed system for streaming data processing
by: Titov, D.S., et al.
Published: (2018)
by: Titov, D.S., et al.
Published: (2018)
On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
by: Ovdii, O.M.
Published: (2019)
by: Ovdii, O.M.
Published: (2019)
Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)
by: Sydorov, М.О.
Published: (2019)
Description model of programming style ecosystem
by: Sydorov, N.A., et al.
Published: (2020)
by: Sydorov, N.A., et al.
Published: (2020)
Algorithm for automatic loop parallelization for graphics processing units
by: Doroshenko, А.Yu., et al.
Published: (2018)
by: Doroshenko, А.Yu., et al.
Published: (2018)
Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)
by: Sulema, Y.S., et al.
Published: (2020)
Formal model of scientific publication
by: Reznichenko, V.A., et al.
Published: (2015)
by: Reznichenko, V.A., et al.
Published: (2015)
Extension of the program synthesis system to analyze large data sets
by: Ovdii, O.M.
Published: (2018)
by: Ovdii, O.M.
Published: (2018)
About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)
by: Lvov, M.S.
Published: (2025)
Regression testing: techniques and future research directions
by: Moroz, H.B., et al.
Published: (2025)
by: Moroz, H.B., et al.
Published: (2025)
Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)
by: Kolchin, A.V., et al.
Published: (2025)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)
by: Guba, A.A.
Published: (2025)
A GPU-based singular value decomposition algorithm
by: Sukharskyi, S.S.
Published: (2023)
by: Sukharskyi, S.S.
Published: (2023)
Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)
by: Doroshenko, А.Yu., et al.
Published: (2018)
The description of lists and sets of meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2020)
by: Kurgaev, A.F.
Published: (2020)
Component of programming. Theory and implementation
by: Lavrischeva, K.M.
Published: (2015)
by: Lavrischeva, K.M.
Published: (2015)
50 years of software engineering
by: Sydorov, N.A.
Published: (2019)
by: Sydorov, N.A.
Published: (2019)
Equivalence of two parallel execution systems
by: Panchenko, T.V., et al.
Published: (2018)
by: Panchenko, T.V., et al.
Published: (2018)
Automated generation of parallel programs for graphics processing units based on algorithm schemes
by: Doroshenko, А.Yu., et al.
Published: (2017)
by: Doroshenko, А.Yu., et al.
Published: (2017)
Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)
by: Shevchenko, R.S.
Published: (2018)
Decision support system for quality management in study process
by: Komleva, N.O., et al.
Published: (2020)
by: Komleva, N.O., et al.
Published: (2020)
Automated generation of programs for a class of parametric neuroevolution algorithms
by: Doroshenko, A.Yu., et al.
Published: (2023)
by: Doroshenko, A.Yu., et al.
Published: (2023)
TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)
by: Shevchenko, R.S., et al.
Published: (2019)
Similar Items
-
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017) -
DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017) -
DS-theory. The research of P-data factors formating
by: Kolesnyk, V.G.
Published: (2018) -
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
by: Kolesnyk, V.G.
Published: (2017) -
Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)