Research of the synchronization patterns and their use in GPGPU by Pogorilyy, S.D., Vereschynsky, O.A.

Get full text

Principles of modeling GPGPU-applications using Petri nets by Pogorilyy, S.D., Vitel, D.Yu.

Get full text

Parallel non-negative sparse extra-large matrix factorization by Nasirov, E.M.

Get full text

Formalized designing and generation of parallel program for numerical weather forecasting task by Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.

Get full text

Scheme of a parallel solution of the problem of difraction of SH-waves on a system of non-circular cracks in an infinite elastic medium by Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Get full text

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section by Panchenko, B.E., Sayko, I.N.

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text