ISS Library

АЛГЕБРО-ДИНАМИЧЕСКИЕ МОДЕЛИ ДЛЯ РАСПАРАЛЛЕЛИВАНИЯ ПРОГРАММ

Дорошенко А.Е. and Жереб К.А. (2010) АЛГЕБРО-ДИНАМИЧЕСКИЕ МОДЕЛИ ДЛЯ РАСПАРАЛЛЕЛИВАНИЯ ПРОГРАММ. Проблеми програмування (1). pp. 39-55. ISSN 1727-4907

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
299Kb

Abstract

Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения эффективности распараллеливания вычислений.

Item Type:Article
Uncontrolled Keywords:Моделі та засоби паралельних і розподілених програм
Subjects:F. Theory of Computation
ID Code:532
Deposited By:G.U. Volkova
Deposited On:05 Mar 2010 11:33
Last Modified:05 Mar 2010 11:33

Repository Staff Only: item control page