Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного

Розроблено високорівневі специфікації алгоритмів побудови діаграми Вороного у системах алгоритмічних алгебр. Виконано генерацію відповідного програмного коду цільовою мовою програмування із використанням розробленого інтегрованого інструментарію проектування та синтезу програм. Алгоритми подано у пр...

Full description

Saved in:
Bibliographic Details
Date:2010
Main Authors: Березовський, К.А., Дорошенко, А.Ю., Яценко, О.А.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2010
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/14687
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного / К.А. Березовський, А.Ю. Дорошенко, О.А. Яценко// Пробл. програмув. — 2010. — № 2-3. — С. 137-144. — Бібліогр.: 11 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-14687
record_format dspace
spelling Березовський, К.А.
Дорошенко, А.Ю.
Яценко, О.А.
2010-12-27T17:02:35Z
2010-12-27T17:02:35Z
2010
Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного / К.А. Березовський, А.Ю. Дорошенко, О.А. Яценко// Пробл. програмув. — 2010. — № 2-3. — С. 137-144. — Бібліогр.: 11 назв. — укр.
1727-4907
https://nasplib.isofts.kiev.ua/handle/123456789/14687
681.3
Розроблено високорівневі специфікації алгоритмів побудови діаграми Вороного у системах алгоритмічних алгебр. Виконано генерацію відповідного програмного коду цільовою мовою програмування із використанням розробленого інтегрованого інструментарію проектування та синтезу програм. Алгоритми подано у природно-лінгвістичній формі, особливостями якої є простота в навчанні та використанні, а також незалежність від мови програмування.
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.
uk
Інститут програмних систем НАН України
Паралельне програмування. Розподілені системи і мережі
Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
Formalized Designing and Synthesis of Parallel Program for Building Voronoi Diagram
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
spellingShingle Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
Березовський, К.А.
Дорошенко, А.Ю.
Яценко, О.А.
Паралельне програмування. Розподілені системи і мережі
title_short Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
title_full Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
title_fullStr Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
title_full_unstemmed Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
title_sort формалізоване проектування та синтез паралельної програми побудови діаграми вороного
author Березовський, К.А.
Дорошенко, А.Ю.
Яценко, О.А.
author_facet Березовський, К.А.
Дорошенко, А.Ю.
Яценко, О.А.
topic Паралельне програмування. Розподілені системи і мережі
topic_facet Паралельне програмування. Розподілені системи і мережі
publishDate 2010
language Ukrainian
publisher Інститут програмних систем НАН України
format Article
title_alt Formalized Designing and Synthesis of Parallel Program for Building Voronoi Diagram
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.
issn 1727-4907
url https://nasplib.isofts.kiev.ua/handle/123456789/14687
fulltext
citation_txt Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного / К.А. Березовський, А.Ю. Дорошенко, О.А. Яценко// Пробл. програмув. — 2010. — № 2-3. — С. 137-144. — Бібліогр.: 11 назв. — укр.
work_keys_str_mv AT berezovsʹkiika formalízovaneproektuvannâtasintezparalelʹnoíprogramipobudovidíagramivoronogo
AT dorošenkoaû formalízovaneproektuvannâtasintezparalelʹnoíprogramipobudovidíagramivoronogo
AT âcenkooa formalízovaneproektuvannâtasintezparalelʹnoíprogramipobudovidíagramivoronogo
AT berezovsʹkiika formalizeddesigningandsynthesisofparallelprogramforbuildingvoronoidiagram
AT dorošenkoaû formalizeddesigningandsynthesisofparallelprogramforbuildingvoronoidiagram
AT âcenkooa formalizeddesigningandsynthesisofparallelprogramforbuildingvoronoidiagram
first_indexed 2025-11-24T15:04:58Z
last_indexed 2025-11-24T15:04:58Z
_version_ 1850847335560511488