Полное описание
> Битнер, В. А. Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления : автореф. дис. ... канд. техн. наук: 05.13.11 / В. А. Битнер. - 2014. - 22 с. : ил. - Библиогр.: с. 20-21 (9 назв.). - 100 экз. - Текст : непосредственный.
ГРНТИ | УДК | |
50.39.29 | 004.75(043) |
Кл.слова (ненормированные): IR-ПРОМЫШЛЕННОГО КОМПИЛЯТОРА -- ПРОГРАММНЫЙ ПРОДУКТ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар14-13241)>
Шифр в сводном ЭК: 4b13f89b8829a714cab99a012b8f2e39
Заказ фрагмента документа ₽