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

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

Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгебро­алгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генер...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2017
Автори: Дорошенко, А.Ю., Бекетов, О.Г., Жереб, К.А., Іваненко, П.А., Овдій, О.М., Шевченко, Р.С., Яценко, О.А.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут програмних систем НАН України 2017
Назва видання:Проблеми програмування
Теми:
Методи та засоби програмної інженерії
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/144493
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А.Ю. Дорошенко, О.Г. Бекетов, К.А. Жереб, П.А. Іваненко, О.М. Овдій, Р.С. Шевченко, О.А. Яценко // Проблеми програмування. — 2017. — № 3. — С. 19-30. — Бібліогр.: 32 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-144493
record_format dspace
spelling irk-123456789-1444932018-12-26T01:22:56Z Формальні та адаптивні методи й інструментальні засоби паралельного програмування Дорошенко, А.Ю. Бекетов, О.Г. Жереб, К.А. Іваненко, П.А. Овдій, О.М. Шевченко, Р.С. Яценко, О.А. Методи та засоби програмної інженерії Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгебро­алгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування. Приведен обзор результатов разработки формальных и адаптивных методов и программных средств, достигнутых за последние годы в Институте программных систем НАН Украины, основанные на алгебро-алгоритмическом подходе и технике переписывающих правил. Методы предназначены для автоматизации проектирования, генерации и преобразований параллельных программ для широкого диапазона мультипроцессорных вычислительных платформ и находят применение для различных прикладных областей, в частности, для эффективной реализации задач метеорологического прогнозирования. A review of the results of the development of formal and adaptive methods and software, achieved in recent years in the Institute of Software Systems of the National Academy of Sciences of Ukraine, based on the algebra-algorithmic approach and the technique of rewriting rules is given. The methods are developed to automate the design, generation and transformation of parallel programs for a wide range of multiprocessor computing platforms and find application for various application areas, in particular for the effective implementation of meteorological forecasting tasks. 2017 Article Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А.Ю. Дорошенко, О.Г. Бекетов, К.А. Жереб, П.А. Іваненко, О.М. Овдій, Р.С. Шевченко, О.А. Яценко // Проблеми програмування. — 2017. — № 3. — С. 19-30. — Бібліогр.: 32 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/144493 004.4'24 uk Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic Методи та засоби програмної інженерії
Методи та засоби програмної інженерії
spellingShingle Методи та засоби програмної інженерії
Методи та засоби програмної інженерії
Дорошенко, А.Ю.
Бекетов, О.Г.
Жереб, К.А.
Іваненко, П.А.
Овдій, О.М.
Шевченко, Р.С.
Яценко, О.А.
Формальні та адаптивні методи й інструментальні засоби паралельного програмування
Проблеми програмування
description Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгебро­алгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування.
format Article
author Дорошенко, А.Ю.
Бекетов, О.Г.
Жереб, К.А.
Іваненко, П.А.
Овдій, О.М.
Шевченко, Р.С.
Яценко, О.А.
author_facet Дорошенко, А.Ю.
Бекетов, О.Г.
Жереб, К.А.
Іваненко, П.А.
Овдій, О.М.
Шевченко, Р.С.
Яценко, О.А.
author_sort Дорошенко, А.Ю.
title Формальні та адаптивні методи й інструментальні засоби паралельного програмування
title_short Формальні та адаптивні методи й інструментальні засоби паралельного програмування
title_full Формальні та адаптивні методи й інструментальні засоби паралельного програмування
title_fullStr Формальні та адаптивні методи й інструментальні засоби паралельного програмування
title_full_unstemmed Формальні та адаптивні методи й інструментальні засоби паралельного програмування
title_sort формальні та адаптивні методи й інструментальні засоби паралельного програмування
publisher Інститут програмних систем НАН України
publishDate 2017
topic_facet Методи та засоби програмної інженерії
url http://dspace.nbuv.gov.ua/handle/123456789/144493
citation_txt Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А.Ю. Дорошенко, О.Г. Бекетов, К.А. Жереб, П.А. Іваненко, О.М. Овдій, Р.С. Шевченко, О.А. Яценко // Проблеми програмування. — 2017. — № 3. — С. 19-30. — Бібліогр.: 32 назв. — укр.
series Проблеми програмування
work_keys_str_mv AT dorošenkoaû formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ
AT beketovog formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ
AT žerebka formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ
AT ívanenkopa formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ
AT ovdíjom formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ
AT ševčenkors formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ
AT âcenkooa formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ
first_indexed 2023-05-20T17:19:42Z
last_indexed 2023-05-20T17:19:42Z
_version_ 1796153045534375936

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