Формальні та адаптивні методи й інструментальні засоби паралельного програмування
Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генер...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2017 |
| Автори: | , , , , , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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 |
nasplib_isofts_kiev_ua-123456789-144493 |
|---|---|
| record_format |
dspace |
| spelling |
Дорошенко, А.Ю. Бекетов, О.Г. Жереб, К.А. Іваненко, П.А. Овдій, О.М. Шевченко, Р.С. Яценко, О.А. 2018-12-25T16:08:17Z 2018-12-25T16:08:17Z 2017 Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А.Ю. Дорошенко, О.Г. Бекетов, К.А. Жереб, П.А. Іваненко, О.М. Овдій, Р.С. Шевченко, О.А. Яценко // Проблеми програмування. — 2017. — № 3. — С. 19-30. — Бібліогр.: 32 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144493 004.4'24 Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування. Приведен обзор результатов разработки формальных и адаптивных методов и программных средств, достигнутых за последние годы в Институте программных систем НАН Украины, основанные на алгебро-алгоритмическом подходе и технике переписывающих правил. Методы предназначены для автоматизации проектирования, генерации и преобразований параллельных программ для широкого диапазона мультипроцессорных вычислительных платформ и находят применение для различных прикладных областей, в частности, для эффективной реализации задач метеорологического прогнозирования. 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. uk Інститут програмних систем НАН України Проблеми програмування Методи та засоби програмної інженерії Формальні та адаптивні методи й інструментальні засоби паралельного програмування Формальные и адаптивные методы и инструментальные средства параллельного программирования Formal and adaptive methods and software tools of parallel programming 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 |
2017 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Формальные и адаптивные методы и инструментальные средства параллельного программирования Formal and adaptive methods and software tools of parallel programming |
| description |
Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування.
Приведен обзор результатов разработки формальных и адаптивных методов и программных средств, достигнутых за последние годы в Институте программных систем НАН Украины, основанные на алгебро-алгоритмическом подходе и технике переписывающих правил. Методы предназначены для автоматизации проектирования, генерации и преобразований параллельных программ для широкого диапазона мультипроцессорных вычислительных платформ и находят применение для различных прикладных областей, в частности, для эффективной реализации задач метеорологического прогнозирования.
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/144493 |
| citation_txt |
Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А.Ю. Дорошенко, О.Г. Бекетов, К.А. Жереб, П.А. Іваненко, О.М. Овдій, Р.С. Шевченко, О.А. Яценко // Проблеми програмування. — 2017. — № 3. — С. 19-30. — Бібліогр.: 32 назв. — укр. |
| work_keys_str_mv |
AT dorošenkoaû formalʹnítaadaptivnímetodiiínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT beketovog formalʹnítaadaptivnímetodiiínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT žerebka formalʹnítaadaptivnímetodiiínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT ívanenkopa formalʹnítaadaptivnímetodiiínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT ovdíiom formalʹnítaadaptivnímetodiiínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT ševčenkors formalʹnítaadaptivnímetodiiínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT âcenkooa formalʹnítaadaptivnímetodiiínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT dorošenkoaû formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT beketovog formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT žerebka formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT ívanenkopa formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT ovdíiom formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT ševčenkors formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT âcenkooa formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT dorošenkoaû formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT beketovog formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT žerebka formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT ívanenkopa formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT ovdíiom formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT ševčenkors formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT âcenkooa formalandadaptivemethodsandsoftwaretoolsofparallelprogramming |
| first_indexed |
2025-12-07T19:52:45Z |
| last_indexed |
2025-12-07T19:52:45Z |
| _version_ |
1850880468041334784 |