%A Захаров, Виктор Николаевич %A Мунерман, Виктор Иосифович %D 2016 %T АЛГЕБРАИЧЕСКИЙ ПОДХОД К ФОРМАЛИЗАЦИИ ПАРАЛЛЕЛИЗМА ДАННЫХ %K %X В статье рассматривается алгебраический подход к формализации параллелизма данных. Дается строгое определение этого понятия на основе теории алгебраических систем. Формулируется критерий параллелизма данных для конкретных типов данных. Приводится пример доказательства параллелизма данных для теоретико-множественной и реляционной моделей данных. %U http://sitito.cs.msu.ru/index.php/SITITO/article/view/68 %J Современные информационные технологии и ИТ-образование %0 Journal Article %P 72-79%V 12 %N 1 %@ 2411-1473 %8 2016-11-25