Моисеев, Михаил Юрьевич. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа

Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей




  • скачать файл:
  • Название:
  • Моисеев, Михаил Юрьевич. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа
  • Кол-во страниц:
  • 200
  • ВУЗ:
  • С.-Петерб. гос. политехн. ун-т
  • Год защиты:
  • 2011
  • Краткое описание:
  • Моисеев, Михаил Юрьевич. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа : диссертация ... кандидата технических наук : 05.13.11 / Моисеев Михаил Юрьевич; [Место защиты: С.-Петерб. гос. политехн. ун-т].- Санкт-Петербург, 2011.- 174 с.: ил. РГБ ОД, 61 11-5/2079
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ




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


ПОСЛЕДНИЕ ДИССЕРТАЦИИ

Сингулярные солитоны и пространственно-неоднородные структуры в конденсированных средах Шагалов, Аркадий Геннадьевич
Связь особенностей электронной структуры высокотемпературных сверхпроводников с формой их рентгеновских и электронных спектров Аврамов, Павел Вениаминович
Сегрегационные эффекты в поверхностных слоях аморфных металлических сплавов на основе железа при механических воздействиях Орлова, Надежда Александровна
Энергетический спектр и механизмы релаксации электронов в низкоразмерных полупроводниковых системах А3 В5 Шангина, Елена Леонидовна
Физические механизмы и условия развития дислокационной неупругости и сегрегационного упрочнения микродеформированных твердых растворов Левин, Даниил Михайлович

ПОСЛЕДНИЕ СТАТЬИ И АВТОРЕФЕРАТЫ

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