Рейтинг пользователей: / 2
ХудшийЛучший 

Гниденко А.С., Гниденко И.Г.

Алгоритм верификации параллельных вычислений

Балтийский государственный технический университет

Санкт-Петербургский государственный инженерно-экономический университет

 

This work is concerned about the problem of parallel algorithms verification in order to ensure the absence of errors in synchronizing the parallel branches

Keywords: VERIFICATION, PARALLEL ALGORITHM, PARALLEL BRANCH, RACE CONDITIONS, SHARED RESOURCE

Эта работа посвящена проблеме верификации параллельных алгоритмов с целью исключить ошибки синхронизации параллельных ветвей.

Ключевые слова: ВЕРИФИКАЦИЯ, ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ, ПАРАЛЛЕЛЬНАЯ ВЕТВЬ, СОСТОЯНИЯ ГОНКИ, РАЗДЕЛЯЕМЫЙ РЕСУРС

ЧИТАТЬ ВЕСЬ ТЕКСТ >>>

 
Секции март 2012