Ар10-24726 Дроздов, А. Ю. Компонентный подход к построению оптимизирующих компиляторов [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.11 / А. Ю. Дроздов. - М., 2010. - 50 с. : ил. - Библиогр.: с. 45-50 (36 назв.)
Кл.слова (ненормированные): оптимизирующая компиляция -- программы для эвм -- статический анализ -- внутрипроцедурные трансформации -- планирование -- разбиение на потоки Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар10-28109 Прокопенко, А. С. Статический анализ условий гонки в параллельных программах на разделяемой памяти [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / А. С. Прокопенко. - М., 2010. - 23 с. - Библиогр.: с. 22-23 (11 назв.)
Кл.слова (ненормированные): программирование параллельное -- многопроцессорные системы -- многопоточные алгоритмы -- верификация -- статический анализ -- вычислительные эксперименты Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-9071 Бабичев, С. Л. Статический анализ проблем синхронизации параллельных алгоритмов в вычислительных системах с общей памятью [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / С. Л. Бабичев. - М., 2012. - 24 с. : ил. - Библиогр.: с. 22-23 (9 назв.)
Кл.слова (ненормированные): параллельные вычисления -- параллельные алгоритмы -- статический анализ Экземпляры всего 1: ХР (1) Свободны: ХР (1) |