Алгебро-динамические модели для распараллеливания программ

dc.contributor.author	Дорошенко, А.Е.
dc.contributor.author	Жереб, К.А.
dc.date.accessioned	2010-03-11T11:36:28Z
dc.date.available	2010-03-11T11:36:28Z
dc.date.issued	2010
dc.identifier.citation	Алгебро-динамические модели для распараллеливания программ / А.Е. Дорошенко, К.А. Жереб // Пробл. програмув. — 2010. — № 1. — С. 39-55. — Бібліогр.: 19 назв. — рос.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/6593
dc.description.abstract	Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения эффективности распараллеливания вычислений.	uk_UA
dc.description.abstract	Запропоновано алгебро-динамічні моделі та метод перевірки коректності оптимізуючих перетворень для мультипоточних програм та програм для графічних прискорювачів. Описано використання цих моделей за допомогою техніки переписувальних правил для доведенні коректності перетворень та підвищення ефективності розпаралелювання обчислень.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.subject	Моделі та засоби паралельних і розподілених програм	uk_UA
dc.title	Алгебро-динамические модели для распараллеливания программ	uk_UA
dc.title.alternative	Алгебро-динамічні моделі для розпаралелювання програм	uk_UA
dc.title.alternative	Algebra-dynamic models for program parallelization	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681.3