Results for "software synthesis" Showing 1 - 5 results of 5 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22software+synthesis%22&type=Subject&lng=en 5 0 50 Automated program design for solution of weather forecasting problem Mon, 17 Nov 2025 02:17:35 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-171 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-171 Doroshenko, A.Yu. Article 2018 Doroshenko, A.Yu. 0 Design of a terrain surface visualization program using algebra-algorithmic tools Thu, 17 Jul 2025 09:50:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-356 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-356 Doroshenko, А.Yu. Article 2019 Doroshenko, А.Yu. 0 Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools Thu, 17 Jul 2025 09:45:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-402 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-402 Doroshenko, А.Yu. Article 2020 Doroshenko, А.Yu. 0 Automated design of programs for .NET platform using Task Parallel Library Thu, 17 Jul 2025 09:34:48 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-387 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-387 Doroshenko, А.Yu. Article 2020 Doroshenko, А.Yu. 0 Automated design of OpenCL programs based on algebra-algorithmic approach Thu, 17 Jul 2025 09:34:26 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-346 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-346 Doroshenko, А.Yu. Article 2019 Doroshenko, А.Yu. 0