Cover Image

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

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

Full description

Saved in:

Bibliographic Details
Published in:	Проблеми програмування
Date:	2014
Main Authors:	Дорошенко, А.Ю., Бекетов, О.Г., Прусов, В.А., Тирчак, Ю.М., Яценко, О.А.
Format:	Article
Language:	Ukrainian
Published:	Інститут програмних систем НАН України 2014
Subjects:	Паралельне програмування. Розподілені системи і мережі
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/113216
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:	Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди / А.Ю. Дорошенко, О.Г. Бекетов, В.А. Прусов, Ю.М. Тирчак, О.А. Яценко // Проблеми програмування. — 2014. — № 2-3. — С. 72-81. — Бібліогр.: 12 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
by: Березовський, К.А., et al.
Published: (2010)

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

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

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

Формалізоване проектування та синтез паралельних програм для відеографічних прискорювачів
by: Дорошенко, А.Ю., et al.
Published: (2013)

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

Паралельна реалізація розщепленої моделі однієї задачі фізики атмосфери
by: Тирчак, Ю.М., et al.
Published: (2008)

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

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

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

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

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

Распределённая платформа для управления ресурсами гетерогенного кластера
by: Дорошенко, А.Е., et al.
Published: (2008)

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

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

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

Високоефективні методи регіонального прогнозування погоди
by: Doroshenko, A. Yu., et al.
Published: (2019)

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

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

Концепція створення гнучких гомогенних архітектур кластерних систем
by: Погорілий, С.Д., et al.
Published: (2008)

GRID ресурси Інформаційно-обчислювального центру Київського національного університету імені Тараса Шевченка
by: Судаков, О.О., et al.
Published: (2006)

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

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

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

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

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

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

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

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

Формування логіки внутрішньої міжрівневої взаємодії в багатоланковій системі
by: Бойко, Ю.В., et al.
Published: (2008)

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

Исследование блочно-циклических алгоритмов на семействе кластеров СКИТ
by: Химич, А.Н., et al.
Published: (2006)

Об оценке сложности и координации вычислений в многопоточных программах
by: Дорошенко, А.Ю., et al.
Published: (2007)

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

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

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

Оценка времени обработки данных в кластерных системах
by: Тульчинский, В.Г., et al.
Published: (2006)

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

Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
by: Дорошенко, А.Ю., et al.
Published: (2019)

Концепция формирования программной среды описания и моделирования для спецификации требований к проектам беспроводных сетей
by: Ластовченко, М.М., et al.
Published: (2006)