Защита диссертации - Буренков Владимир Сергеевич

Буренков Владимир Сергеевич

Методы и средства верификации протоколов когерентности памяти

Диссертация защищена

Искомая степень: Кандидат технических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 2017-03-09.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 2017-05-25.

Официальный оппонент: Лацис Алексей Оттович, доктор физико-математических наук (05.13.11).

Место работы, должность: ФГБУН ИПМ им. М. В. Келдыша РАН, заведующий сектором.

Основные публикации за последние 5 лет:

1. А.О.Лацис, В. К. Левин. Перспективы развития суперкомпьютерной техники (по материалам лекции 27.08.2012, Дубна, MPAMCS-2012). Матем. моделирование, 2013, том 25, номер 11, страницы 128–136
2. А.О.Лацис, Е. Ю. Карцева, А. В. Кашковский, А. В. Панасенко, Ю. П. Смольянов, В. В. Чернов, А. А. Шершнев. Применение гибридной вычислительной системы к решению прикладных задач аэрогазодинамики. Вестник Южно-Уральского государственного университета, 2014, т. 3, №2, серия «Вычислительная математика и информатика», с. 20-29
3. А.О.Лацис, В. К. Левин, Б. Н. Четверушкин, Г. С. Елизаров, В. С. Горбунов, В. В. Корнеев, А. А. Соколов, Д. В. Андрюшин, Ю. А. Климов. Коммуникационная сеть МВС-Экспресс. "Информационные технологии и вычислительные системы" ОНИТ РАН, ISSN 2071-8632 №1, 2014г., с. 10-24.
4. А.О.Лацис, Басс Л.П., Дбар С.А., Марков М.Б., Савельев Г.П., Смольянов Ю.П., Храмцов М.Ю. Опыт эксплуатации суперкомпьютера К-100 в Институте прикладной математики им. М.В. Келдыша РАН. Журнал «Информационные технологии и вычислительные системы» №2, 2016г., с. 5-12

Отзыв оппонента: Скачать

Официальный оппонент: Чибисов Петр Александрович, кандидат технических наук (05.13.11).

Место работы, должность: ФГУ ФНЦ НИИСИ РАН, заведующий сектором.

Основные публикации за последние 5 лет:

1. Гревцев Н.А., Хисамбеев И.Ш., Чибисов П.А. Исследование способов повышения эффективности стохастического тестирования моделей микропроцессоров // Проблемы разработки перспективных микро- и наноэлектронных систем - 2016. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2016. Часть II. С. 8-15.
2. Хисамбеев И.Ш., Чибисов П.А. Об одном методе построения метрик функционального покрытия в тестировании микропроцессоров // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 63-68.
3. Бобков С.Г., Чибисов П.А. Повышение качества тестирования высокопроизводительных микропроцессоров методами встречного тестирования с анализом функционального тестового покрытия выделенных приложений. // Информационные технологии, №8, 2013, с. 26-33.
4. Аряшев С. И., Николина Н. В., Чибисов П. А. Организация регрессионного процесса тестирования RTL-моделей микропроцессоров // Параллельные вычисления и задачи управления. Сборник трудов конференции PACO’2012, с. 231-237.
5. Чибисов П.А. Тестирование микропроцессоров и их RTL-моделей приложениями пользователя под OC Linux. // Программные продукты и системы, №3, 2012, с. 112-116.
6. Николина Н.В., Чибисов П.А., Аряшев С.И. Современные тенденции оценки и контроля производительности микропроцессоров на стадии их разработки // Проблемы разработки перспективных микро- и наноэлектронных систем - 2012. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2012. С. 489-494.
7. Ровинский Е.В., Чибисов П.А. Запуск ОС Linux как этап функционального тестирования микропроцессоров // Проблемы разработки перспективных микро- и наноэлектронных систем - 2012. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2012. С. 125-128.

Отзыв оппонента: Скачать

Ведущая организация: АО «НИЦЭВТ»

Контактные данные: 117587, Москва, Варшавское шоссе, д. 125, +7 (495) 319-17-90, info@nicevt.ru, http://www.nicevt.ru/

Основные публикации за последние 5 лет:

1. Зибуль М.В. Программные средства и технологии, реализующие потенциал графических процессоров. – Успехи современной радиоэлектроники, №1, 2012, с. 26-30.
2. Макагон Д.В., Сыромятников Е.Л. Варианты реализации барьерной синхронизации для высокоскоростных коммуникационных сетей с топологией «многомерный тор». – Успехи современной радиоэлектроники, №7, 2012, с. 21-28.
3. Гильмендинов М.А., Фролов А.С. Подсистема динамического расширения оперативной памяти узлов многопроцессорной вычислительной системы на базе отечественной коммуникационной сети ЕС8430. – Успехи современной радиоэлектроники, №7, 2012, с. 29-32.
4. Литвинович А.В. Язык описания графических объектов GRASP. – Нейрокомпьютеры: разработка, применение, №10, 2012, с. 26-30.
5. Слуцкин А.И., Симонов А.С., Казаков Д.В. Универсальная высокопроизводительная вычислительная платформа «Ангара». – Наукоемкие технологии, №1, 2014, с. 17-20.
6. Жабин И.А., Макагон Д.В., Поляков Д.А., Симонов А.С., Сыромятников Е.Л., Щербак А.Н. Первое поколение высокоскоростной коммуникационной сети «Ангара». – Наукоемкие технологии, №1, 2014, с. 21-27.
7. Головина Е.А., Семенов А.С., Фролов А.С. Исследование производительности задачи поиска вширь в графе на сопроцессорах семейства Intel Xeon Phi. – Вычислительные методы и программирование, т. 15, 2014, с. 49-58.
8. Пожилов И.А., Семенов А.С., Макагон Д.В. Алгоритм определения связности сети с топологией «многомерный тор» с отказами для детерминированной маршрутизации. – Программная инженерия, 2015, №3, с. 13-19.

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 14 из 20 членов диссертационного совета: Аветисян А.И., Томилин А.Н., Петренко А.К., Зеленов С.В., Абрамов С.А., Бурдонов И.Б., Дроздов А.Ю., Захаров В.Н., Крюков В.А., Кузнецов С.Д., Кузюрин Н.Н., Лаврищева Е.М., Серебряков В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать