| |
| Issue |
Title |
| |
| No 2-3 (2018) |
Parallel software auto-tuning using statistical modeling and machine learning |
Abstract
PDF (Українська)
|
|
А.Yu. Doroshenko, P.A. Ivanenko, O.S. Novak, O.A. Yatsenko |
| |
| No 4 (2020) |
A software technology providing tuning procedures of a quantitative model of human hemodynamics |
Abstract
PDF (Українська)
|
|
R.D. Grygoryan, O.I. Yurchak, А.G. Degoda, T.V. Lyudovyk |
| |
| No 2-3 (2024) |
Human face recognition system in video stream |
Abstract
PDF (Українська)
|
|
S.V. Popereshnyak, R.O. Skoryk, D.V. Kuptsov, R.V. Kravchenko |
| |
| No 2-3 (2018) |
Context term calculus for rewriting systems |
Abstract
PDF (Українська)
|
|
R.S. Shevchenko |
| |
| No 2-3 (2020) |
Domain engineering approach of software requirements analysis |
Abstract
PDF
|
|
O.V. Chebanyuk, O.V. Palahin, K.K. Markov |
| |
| No 2-3 (2024) |
Method of managing the execution of tasks of a multithreaded program according to a given dependency graph |
Abstract
PDF (Українська)
|
|
K.P. Nesterenko, I.V. Stetsenko |
| |
| No 3-4 (2022) |
Maximum independent sets of graph vertices searching for software projects improvement |
Abstract
PDF (Українська)
|
|
O.O. Slabospitska, P.I. Stetsyuk, O.M. Khomiak |
| |
| No 2-3 (2020) |
Models of concurrent program running in resource constrained environment |
Abstract
PDF
|
|
D.V. Rahozin |
| |
| No 4 (2018) |
Information Technology for Computer Systems Applied Software Development and Usage Cost expert-analytical estimation |
Abstract
PDF (Українська)
|
|
P.I. Andon, I.P. Sinitsyn, P.P. Ignatenko, О.А. Slabospitskaya |
| |
| No 1 (2018) |
Software engineering ontologies categorization |
Abstract
PDF
|
|
N.A. Sydorov, N.N. Sydorova, I.B. Mendzebrovsky |
| |
| No 2-3 (2024) |
The software tool of constructive-synthesizing modeling |
Abstract
PDF (Українська)
|
|
V.I. Shynkarenko, R.R. Chyhir |
| |
| No 2 (2017) |
The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment |
Abstract
PDF (Українська)
|
|
Y.I. Morentsov |
| |
| No 3-4 (2022) |
Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media |
Abstract
PDF (Українська)
|
|
A.Yu. Doroshenko, M. R. Petryk, D. M. Mykhalyk, P. A. Ivanenko, O.A. Yatsenko |
| |
| No 4 (2016) |
Hybrid autotuning model with statistic modelling |
Abstract
PDF (Українська)
|
|
А.Yu. Doroshenko, P.A. Ivanenko, O.S. Novak |
| |
| No 2 (2017) |
Use of ontological knowledge by intelligent agents |
Abstract
PDF (Українська)
|
|
J.V. Rogushina |
| |
| No 2-3 (2016) |
Correctness Property Proof for the Banking System for Money Transfer Payments |
Abstract
PDF (Українська)
|
|
Yu.A. Ostapovska, T.V. Panchenko, N.V. Polishchuk, M.O. Kartavov |
| |
| No 1 (2026) |
Constructive-synthesizing production of sorting programs adapted by genetic algorithm |
Abstract
PDF (Українська)
|
|
V.I. Shynkarenko, O.V. Makarov |
| |
| No 1 (2020) |
Algebraic patterns of binary code vulnerabilities |
Abstract
PDF (Українська)
|
|
V.M. Yakovlev |
| |
| No 2 (2017) |
Optimization of auto-tuning of programs using neural networks |
Abstract
PDF (Українська)
|
|
А.Yu. Doroshenko, P.A. Ivanenko, O.S. Novak |
| |
| No 2 (2022) |
Master’s thesis in software engineering – object, subject, contents of research |
Abstract
PDF (Українська)
|
|
M.O. Sydorov |
| |
| No 2-3 (2016) |
Peterson’s algorithm Total correctness proof in IPCL |
Abstract
PDF
|
|
A.A. Zhygallo |
| |
| No 4 (2025) |
Implementation of the reconstruction process for constructive-synthesizing models of fractal time series |
Abstract
PDF (Українська)
|
|
V.I. Shynkarenko, A.A. Zhadan |
| |
| No 3 (2023) |
Module-based scientific physics engine architecture |
Abstract
PDF
|
|
A.A. Bernatovych, I.V. Stetsenko |
| |
| No 1 (2021) |
Analytical review of approaches to integration of software systems |
Abstract
PDF (Українська)
|
|
Y.A. Dyvak |
| |
| No 1 (2016) |
Automated program design for solution of weather forecasting problem |
Abstract
PDF (Українська)
|
|
A.Yu. Doroshenko, P.A. Ivanenko, O.M. Ovdiy, O.A. Yatsenko |
| |
| 26 - 50 of 63 Items |
<< < 1 2 3 > >> |
