System aspects of design guaranteased cloud calculations by Kosovets, N.A., Shchetynin, I.E., Tovstenko, L.N.

Get full text

Extension of the program synthesis system to analyze large data sets by Ovdii, O.M.

Get full text

Game-theory analysis of multi-processor schedulers. Simulation model by Ignatenko, O.P., Odobesku, V.I.

Get full text

Multi-level model of parallel computing for linear algebra problems by Popov, A.V., Rudich, O.V., Chystiakov, A.V.

Get full text

Application of problem domain ontological description for relevantness increasing of informational retrieval by Rogushina, J.V.

Get full text

Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

Get full text

Architecture of software system for hierarchical fuzzy inference by Yershov, S.V., Ponomarenko, R.М..

Get full text

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Get full text

Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

Get full text

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Get full text

Ontological similar systems for analysis of texts of natural language by Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Get full text

Optimal placement of a multi-sensor system by Pashko, S.V.

Get full text

Automated extraction of structured information from a variety of web pages by Pogorilyy, S.D., Kramov, A.A.

Get full text

About relationship between table algebra of infinite tables and multiset table algebra by Glushko, I.M.

Get full text

Credibility of fuzziness: theory and application by Provotar, O.I., Provotar, O.O.

Get full text

Information threats and security services by Antonyuk, A.A., Zhora, V.V., Mostovoy, V.N.

Get full text

Characteristics for choice of models in the ansables classification by Barmak, O.V., Krak, Yu.V., Manziuk, E.A.

Get full text

On the classes of causal networks, identifiable by simple independence tests by Balabanov, O.S.

Get full text

Predicting the Probability of Exceeding Critical System Thresholds by Krammer, P., Kvassay, M., Hluchý, L.

Get full text

Theoretical principles of use of ontologies for semantization of the Web resources by Rogushina, J.V.

Get full text