Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
|
|
Creator |
Березовський, К.А.
Дорошенко, А.Ю. Яценко, О.А. |
|
Subject |
Паралельне програмування. Розподілені системи і мережі
|
|
Description |
Розроблено високорівневі специфікації алгоритмів побудови діаграми Вороного у системах алгоритмічних алгебр. Виконано генерацію відповідного програмного коду цільовою мовою програмування із використанням розробленого інтегрованого інструментарію проектування та синтезу програм. Алгоритми подано у природно-лінгвістичній формі, особливостями якої є простота в навчанні та використанні, а також незалежність від мови програмування.
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. |
|
Date |
2010-12-27T17:02:35Z
2010-12-27T17:02:35Z 2010 |
|
Type |
Article
|
|
Identifier |
Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного / К.А. Березовський, А.Ю. Дорошенко, О.А. Яценко// Пробл. програмув. — 2010. — № 2-3. — С. 137-144. — Бібліогр.: 11 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14687 681.3 |
|
Language |
uk
|
|
Publisher |
Інститут програмних систем НАН України
|
|