Відмінності між версіями «Методы алебрического программирования. Формальные методы разработки параллельных программ»!!!
(Створена сторінка: pis Alex '''Методы алебрического программирования. Фо...) |
|||
| Рядок 1: | Рядок 1: | ||
[[Створив::Корж_Олександр_Сергійович|pis Alex]] | [[Створив::Корж_Олександр_Сергійович|pis Alex]] | ||
| − | '''Методы алебрического программирования. Формальные методы разработки параллельных программ'''- монографія, Київ, видавництво "Наукова думка", [[Рік видання::2017]].[[Кількість сторінок::439]]с. | + | '''Методы алебрического программирования. Формальные методы разработки параллельных программ'''- монографія, Київ, видавництво "Наукова думка", [[Рік видання::2017]].-[[Кількість сторінок::439]]с. |
Автори: [[Автор::Андон Пилип Іларіонович]], [[Автор::Дорошенко Анатолій Юхимович]], [[Автор::Жереб Костянтин Анатолійович]], [[Автор::Дорошенко Анатолій Юхимович]], [[Автор::Р.С. Шевченко]], [[Автор::Е.А. Яценко]] | Автори: [[Автор::Андон Пилип Іларіонович]], [[Автор::Дорошенко Анатолій Юхимович]], [[Автор::Жереб Костянтин Анатолійович]], [[Автор::Дорошенко Анатолій Юхимович]], [[Автор::Р.С. Шевченко]], [[Автор::Е.А. Яценко]] | ||
Поточна версія на 22:51, 26 липня 2017
Методы алебрического программирования. Формальные методы разработки параллельных программ- монографія, Київ, видавництво "Наукова думка", 2017.-439с.
Автори: Андон Пилип Іларіонович, Дорошенко Анатолій Юхимович, Жереб Костянтин Анатолійович, Дорошенко Анатолій Юхимович, Р.С. Шевченко, Е.А. Яценко
Опис
У монографії викладено отримані авторами результати розробки моделей, методів та інструментальних засобів паралельних обчислень, що грунтуються на парадигмі алгебраїчного програмування. Наведено основні поняття стосовно формалізованого опису алгоритмічних процесів за допомогою високорівневих специфікацій в алгебрах алгоритмів. Розглянуто систему алгебраїчного програмування на основі переписувальних правил. Побудовано алгеброалгоритмічні моделі послідовних та паралельних програм для багатоядерних центральних процесорів і графічних прискорювачів. Розглянуто інструментальні засоби, які побудовані на основі розроблених моделей і методів і призначені для автоматизованого проектування, генерації і трансформації програм. Проаналізовано результати застосування створених інструментальних засобів для розробки ефективних паралельних програм для багатоядерних, кластер- них та грід-платформ.
Для фахівців, що займаються розробкою прикладних алгоритмів і програмного забезпечення у різноманітних предметних галузях, а також для викладачів, аспірантів і студентів вишів.
