Результати для "design and synthesis of programs" Показ 1 - 9 результатів із 9 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22design+and+synthesis+of+programs%22&type=AllFields&lng=uk 9 0 50 Formalized design and synthesis of a parallel program for constructing Voronoi diagrams Tue, 02 Jun 2026 01:00:42 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-884 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-884 Berezovsky, K.A. Стаття 2026 Berezovsky, K.A. 0 Метод автоматизованого проєктування нейроеволюційних алгоритмів з використанням алгебри алгоритмів Глушкова Sat, 21 Mar 2026 04:16:39 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-211038 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-211038 Сініцин, І.П. Стаття 2023 Сініцин, І.П. 0 Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди Fri, 28 Nov 2025 17:19:34 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-113216 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-113216 Дорошенко, А.Ю. Стаття 2014 Дорошенко, А.Ю. 0 Автоматизована генерація програм для одного класу параметричних алгоритмів нейроеволюції Tue, 25 Nov 2025 22:48:27 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-188653 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-188653 Дорошенко, А.Ю. Стаття 2022 Дорошенко, А.Ю. 0 Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного Mon, 24 Nov 2025 15:04:58 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-14687 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-14687 Березовський, К.А. Стаття 2010 Березовський, К.А. 0 Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ Mon, 24 Nov 2025 06:29:40 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-144723 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-144723 Дорошенко, А.Е. Стаття 2017 Дорошенко, А.Е. 0 Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів Mon, 24 Nov 2025 04:37:09 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-144507 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-144507 Дорошенко, А.Ю. Стаття 2017 Дорошенко, А.Ю. 0 Formalized designing and generation of parallel program for numerical weather forecasting task Thu, 17 Jul 2025 09:58:06 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-696 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-696 Doroshenko, A.Yu. Стаття 2025 Doroshenko, A.Yu. 0 Algorithm for automatic loop parallelization for graphics processing units Thu, 17 Jul 2025 09:55:28 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-308 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-308 Doroshenko, А.Yu. Стаття 2018 Doroshenko, А.Yu. 0