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

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

Статті 5,511
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 2,767
Научно-технический раздел 2,155
Краткие сообщения 1,849
Оригинальные статьи 1,305
Рецензії 1,295
Вітаємо 1,087
Хроніка 922
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 807
Короткі повідомлення 775
Неорганическая и физическая химия 774
Производственный раздел 701
Научные статьи 700
Наукові статті 643
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 642
Хроника 640
626
Розвідки 595
Фауна и систематика 593
Критика та бібліографія 590
Повідомлення 575
Математика 570
Информация 560
Хроніка та інформація 560
Електричні машини та апарати 548
Characterization and properties 511
Історія 507
Економіка 500
Хімія 494
Точка зрения 489

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

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.

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

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

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.

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

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

Репозитарії

Формат

Автор

Мова

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