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

Volltext

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

Volltext

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

Volltext

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

Volltext

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