Method of calibration of the СOCOMO model by reduction of the basic equation by Batsenko, D.V.

Get full text

Сoordinated description of algorithms within the framework of algebraic vehicle by Akulovskiy, V.G., Doroshenko, A.Yu.

Get full text

Rapid vs. Qualitative Development by Panchenko, T.V.

Get full text

NP-hardness of collective pursuiting optimization problems by Pashko, S.V.

Get full text

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