Game-theory analysis of multi-processor schedulers. Simulation model by O. P. Ihnatenko, Ya. Odobesku

Get full text

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

Get full text

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

Get full text

Architecture of software system for hierarhical fuzzy inference by C. V. Yershov, R. M. Ponomarenko

Get full text

Use of metods of algebraic programming for the formal verification of legal acts by V. Peschanenko, M. Poltorackiy

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

Predicting the probability of exceeding critical system thresholds by P. Krammer, M. Kvassay, L. Hluchэ

Get full text

Theoretical principles of use of ontologies for semantization of the Web resources by Yu. V. Rohushyna

Get full text

Specification of the process of the semantic annotation the web services by O. V. Zakharova

Get full text

Mapping of the relational algebra to the description logic by I. S. Chistjakova

Get full text

Use of semantic technologies for dialogue between labor market subjects by S. M. Pryima, Yu. V. Rohushyna, O. V. Strokan

Get full text

The system of models of domain "Software Metatechnology" by Ye. I. Morentsov

Get full text