Алгебро-динамические модели для распараллеливания программ
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгебро-динамические модели для распараллеливания программ
|
|
| Creator |
Дорошенко, А.Е.
Жереб, К.А. |
|
| Subject |
Моделі та засоби паралельних і розподілених програм
|
|
| Description |
Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения эффективности распараллеливания вычислений.
Запропоновано алгебро-динамічні моделі та метод перевірки коректності оптимізуючих перетворень для мультипоточних програм та програм для графічних прискорювачів. Описано використання цих моделей за допомогою техніки переписувальних правил для доведенні коректності перетворень та підвищення ефективності розпаралелювання обчислень. We propose algebra-dynamic models and a method for checking correctness of optimizing transformations for multithread programs and programs for graphical processing units. Proposed models are used together with rewriting rules technique to prove correctness of transformations and increase effectiveness of program parallelization. |
|
| Date |
2010-03-11T11:36:28Z
2010-03-11T11:36:28Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Алгебро-динамические модели для распараллеливания программ / А.Е. Дорошенко, К.А. Жереб // Пробл. програмув. — 2010. — № 1. — С. 39-55. — Бібліогр.: 19 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/6593 681.3 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|