Результати пошуку :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

Статті 6,831
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 3,451
Научно-технический раздел 2,648
Краткие сообщения 2,299
Оригинальные статьи 1,621
Рецензії 1,596
Вітаємо 1,321
- 1,277
Хроніка 1,110
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 997
Короткі повідомлення 966
Неорганическая и физическая химия 960
Научные статьи 875
Производственный раздел 858
Наукові статті 827
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 798
Хроника 791
Фауна и систематика 752
Розвідки 750
Математика 728
Информация 689
Електричні машини та апарати 675
Characterization and properties 657
Критика та бібліографія 646
Повідомлення 632
631
Історія 629
Економіка 623
Точка зрения 616
Хімія 613

Method of calibration of the СOCOMO model by reduction of the basic equation за авторством Batsenko, D.V.

Сoordinated description of algorithms within the framework of algebraic vehicle за авторством Akulovskiy, V.G., Doroshenko, A.Yu.

Rapid vs. Qualitative Development за авторством Panchenko, T.V.

NP-hardness of collective pursuiting optimization problems за авторством Pashko, S.V.

Research of the synchronization patterns and their use in GPGPU за авторством Pogorilyy, S.D., Vereschynsky, O.A.

Principles of modeling GPGPU-applications using Petri nets за авторством Pogorilyy, S.D., Vitel, D.Yu.

Parallel non-negative sparse extra-large matrix factorization за авторством Nasirov, E.M.

Formalized designing and generation of parallel program for numerical weather forecasting task за авторством Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.

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 за авторством Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section за авторством Panchenko, B.E., Sayko, I.N.

Application of Petri component nets in the checking task of parallel distributed systems за авторством Lukyanova, E.A.

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... за авторством Grygoryan, R.D.

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

Block algorithm for Householder transformations for hybrid architecture computers за авторством Popov, O.V., Rudich, O.V.

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

An approach to behavioral software models refinement using design patterns за авторством Chebanyuk, O.B.

Рaradigms of programming assembling type in software engeneering за авторством Lavrischeva, E.M.

Regression testing: techniques and future research directions за авторством Moroz, H.B., Plys, A.B.

Static method of consistency and completeness checking in formal model of distributed software systems за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Development and substantiation of algorithms based on semantic properties за авторством Kryvyi, S.L., Maksymets, O.M.

Результати пошуку

Method of calibration of the СOCOMO model by reduction of the basic equation за авторством Batsenko, D.V.

Сoordinated description of algorithms within the framework of algebraic vehicle за авторством Akulovskiy, V.G., Doroshenko, A.Yu.

Rapid vs. Qualitative Development за авторством Panchenko, T.V.

NP-hardness of collective pursuiting optimization problems за авторством Pashko, S.V.

Research of the synchronization patterns and their use in GPGPU за авторством Pogorilyy, S.D., Vereschynsky, O.A.

Principles of modeling GPGPU-applications using Petri nets за авторством Pogorilyy, S.D., Vitel, D.Yu.

Parallel non-negative sparse extra-large matrix factorization за авторством Nasirov, E.M.

Formalized designing and generation of parallel program for numerical weather forecasting task за авторством Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.

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 за авторством Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section за авторством Panchenko, B.E., Sayko, I.N.

Application of Petri component nets in the checking task of parallel distributed systems за авторством Lukyanova, E.A.

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... за авторством Grygoryan, R.D.

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

Block algorithm for Householder transformations for hybrid architecture computers за авторством Popov, O.V., Rudich, O.V.

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

An approach to behavioral software models refinement using design patterns за авторством Chebanyuk, O.B.

Рaradigms of programming assembling type in software engeneering за авторством Lavrischeva, E.M.

Regression testing: techniques and future research directions за авторством Moroz, H.B., Plys, A.B.

Static method of consistency and completeness checking in formal model of distributed software systems за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Development and substantiation of algorithms based on semantic properties за авторством Kryvyi, S.L., Maksymets, O.M.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації