Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
Abstract
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
Full Text:
PDF (Українська)References
Вороний Георгій Феодосійович. – http://uk.wikipedia.org/wiki/Вороний_Георгій_Феодосійович.
Анісімов А.В., Терещенко В.М., Кравченко І.В. Основні алгоритми обчислювальної геометрії. – http://cg.unicyb.kiev.ua.
Березовський К.А. Дослідження паралельного алгоритму побудови діаграми Вороного на площині // Проблеми програмування. – 2009. – № 1. – С. 28–35.
Дорошенко А.Е., Жереб К.А., Яценко Е.А. Формализованное проектирование эффективных многопоточных программ // Проблеми програмування. – 2007. – № 1. – С. 17–30.
Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгеброалгоритмические модели и методы параллельного программирования. – Киев: Академпериодика, 2007. – 631 с.
Цейтлин Г.Е. Введение в алгоритмику. – Киев: Сфера, 1998. – 311 с.
Дорошенко А.Е., Жереб К.А., Яценко Е.А. Средства синтеза параллельных MPI-программ // Проблеми програмування. – 2008. – № 2–3. – С. 595–604.
Дорошенко А.Е., Яценко Е.А. Средства сервисно-ориентированного программирования параллельных программ // Проблеми програмування. – 2009. – № 2. – С. 12–21.
Препарата Ф., Шеймос М. Вычислительная геометрия: Введение / Пер. с англ. – М.: Мир, 1989. – 478 с.
Cormen T.H., Leiserson C.E., Rivest R.L., Stein C. Introduction to Algorithms, Second Edition. – MIT Press and McGraw-Hill, 2001. – 1184 p.
Intel Threading Building Blocks 2.2. –http://www.threadingbuildingblocks.org/
Refbacks
- There are currently no refbacks.