Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители

• Опубліковано в: : Кибернетика и системный анализ
• Дата: 2011
• Автори: Андон, Ф.И., Дорошенко, А.Е., Жереб, К.А.
• Формат: Стаття
• Мова: Російська
• Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2011
• Теми: Программно-технические комплексы
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/84226
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители / Ф.И. Андон, А.Е. Дорошенко, К.А. Жереб // Кибернетика и системный анализ. — 2011. — Т. 47, № 4. — С. 176-187. — Бібліогр.: 23 назв. — рос.

Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ефективних програм для графічних прискорю вачів. Розроблені формальні засоби проілюстровано на конкретних задачах, що демонструють ви соку ефективність перетворень. We present the development of formal design methods based on the concepts of algebraic programming and algebraic dynamic models of programs using rewriting rules technique for the automated development of efficient programs for graphical processing units. The developed formal methods are illustrated by specific problems that demonstrate high performance of transformations.