Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
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...
Збережено в:
| Опубліковано в: | PROBLEMS IN PROGRAMMING |
|---|---|
| Дата: | 2026 |
| Випуск: | 2-3 |
| Сторінки: | 137-144 |
| ISSN: | 1727-4907 |
| Автори та афіліації: |
|
| Ключові слова: | паралельна програма, паралельні алгоритми, синтез програм, розподілені системи та паралельне програмування, мови програмування, програмування, проектування і синтез програм, проектування та синтез програм, ярусно-паралельний граф, програмоване |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2026
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/884 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
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 algorithms are presented in natural-linguistic form, the main feature of which is simplicity in learning and using, and also independence from programming language.Problems in programming 2010; 2-3: 137-144 |
|---|---|
| ISSN: | 1727-4907 |