Grid application development framework за авторством Prila, O.A.

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

Parallel distributed implementation of parallel processing simulation за авторством Doroshenko, A.Yu., Gninyuk, M.V.

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

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras за авторством Maksymets, O.M.

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

About relational-object mapping technique за авторством Lihatsky, I.A.

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

A software simulator of an aerobic cell responses to energy disbalance за авторством Grygoryan, R.D., Aksenova, T.V., Deriev, І.І.

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

Evolutionary Programming за авторством Glybovets, M.M., Gulayeva, N.M.

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

An Approach for Object-Component Model Engineering of Software Product Line за авторством Lavrischeva, K.M., Slabospitskaya, O.А.

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

Spellchecker based on distributed representations за авторством Omelchenko, P.S.

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

Verification of programs: status, problems and experimental results. I за авторством Maksymets, A.N.

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

Approach to the building intelligent decision support systems on the basis of ontology за авторством Lytvyn, V.V.

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

Description of parallelism in algorithms of information management systems using algebraic apparatus за авторством Akulovsky, V.G., Doroshenko, A.Yu.

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

Characteristics of information flows of software modules included in the software for automated support of ... за авторством Borovskaya, E.N., Koltik, M.A.

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

Means of designing object-oriented programs based on algebra of algorithmics за авторством Doroshenko, А.Yu., Iovchev, V.A.

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

"G_Sim" software providing simulations of human physiological responses to +/- Gz accelerations за авторством Grygoryan, R.D., Degoda, A.G., Progonnyi, M.V.

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

Research of the application of GPGPU and TPU technologies for ensuring comment quality in version control systems за авторством Semonov, B.O., Pogorilyy, S.D.

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

Overview of global open access resource aggregation services and their requirements for data providers за авторством Proskudina, G.Yu., Kudim, K.O.

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

Elasticsearch for big geotemporal data за авторством Zhyrenkov, O.S., Doroshenko, A.Yu.

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

Visualization of the semantics of text descriptions presented in various formats за авторством Minenko, V.D.

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

Deductive verification of requirements for event-driven architecture за авторством Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

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

T-satisfiability test problem for the VL1 logical language of the VRS system за авторством Timofeev, V.G.

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