Битнер Вильгельм Александрович. Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления

catalog / TECHNICAL SCIENCES / Mathematical and software of computer systems, complexes and computer networks




  • скачать файл:
  • title:
  • Битнер Вильгельм Александрович. Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления
  • The number of pages:
  • 103
  • university:
  • Вычислительный центр им.академика А.А.Дородницына РАН
  • The year of defence:
  • 2014
  • brief description:
  • Битнер Вильгельм Александрович. Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления: диссертация ... кандидата технических наук: 05.13.11 / Битнер Вильгельм Александрович;[Место защиты: Вычислительный центр им.академика А.А.Дородницына РАН].- Москва, 2014.- 103 с.
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




Доставка любой диссертации из России и Украины


THE LAST THESIS

Пакет прикладных программ для автоматизации решения двух- и трехмерных задач нестационарной фильтрации Мамаджанов, Махмудхон
Пакет программ символьной обработки для некоторых задач механики Почтаренко, Михаил Вениаминович
Представление и обработка темпоральной информации в интеллектуальных системах Кандрашина, Елена Юрьевна
Программные средства моделирования динамически изменяющейся структуры параллельных систем Борейша, Юрий Евгеньевич
Разработка алгоритмического и программного обеспечения систем обработки дальнометрической информации и планирования движения мобильных роботов Кирильченко, Александр Александрович

THE LAST ARTICLES AND ABSTRACTS

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА