Application of Petri component nets in the checking task of parallel distributed systems за авторством Lukyanova, E.A.

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

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... за авторством Grygoryan, R.D.

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

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

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

Block algorithm for Householder transformations for hybrid architecture computers за авторством Popov, O.V., Rudich, O.V.

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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

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

An approach to behavioral software models refinement using design patterns за авторством Chebanyuk, O.B.

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

Рaradigms of programming assembling type in software engeneering за авторством Lavrischeva, E.M.

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

Regression testing: techniques and future research directions за авторством Moroz, H.B., Plys, A.B.

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

Static method of consistency and completeness checking in formal model of distributed software systems за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

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

Development and substantiation of algorithms based on semantic properties за авторством Kryvyi, S.L., Maksymets, O.M.

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

Matching data between electronic documents and database tables with automated SQL-query generation за авторством Marulin, S.Yu.

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

Formal semantics of aggregate operations of multiset table algebra за авторством Glushko, I.M.

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

Comparative characteristics of methods of object-relational mapping за авторством Lihatsky, I.A.

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

Increase the temporal efficiency of data structures in memory based on adaptation за авторством Shinkarenko, V.I., Zabula, G.V.

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

Mixed topic-entity ontology for enhanced topic vector-spaced model за авторством Shabinskiy, A.S.

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

Ontology-oriented data integration on the Semantic Web за авторством Chystyakova, I.S.

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

Medical-physiological simulators: the necessity and problems за авторством Grygoryan, R.D., Deriev, I.I., Aksenova, T.V., Lisov, A.N.

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

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system за авторством Zavadskyi, I.O.

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

Methods of simulation of behavior of agents in multi-agent system “Navigation” за авторством Yalovets, A.L.

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

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” за авторством Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.

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