Algebras of general non-deterministic predicates за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Отримати повний текст

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System за авторством Prihodko, P.P.

Отримати повний текст

Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.

Отримати повний текст

Algorithm for automatic loop parallelization for graphics processing units за авторством Doroshenko, A.Yu., Achour, I.Z.

Отримати повний текст

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system за авторством Doroshenko, А.Yu., Novak, O.S., Ivanenko, P.A., Starushyk, A.M.

Отримати повний текст

Software engineering ontologies categorization за авторством Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Отримати повний текст

Unified process for adaptive Semantic Web service composition за авторством Slabospitskaya, О.A.

Отримати повний текст

Symbolic computation system for dynamical application programming за авторством Doroshenko, A.Yu., Shevchenko, R.S.

Отримати повний текст

The technique of using Description Logics in the process of constructing a composite service at the functional level за авторством Zakharova, O.V.

Отримати повний текст

The expert analytic process for the choice of the organization management actions using corporative knowledge. Part II. Methods and Models of the Expert Methodology за авторством Ilina, E.P.

Отримати повний текст

GPS coordinates processing with kalman filtration за авторством Doroshenko, А.Yu., Sokolenko, A.S.

Отримати повний текст

Statement of problem of unknown environment recognizing, navigating and path planning by agent за авторством Yalovets, A.L.

Отримати повний текст

Development of a spiral model of life cycle of the program systems за авторством Alekseev, V.A., Tereshchenko, V.S.

Отримати повний текст

Analysis of formal models and standards for structured electronic document in corporate informational system за авторством Sharypanov, A.V., Shchetynin, I.E., Ivanov, S.M.

Отримати повний текст

Transition systems as method of designing applications in GPGPU technology за авторством Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.

Отримати повний текст

Context term calculus for rewriting systems за авторством Shevchenko, R.S.

Отримати повний текст

The algebraic model refactoring of components за авторством Grischenko, V.N.

Отримати повний текст

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Отримати повний текст

Parallel software auto-tuning using statistical modeling and machine learning за авторством Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S., Yatsenko, O.A.

Отримати повний текст

Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Int... за авторством Gerasimova, T.O., Nesterenko, A.N.

Отримати повний текст