Формальні та адаптивні методи й інструментальні засоби паралельного програмування
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...
Збережено в:
| Видавець: | Інститут програмних систем НАН України |
|---|---|
| Дата: | 2018 |
| Автори: | , , , , , , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/295 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Репозиторії
Problems in programming| id |
pp_isofts_kiev_ua-article-295 |
|---|---|
| record_format |
ojs |
| spelling |
pp_isofts_kiev_ua-article-2952024-04-28T11:48:07Z Formal and adaptive methods and software tools of parallel programming Формальные и адаптивные методы и инструментальные средства параллельного программирования Формальні та адаптивні методи й інструментальні засоби паралельного програмування Doroshenko, А.Yu. Beketov, O.G. Zhereb, K.A. Ivanenko, P.A. Ovdii, О.М. Shevchenko, R.S. Yatsenko, O.A. programming automation; algebra of algorithms; meteorological forecasting; parallel computation; rewriting rules technique UDC 004.4'24 автоматизация программирования; алгебра алгоритмов; метеорологическое прогнозирование; параллельные вычисления; техника переписывающих правил УДК 004.4'24 автоматизація програмування; алгебра алгоритмів; метеорологічне прогнозування; паралельні обчислення; техніка переписувальних правил УДК 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. Problems in programming 2017; 3: 19-30 Приведен обзор результатов разработки формальных и адаптивных методов и программных средств, достигнутых за последние годы в Институте программных систем НАН Украины, основанные на алгебро-алгоритмическом подходе и технике переписывающих правил. Методы предназначены для автоматизации проектирования, генерации и преобразований параллельных программ для широкого диапазона мультипроцессорных вычислительных платформ и находят применение для различных прикладных областей, в частности, для эффективной реализации задач метеорологического прогнозирования.Problems in programming 2017; 3: 19-30 Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування.Problems in programming 2017; 3: 19-30 Інститут програмних систем НАН України 2018-11-12 Article Article application/pdf https://pp.isofts.kiev.ua/index.php/ojs1/article/view/295 10.15407/pp2017.03.019 PROBLEMS IN PROGRAMMING; No 3 (2017); 19-30 ПРОБЛЕМЫ ПРОГРАММИРОВАНИЯ; No 3 (2017); 19-30 ПРОБЛЕМИ ПРОГРАМУВАННЯ; No 3 (2017); 19-30 1727-4907 10.15407/pp2017.03 en https://pp.isofts.kiev.ua/index.php/ojs1/article/view/295/289 Copyright (c) 2018 PROBLEMS OF PROGRAMMING |
| institution |
Problems in programming |
| baseUrl_str |
https://pp.isofts.kiev.ua/index.php/ojs1/oai |
| datestamp_date |
2024-04-28T11:48:07Z |
| collection |
OJS |
| language |
English |
| topic |
programming automation algebra of algorithms meteorological forecasting parallel computation rewriting rules technique UDC 004.4'24 автоматизация программирования алгебра алгоритмов метеорологическое прогнозирование параллельные вычисления техника переписывающих правил УДК 004.4'24 автоматизація програмування алгебра алгоритмів метеорологічне прогнозування паралельні обчислення техніка переписувальних правил УДК 004.4'24 |
| spellingShingle |
programming automation algebra of algorithms meteorological forecasting parallel computation rewriting rules technique UDC 004.4'24 автоматизация программирования алгебра алгоритмов метеорологическое прогнозирование параллельные вычисления техника переписывающих правил УДК 004.4'24 автоматизація програмування алгебра алгоритмів метеорологічне прогнозування паралельні обчислення техніка переписувальних правил УДК 004.4'24 Doroshenko, А.Yu. Beketov, O.G. Zhereb, K.A. Ivanenko, P.A. Ovdii, О.М. Shevchenko, R.S. Yatsenko, O.A. Формальні та адаптивні методи й інструментальні засоби паралельного програмування |
| topic_facet |
programming automation algebra of algorithms meteorological forecasting parallel computation rewriting rules technique UDC 004.4'24 автоматизация программирования алгебра алгоритмов метеорологическое прогнозирование параллельные вычисления техника переписывающих правил УДК 004.4'24 автоматизація програмування алгебра алгоритмів метеорологічне прогнозування паралельні обчислення техніка переписувальних правил УДК 004.4'24 |
| format |
Article |
| author |
Doroshenko, А.Yu. Beketov, O.G. Zhereb, K.A. Ivanenko, P.A. Ovdii, О.М. Shevchenko, R.S. Yatsenko, O.A. |
| author_facet |
Doroshenko, А.Yu. Beketov, O.G. Zhereb, K.A. Ivanenko, P.A. Ovdii, О.М. Shevchenko, R.S. Yatsenko, O.A. |
| author_sort |
Doroshenko, А.Yu. |
| title |
Формальні та адаптивні методи й інструментальні засоби паралельного програмування |
| title_short |
Формальні та адаптивні методи й інструментальні засоби паралельного програмування |
| title_full |
Формальні та адаптивні методи й інструментальні засоби паралельного програмування |
| title_fullStr |
Формальні та адаптивні методи й інструментальні засоби паралельного програмування |
| title_full_unstemmed |
Формальні та адаптивні методи й інструментальні засоби паралельного програмування |
| title_sort |
формальні та адаптивні методи й інструментальні засоби паралельного програмування |
| 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. Problems in programming 2017; 3: 19-30 |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2018 |
| url |
https://pp.isofts.kiev.ua/index.php/ojs1/article/view/295 |
| work_keys_str_mv |
AT doroshenkoayu formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT beketovog formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT zherebka formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT ivanenkopa formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT ovdiiom formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT shevchenkors formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT yatsenkooa formalandadaptivemethodsandsoftwaretoolsofparallelprogramming AT doroshenkoayu formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT beketovog formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT zherebka formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT ivanenkopa formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT ovdiiom formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT shevchenkors formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT yatsenkooa formalʹnyeiadaptivnyemetodyiinstrumentalʹnyesredstvaparallelʹnogoprogrammirovaniâ AT doroshenkoayu formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT beketovog formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT zherebka formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT ivanenkopa formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT ovdiiom formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT shevchenkors formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ AT yatsenkooa formalʹnítaadaptivnímetodijínstrumentalʹnízasobiparalelʹnogoprogramuvannâ |
| first_indexed |
2024-09-22T04:04:04Z |
| last_indexed |
2024-09-22T04:04:04Z |
| _version_ |
1810867520989560832 |