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

• Видавець: Інститут кібернетики ім. В.М. Глушкова НАН України
• Дата: 2011
• Автори: Андон, Ф.И., Дорошенко, А.Е., Жереб, К.А.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2011
• Назва видання: Кибернетика и системный анализ
• Теми: Программно-технические комплексы
• Онлайн доступ: http://dspace.nbuv.gov.ua/handle/123456789/84226
• Цитувати: Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители / Ф.И. Андон, А.Е. Дорошенко, К.А. Жереб // Кибернетика и системный анализ. — 2011. — Т. 47, № 4. — С. 176-187. — Бібліогр.: 23 назв. — рос.

Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ефективних програм для графічних прискорю вачів. Розроблені формальні засоби...