About one dynamic model of conflictcontrol user interaction in open information environments за авторством Ignatenko, O.P.

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

Survey on modern tools and methods of formal models verification за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

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

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании... за авторством Lvov, M.S.

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

Synthesis of an automaton specified by the set of clauses за авторством Chebotarev, A.N.

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

DS-theory. Presentation of canonical algorithm by means of algorithmic language за авторством Kolesnyk, V.G.

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

Automated generation of parallel programs for graphics processing units based on algorithm schemes за авторством Doroshenko, А.Yu., Beketov, O.G., Ivaniv, R.B., Iovchev, V.O., Mironenko, I.O., Yatsenko, O.A.

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

On decompilation of VLIW executable files за авторством Jakub, K.

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

Approach qualitative analisys of dynamic systems wood based solutions за авторством Andrushchak, I.Ye.

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

One model of parallel computing in heterogeneous distributed environments за авторством Ignatenko, O.P., Parusimov, G.V., Sinetskyi, O.B.

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

Portfolio model for decision process concerning organizational change management за авторством Slabospitskaya, O.A.

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

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model за авторством Tereshchenko, A.N.

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

Renaissance of actor model application to the development of parallel and distributed systems за авторством Glybovets, M.M., Gorochovskiy, S.S., Zinchuk, S.O., Kravchenko, M.V.

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

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data за авторством Akulovskiy, V.G., Doroshenko, А.Yu., Yatsenko, O.A.

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

Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane за авторством Yalovets, A.L.

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

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1 за авторством Kolesnyk, V.G.

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

Game model of user interaction in heterogeneous distributed environments за авторством Ignatenko, O.P., Ivanenko, P.A., Sinetskyi, O.B., Nikolenko, O.V.

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

On performance of the In-Memory Data Grids за авторством Rukhlis, K.A., Doroshenko, А.Yu.

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

A peer-to-peer topology and multicasting algorithm with guaranteed quality of experi-ence за авторством Hordiichuk, O.V., Bychkov, O.S.

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

Web service discovery systems in service-oriented architecture: problems and solutions за авторством Remarovych, S.S.

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

Algebraic automata specification of common and distributed memory parallel programs за авторством Doroshenko, A.Yu., Tseytlin, G.E.

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