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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext