Сведения о ведущей организации (1149945)
Текст из файла
Сведения о ведущей организации по диссертационной работе по диссертационной работе Подкопаева Антона Викторовича на тему «Операционные методы в приложении к слабым моделям памяти» представленной на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей Полное наименование организации в соответствии с уставом Сокращенное наименование ИСП РАН организации в соответствии с уставом Почтовый индекс, адрес организации Ьггр://же,1зргаз.гц (495) 912-44-25 Веб-сайт Телефон Ыо-1зр®1зргаз.ги Адрес электронной почты диссертации в рецензируемых научных изданиях за последние 5 лет (не более 15 публикаций) Список основных публикаций работников структурного подразделения, в котором будет готовиться отзыв, по теме Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук 109004, Москва, ул.
Александра Солженицына, д. 25 А. А. Белеванцев. Многоуровневый статический анализ исходного кода программ для обеспечения качества программ. // Программирование, 2017, Том 43, №6, стр. 3-26. И.А. Дудина, А.А. Белеванцев. Применение статического символьного выполнения для поиска ошибок доступа к буферу. // Программирование, 2017, № 5, стр, 3-17. У. К. КозЬе1еч, У. Х. 1япаГ'еч, А. 1.
Вогл!оч, апс! ~ А. А. Ве1еъапгзе~. ЯзагрСпес!сег Бгайс Апа!уз1з ' Тоо1 Гог С// Ргодгагпз. // Ргоягагппипд апс! Сотригег Бойиаге, 2017, 'Чо!. 43, Ио. 4, рр. 268— 276 Р.А. Жуйков, Д.М. Мельник, Р. В. Баев. Динамическая компиляция ЯЯ?.-запросов для СУБД Роз?8геЯЯ?.. // Труды ИСП РАН, том 28, вып, 6, 2016 г. Е.А. Кудряшов, Д.М. Мельник, А.В.
Монаков Оптимизация динамической загрузки библиотек на архитектуре АКМ. // Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 63-80. А.А. Белеванцев, Е.А. Велесевич Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ. // Труды Института системного программирования РАН.
Том 27, выпуск 2, 2015 г. Стр. 53-64. А.И. Аветисян, К.А. Батузов, В.Ю. Ефимов, В.А. Падарян, А.Ю. Тихонов. Применение программных эмуляторов для полносистемного анализа бинарного кода мобильных платформ. // Проблемы информационной безопасности. Компьютерные системы. №4, 2015. Стр. 187-194 Евгений Велесевич Обнаружение и оценка количества промахов когерентности на основе вероятностной модели. // Труды Института системного программирования РАН. Том 27,; выпуск 4, 2015 г.
Стр. 39-48. Ч. А. Райагуап, А. 1. Ое1тап, М. А. Яо1оъуеч, М, ~ б. Ва1си1?п, А. 1. Вогл1оч, Ч. Ч. Капзйап, 1. Х. ~ 1.едочзЫ?сЬ, Уи. 'Ч. МагЫп, Б. Б. Рапазеп?со. Ме?Ьодз апд зойжаге 1оо1з 1о зиррог? сотЬ1пес? Ь?пагу соде апа1уз?з. // Ргодгаппп1пд апд Согпршег Бочаге. Яер1етЬег 2014, Чо1шпе 40, ?зле 5, рр 276-287 Довгалюк П.М., Макаров В.А., Падарян В.А., Романеев М.С., Фурсова Н.И. Применение приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты. // Труды Института системного программирования РАН.
Том 2б, выпуск 1, 2014 г, Стр. 343-35б. Александр Монаков, Евгений Велесевич, ~ Владимир Платонов, Арутюн Аветисян. Инструменты анализа и разработки эффективного кода для параллельных архитектур. // Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 357-374. А.Е. Бородин. Статический поиск ошибок б ф // Т Верно: Директор А.И.
Аветисян 2018 г. .
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
