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

Volltext

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

Volltext

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

Volltext

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

Volltext

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 von Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Volltext

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

Volltext

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