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

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2026
• Heft: 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
• Ключові слова: паралельна програма, паралельні алгоритми, синтез програм, розподілені системи та паралельне програмування, мови програмування, програмування, проектування і синтез програм, проектування та синтез програм, ярусно-паралельний граф, програмоване
• Hauptverfasser: Berezovsky, K.A., Doroshenko, A.Yu., Yatsenko, О.A.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
• Schlagworte: UDC 681.3
• Online Zugang: 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...