Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2010
Автори:	Березовський, К.А., Дорошенко, А.Ю., Яценко, О.А.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2010
Теми:	Паралельне програмування. Розподілені системи і мережі
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/14687
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного / К.А. Березовський, А.Ю. Дорошенко, О.А. Яценко// Пробл. програмув. — 2010. — № 2-3. — С. 137-144. — Бібліогр.: 11 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2014)

Автоматизована розробка паралельної розподіленої системи обробки потокових даних
за авторством: Тітов, Д.С., та інші
Опубліковано: (2016)

Дослідження паралельного алгоритму побудови діаграми Вороного на площині
за авторством: Березовський, К.А.
Опубліковано: (2009)

Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2020)

Принципи проектування GPGPU-застосувань на основі мереж Петрі
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2014)

Средства оптимизации Grid-вычислений на основе globus toolkit
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

Распределённая платформа для управления ресурсами гетерогенного кластера
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Оптимізація алгоритму побудови невід’ємної матричної факторизації у задачах обробки текстів природною мовою із використанням графічних процесорів
за авторством: Марченко, О.О., та інші
Опубліковано: (2012)

Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2016)

Підвищення продуктивності коду мовою РYТНОN з використанням техніки переписувальних правил
за авторством: Жереб, К.А.
Опубліковано: (2020)

Протоколи для інтеграції мобільних пристроїв із станціями надання послуг через бездротовий зв’язок
за авторством: Яценко, К.І.
Опубліковано: (2008)

Оптимізація паралельних алгоритмів з використанням моделі акторів
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2020)

Використання відеографічних прискорювачів для паралельних обчислень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2008)

Автоматично налагоджуваний паралельний алгоритм чисельного розв’язання багатовимірної задачі моделювання навколишнього середовища
за авторством: Іваненко, П.А., та інші
Опубліковано: (2010)

Сетевые журнальные файловые системы на основе серверов реляционных баз данных
за авторством: Гаврилюк, А.Б., та інші
Опубліковано: (2006)

Система керування грід-завданнями віртуальної лабораторії, що ґрунтується на асинхронній обробці подій
за авторством: Сальніков, А.О.
Опубліковано: (2012)

Обробка даних у гетерогенних мережах типа GRID
за авторством: Стеняшин, А.Ю.
Опубліковано: (2012)

Некоторые подходы к эффективной реализации блочных матричных алгоритмов на MIMD – компьютерах
за авторством: Баранов, И.А.
Опубліковано: (2008)

Параллельные алгоритмы решения линейных систем с разреженными симметричными матрицами
за авторством: Попов, А.В.
Опубліковано: (2008)

Система управления кластером для комплексов семейства «ИНПАРКОМ»
за авторством: Ющенко, Р.А.
Опубліковано: (2010)

Комплексна система тестування взаємодії ресурсів у національній грід-інфраструктурі
за авторством: Слюсар, Є.А.
Опубліковано: (2012)

Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем
за авторством: Лукьянова, Е.А.
Опубліковано: (2014)

Схема параллельного решения задачи дифракции SH-волн на системе некруговых трещин в бесконечной упругой среде
за авторством: Назаренко, А.М., та інші
Опубліковано: (2014)

Реалізація Grid-інфраструктури для розв’язання задач обробки супутникових даних
за авторством: Шелестов, А.Ю., та інші
Опубліковано: (2006)

Исследование блочно-циклических алгоритмов на семействе кластеров СКИТ
за авторством: Химич, А.Н., та інші
Опубліковано: (2006)

Проблемы эффективности автоматического динамического распараллеливания вычислений для многопроцессорных компьютерных систем со слабой связью
за авторством: Левченко, Р.И., та інші
Опубліковано: (2010)

Суперкомпьютерные кластерные системы – организация вычислительного процесса
за авторством: Коваль, В.Н., та інші
Опубліковано: (2006)

Дослідження шаблонів синхронізації та їх використання в технології GPGPU
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2014)

Паралельні алгоритми розв’язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп’ютерах з процесорами Intel Xeon Phi
за авторством: Герасимова, Т.О., та інші
Опубліковано: (2018)

Застосування реалізацій стандартів OGC для створення розподілених систем візуалізації та надання геопросторових даних
за авторством: Кравченко, О.М., та інші
Опубліковано: (2006)

Оценка времени обработки данных в кластерных системах
за авторством: Тульчинский, В.Г., та інші
Опубліковано: (2006)

Программное обеспечение инструментально-технологической системы проектиро-вания телекоммуникаций со сменяемым набором модулей моделирования
за авторством: Жуков, И.А., та інші
Опубліковано: (2010)

Доведення властивості коректної роботи банківської системи виплати грошових переказів
за авторством: Остаповська, Ю.А., та інші
Опубліковано: (2016)

Концепція створення гнучких гомогенних архітектур кластерних систем
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2008)

Концепция формирования программной среды описания и моделирования для спецификации требований к проектам беспроводных сетей
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2006)

Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель
за авторством: Ігнатенко, О.П., та інші
Опубліковано: (2018)

Паралельна реалізація розщепленої моделі однієї задачі фізики атмосфери
за авторством: Тирчак, Ю.М., та інші
Опубліковано: (2008)

Interoperability Issues of Earth Observation Grid Systems
за авторством: Shelestov, A., та інші
Опубліковано: (2008)

Методи обслуговування запитів агентом-брокером
за авторством: Шевченко, О.В.
Опубліковано: (2006)

Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2014)