Application of Petri component nets in the checking task of parallel distributed systems von Lukyanova, E.A.

Volltext

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... von Grygoryan, R.D.

Volltext

Optimization of checking the feasibility of transitions when verifying formal models von Kolchin, A.V.

Volltext

Block algorithm for Householder transformations for hybrid architecture computers von Popov, O.V., Rudich, O.V.

Volltext

Traversal of arbitrary sequences of UCM symbolic transitions for test generation von Guba, A.A.

Volltext

An approach to behavioral software models refinement using design patterns von Chebanyuk, O.B.

Volltext

Рaradigms of programming assembling type in software engeneering von Lavrischeva, E.M.

Volltext

Regression testing: techniques and future research directions von Moroz, H.B., Plys, A.B.

Volltext

Static method of consistency and completeness checking in formal model of distributed software systems von Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Volltext

Development and substantiation of algorithms based on semantic properties von Kryvyi, S.L., Maksymets, O.M.

Volltext

Matching data between electronic documents and database tables with automated SQL-query generation von Marulin, S.Yu.

Volltext

Formal semantics of aggregate operations of multiset table algebra von Glushko, I.M.

Volltext

Comparative characteristics of methods of object-relational mapping von Lihatsky, I.A.

Volltext

Increase the temporal efficiency of data structures in memory based on adaptation von Shinkarenko, V.I., Zabula, G.V.

Volltext

Mixed topic-entity ontology for enhanced topic vector-spaced model von Shabinskiy, A.S.

Volltext

Ontology-oriented data integration on the Semantic Web von Chystyakova, I.S.

Volltext

Medical-physiological simulators: the necessity and problems von Grygoryan, R.D., Deriev, I.I., Aksenova, T.V., Lisov, A.N.

Volltext

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system von Zavadskyi, I.O.

Volltext

Methods of simulation of behavior of agents in multi-agent system “Navigation” von Yalovets, A.L.

Volltext

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” von Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.

Volltext