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: (2006)

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

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

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

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

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

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

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

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

Оптимізація паралельних алгоритмів з використанням моделі акторів
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: Левченко, Р.И., 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: Оксюк, О.А., et al.
Published: (2006)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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