Formalized design and synthesis of a parallel program for constructing Voronoi diagrams

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2026
• Випуск: 2-3
• Сторінки: 137-144
• ISSN: 1727-4907
• Автори та афіліації: K.A. Berezovsky — Institute of Software Systems NAS of Ukraine; A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine; О.A. Yatsenko — Institute of Software Systems NAS of Ukraine
• Ключові слова: паралельна програма, паралельні алгоритми, синтез програм, розподілені системи та паралельне програмування, мови програмування, програмування, проектування і синтез програм, проектування та синтез програм, ярусно-паралельний граф, програмоване
• Автори: Berezovsky, K.A., Doroshenko, A.Yu., Yatsenko, О.A.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2026
• Теми: UDC 681.3
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/884
• Назва журналу: Problems in programming

High-level specifications of algorithms, presented in systems of algorithmic algebra, for building Voronoi diagram are developed. Generation of corresponding code in a target programming language is implemented with usage of developed integrated toolkit for designing and synthesis of programs. The a...