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

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

Статті 6,792
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 3,451
Научно-технический раздел 2,636
Краткие сообщения 2,291
Оригинальные статьи 1,621
Рецензії 1,594
Вітаємо 1,321
- 1,277
Хроніка 1,108
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 997
Короткі повідомлення 966
Неорганическая и физическая химия 954
Научные статьи 875
Производственный раздел 848
Наукові статті 827
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 798
Хроника 787
Фауна и систематика 751
Розвідки 750
Математика 724
Информация 688
Електричні машини та апарати 675
Characterization and properties 657
Критика та бібліографія 646
Повідомлення 632
631
Історія 629
Економіка 623
Точка зрения 616
Хімія 609

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.

Matching data between electronic documents and database tables with automated SQL-query generation за авторством Marulin, S.Yu.

Formal semantics of aggregate operations of multiset table algebra за авторством Glushko, I.M.

Comparative characteristics of methods of object-relational mapping за авторством Lihatsky, I.A.

Increase the temporal efficiency of data structures in memory based on adaptation за авторством Shinkarenko, V.I., Zabula, G.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.

Matching data between electronic documents and database tables with automated SQL-query generation за авторством Marulin, S.Yu.

Formal semantics of aggregate operations of multiset table algebra за авторством Glushko, I.M.

Comparative characteristics of methods of object-relational mapping за авторством Lihatsky, I.A.

Increase the temporal efficiency of data structures in memory based on adaptation за авторством Shinkarenko, V.I., Zabula, G.V.

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

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

Репозитарії

Формат

Автор

Мова

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