Формальні та адаптивні методи конструювання високопродуктивних паралельних програм : [монографія] / П. І. Андон, А. Ю. Дорошенко, В. Г. Акуловський, П. А. Іваненко, О. А. Яценко; ред.: В. В. Вероцька; Національна академія наук України, Інститут програмних систем, Проєкт "Наукова книга". - Київ : Наукова думка, 2023. - 310, [1] c. - (Проєкт "Наукова книга"). - Бібліогр.: с. 298-307 - укp.Узагальнено новітній досвід застосування формальних та адаптивних методів для автоматизації конструювання високопродуктивних паралельних програм. Викладено основи алгебричного програмування, алгебри алгоритмів та інших формальних моделей паралельних програм, важливих для автоматизованого розроблення програмного забезпечення мультипроцесорних обчислювальних систем. Проаналізовано ефективність використання координаційних засобів і моделей для досягнення високих показників продуктивності паралельних програм, зокрема засобів адаптації та самоналаштування програм на цільову платформу паралельних обчислень. Розглянуто інструментальні засоби на підтримку розроблених моделей і методів для створення високопродуктивного паралельного програмного забезпечення. Наведено результати використання цих засобів як для вирішення фундаментальних проблем комп'ютерної науки, так і в технології програмування прикладних задач. Індекс рубрикатора НБУВ: З970.21-018
Рубрики:
Шифр НБУВ: ВС70603 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|