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

• Видавець: Інститут програмних систем НАН України
• Дата: 2018
• Автори: Doroshenko, А.Yu., Beketov, O.G., Zhereb, K.A., Ivanenko, P.A., Ovdii, О.М., Shevchenko, R.S., Yatsenko, O.A.
• Формат: Стаття
• Мова: English
• Опубліковано: Інститут програмних систем НАН України 2018
• Теми: programming automation; algebra of algorithms; meteorological forecasting; parallel computation; rewriting rules technique; UDC 004.4'24; автоматизация программирования; алгебра алгоритмов; метеорологическое прогнозирование; параллельные вычисления; техника переписывающих правил; УДК 004.4'24; автоматизація програмування; алгебра алгоритмів; метеорологічне прогнозування; паралельні обчислення; техніка переписувальних правил
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/295

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-algorith­mic approach and the technique of rewriting rules is given. The methods...