Защита диссертации - Гимпельсон Вадим Дмитриевич

Гимпельсон Вадим Дмитриевич

Сокращение длины критических путей при динамической трансляции двоичных кодов

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

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

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

Дата размещения: 2018-02-07.
Текст диссертации: Скачать

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

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

Место работы, должность: Федеральное государственное бюджетное учреждение науки Научно-исследовательский институт системных исследований Российской академии наук, заведующий сектором автоматизации программирования.

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

1. Галатенко В.А. К автоматизации процессов анализа и обработки информационного наполнения безопасности: развитие протокола SCAP. - "Программная инженерия", N 4, 2012. - С. 9-13.
2. Аристов М.С., Галатенко В.А., Костюхин К.А., Шмырев Н.В. Использование свободно распространяемых средств статического анализа исходных текстов программ в процессе разработки приложений для операционных систем реального времени. - "Программная инженерия", N 5, 2012. - с. 2-6.
3. Галатенко В.А. Категорирование и разделение программ и данных как принцип архитектурной безопасности. - "Программная инженерия", N 7, 2012. - С. 2-7.
4. Вьюкова Н.И., Галатенко В.А., Костюхин К.А., Шмырев Н.В. Опыт использования адаптивной компиляции в целях оптимизации критически важных приложений. - "Программная инженерия", N 8, 2012. - с. 10-16.
5. Бетелин В.Б., Галатенко В.А., Костюхин К.А. Основные понятия контролируемого выполнения сложных систем. - "Информационные технологии. Приложение к журналу", N 3, 2013, 32 с.
6. Вьюкова Н.И., Галатенко В.А., Самборский С.В. LLVM как инфраструктура разработки компиляторов для встроенных систем. - "Программная инженерия", N 6, 2013. - с. 2-10.
7. Вьюкова Н.И., Галатенко В.А., Самборский С.В. О стандарте C11. - "Программная инженерия", N 8, 2013. - с. 2-9.
8. К вопросу по строения формальных моделей сбоеустойчивых приложений реального времени Галатенко В.А., Костюхин К.А., Шмырев Н.В. Интеллектуальные системы. Теория и приложения. 2013. Т. 17. № 1-4. С. 231-236.
9. К постановке задачи разграничения доступа в распределенной объектной среде. Галатенко А.В., Галатенко В.А. Программная инженерия. 2013. № 5. С. 27-30.
10. Модель памяти многопоточных программ в стандарте C11. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2013. № 10. С. 2-9.
11. Основные понятия контролируемого выполнения сложных систем. Бетелин В.Б., Галатенко В.А., Костюхин К.А. Информационные технологии. 2013. № S3. С. 1-32.
12. Controlled execution with explicit model. Бетелин В.Б., Галатенко В.А., Костюхин К. А. PROGRAMMING AND COMPUTER SOFTWARE, 2014, № 6, Т. 40, стр. 305 - 313
13. Трассировка и самолечение в POSIX-системах. Бомбин А.А., Галатенко В.А., Костюхин К.А. Программные продукты и системы, 2014, № 108, стр. 5 - 9
14. К вопросу самовосстановления программного обеспечения в ARINC- и POSIX-системах. Бомбин А.А., Галатенко В.А., Костюхин К.А. Программная инженерия, 2015, № 3, стр. 3 - 12

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

Официальный оппонент: Новиков Сергей Викторович, кандидат технических наук (05.13.11).

Место работы, должность: Компания Intel, принципиальный инженер, руководитель направления бинарной трансляции.

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

1. Godofredo R. Garay, Andrei Tchernykh, Alexander Yu. Drozdov, Sergey V. Novikov, Victor E. Vladislavlev. A VHDL-based Modeling of Network Interface Card Buffers: Design and Teaching Methodology. “High Performance Computer Applications” Eds: Isidoro Gitler, Jaime Klapp. Communications in Computer and Information Science. Vol 595, p. 250-273. 2016, Springer DOI: 10.1007/978-3-319-32243-8_18, ISBN 978-3-319-32243-8
2. Modern Software Tools for New Computing Architectures Development, A. Yu Drozdov ; S. V. Novikov ; V. E. Vladislavlev ; Yu. N. Fonin, 2014 International Conference on Engineering and Telecommunication (EnT)
3. Program auto parallelizer and vectorizer implemented on the basis of the universal translation library and LLVM technology, A. Yu. Drozdov, S. V. Novikov, V. E. Vladislavlev, Programming and Computer Software, May 2014, Volume 40, Issue 3, pp 128–138
4. High-Level Optimizations for Newly Created and Existing Microprocessor Architectures, Alexander Drozdov; Victor Vladislavlev; Sergey Novikov; Eugeniy Kochetkov, 2015 International Conference on Engineering and Telecommunication (EnT), 2015, pp 58-62

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

Ведущая организация: Акционерное общество «Институт точной механики и вычислительной техники имени С.А. Лебедева Российской академии наук»

Контактные данные: 119991, Москва, Ленинский проспект, д. 51, +7 (495) 649-12-70, info@ipmce.ru, http://www.ipmce.ru

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

1. A. Yu. Drozdov, Yuriy N. Fonin, Victor E. Vladislavlev "Formal Processor Description for OS Modules Generation" International Journal of Advanced Research in Computer Science and Software Engineering, Volume 3, Issue 11, November 2013.
2. Evgeniy Kravtsunov, Timur Mustafin, Andrei Tchernykh, Valery Perekatov, Alexander Drozdov. Application of an Adaptive Inversion Frequencies Algorithm for Router Bandwidth Improvement. ISUM 2014 - 5° International Supercomputing Conference in Mexico, Ensenada, B.C., Mйxico (March 18-21, 2014)
3. Alexander Yu. Drozdov, Yuriy N. Fonin, Maxim N. Petrov, Tomara S. Vedishcheva, Yulia K. Novoselova. An approach to cross-platform drivers developement. International Conference Engineering & Telecommunication - En&T 2015, pp. 54-57.
4. Andrei Tchernykh, J. M. Cortés-Mendoza, R. Yahyapour, A. Yu. Drozdov, P. Bouvry, D. Kliazovich, A. Avetisyan, S. Nesmachnow. Min_c: Heterogeneous Concentration Policy for Power Aware Scheduling. International conference “Cloud computing. Education. Research. Development”, CCERD 2015 - The 6th International Conference “Cloud Computing. Education. Research. Development". Moscow, Russia, December 3-4th., 2015. Proceedings of the Institute for System Programming of the Russian Academy of Sciences Digest, Vol. 27, 6. 2015, p. 355-380 ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). DOI: 10.15514/ISPRAS-2015-27(6)-23
5. Гончаров В.В., Мишенина О.В. Нейросетевая модель формирования математических знаний в высшей школе // Нейрокомпьютеры: разработка, применение. – 2016. – № 3. – С. 61 – 66.
6. Andrei Tchernykh, Fermin A. Armenta-Cano, Pascal Bouvry, Alexander Yu. Drozdov, and Loic Didelot. Bi-objective VoIP Service Management in Cloud Infrastructure. Scientific Programming - Hindawi Publishing Corporation, 2016.

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

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

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

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