Алгебро-динамические модели для распараллеливания программ
Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/6593 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Алгебро-динамические модели для распараллеливания программ / А.Е. Дорошенко, К.А. Жереб // Пробл. програмув. — 2010. — № 1. — С. 39-55. — Бібліогр.: 19 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862668626672222208 |
|---|---|
| author | Дорошенко, А.Е. Жереб, К.А. |
| author_facet | Дорошенко, А.Е. Жереб, К.А. |
| citation_txt | Алгебро-динамические модели для распараллеливания программ / А.Е. Дорошенко, К.А. Жереб // Пробл. програмув. — 2010. — № 1. — С. 39-55. — Бібліогр.: 19 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T15:25:50Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-6593 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T15:25:50Z |
| publishDate | 2010 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Дорошенко, А.Е. Жереб, К.А. 2010-03-11T11:36:28Z 2010-03-11T11:36:28Z 2010 Алгебро-динамические модели для распараллеливания программ / А.Е. Дорошенко, К.А. Жереб // Пробл. програмув. — 2010. — № 1. — С. 39-55. — Бібліогр.: 19 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/6593 681.3 Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения эффективности распараллеливания вычислений. Запропоновано алгебро-динамічні моделі та метод перевірки коректності оптимізуючих перетворень для мультипоточних програм та програм для графічних прискорювачів. Описано використання цих моделей за допомогою техніки переписувальних правил для доведенні коректності перетворень та підвищення ефективності розпаралелювання обчислень. 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. ru Інститут програмних систем НАН України Моделі та засоби паралельних і розподілених програм Алгебро-динамические модели для распараллеливания программ Алгебро-динамічні моделі для розпаралелювання програм Algebra-dynamic models for program parallelization Article published earlier |
| spellingShingle | Алгебро-динамические модели для распараллеливания программ Дорошенко, А.Е. Жереб, К.А. Моделі та засоби паралельних і розподілених програм |
| title | Алгебро-динамические модели для распараллеливания программ |
| title_alt | Алгебро-динамічні моделі для розпаралелювання програм Algebra-dynamic models for program parallelization |
| title_full | Алгебро-динамические модели для распараллеливания программ |
| title_fullStr | Алгебро-динамические модели для распараллеливания программ |
| title_full_unstemmed | Алгебро-динамические модели для распараллеливания программ |
| title_short | Алгебро-динамические модели для распараллеливания программ |
| title_sort | алгебро-динамические модели для распараллеливания программ |
| topic | Моделі та засоби паралельних і розподілених програм |
| topic_facet | Моделі та засоби паралельних і розподілених програм |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/6593 |
| work_keys_str_mv | AT dorošenkoae algebrodinamičeskiemodelidlârasparallelivaniâprogramm AT žerebka algebrodinamičeskiemodelidlârasparallelivaniâprogramm AT dorošenkoae algebrodinamíčnímodelídlârozparalelûvannâprogram AT žerebka algebrodinamíčnímodelídlârozparalelûvannâprogram AT dorošenkoae algebradynamicmodelsforprogramparallelization AT žerebka algebradynamicmodelsforprogramparallelization |