brand

Публикации за 2015 год

Что искать

Искать в:

Публикации
Труды ИСП РАН
Везде

Публикации за 2015 год

Диссертации

  1. Коршунов А.В. Исследование структуры сообществ пользователей в графах онлайновых социальных сетей Диссертация на соискание учёной степени к. ф.-м. н., Институт Системного Программирования РАН, 2015.
  2. Астраханцев Н.А. Методы и программные средства извлечения терминов из коллекции текстовых документов предметной области Диссертация на соискание учёной степени к. ф.-м. н., Институт Системного Программирования РАН, 2015.

Другие публикации

  1. Lavrischeva E.M. Software Engineering: New Disciplines And E-Learning Theme For Development Of Applied Systems. European Journal of Engineering and Technology, Progressive Academic Publishing, 2015, 3 (3), 36-63.
  2. И.С. Захаров, М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.К. Петренко, А.В. Хорошилов. Конфигурируемая система статической верификации модулей ядра операционных систем. Программирование, №1, 2015, с. 44-67.
  3. В.А. Падарян, В.В. Каушан, А.Н. Федотов. Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке. Programming and Computer Software, 2015, Vol. 41, No. 6, pp. 373–380.
  4. М. У. Мандрыкин, А. В. Хорошилов. Высокоуровневая модель памяти промежуточного языка Jessie с поддержкой произвольного приведения типов указателей. Программирование том 41, №4, 2015, с. 23-39.
  5. Mikhail Mandrykin, Alexey Khoroshilov. Towards Deductive Verification of Concurrent Linux Kernel Code with Jessie. Proceedings of the CSIT 2015.
  6. Денис Буздалов, Алексей Хорошилов. О формальной интерпретации архитектурных моделей. The Second Architecture Centric Virtual Integration (ACVI) Workshop Madrid, Spain on June, 26.
  7. А.С. Камкин. Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем. Программирование, том 41, №6, 2015.
  8. М. Чупилко, А. Камкин, А. Коцыняк, А. Проценко, С. Смолов, А. Татарников. Генерация тестовых программ для устройств управления памятью ARM VMSAv8-64 на основе спецификаций. Труды семинара Microprocessor Test and Verification (MTV), 2015.
  9. С.А. Смолов. Метод извлечения расширенных конечных автоматов из HDL-описаний. Сборник трудов ежегодной научно-практической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, с.48-50.
  10. С.А. Смолов, А.С. Камкин Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 1(212), 2015, c 60-73.
  11. Бурдонов И. Б., Косачев А. С., Кулямин В. В. Параллельные вычисления на графе. Программирование, 41(1):3-17, 2015.
  12. Бурдонов И. Б., Косачев А. С., Кулямин В. В. Исследование графа набором автоматов. Программирование, 41(6):3-7, 2015.
  13. P. N. Devyanin, A. V. Khoroshilov, V. V. Kuliamin, A. K. Petrenko, and I. V. Shchepetkov. Using Refinement in Formal Development of OS Security Model. Proceedings of PSI 2015.
  14. А.Д. Татарников. Инструмент автоматизации разработки генераторов тестовых программ для микропроцессоров на основе формальных спецификаций. Сборник трудов ежегодной научно-практической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, с. 53-54.
  15. Д.В. Ефремов, Н.Ю. Комаров, А.В. Хорошилов. Конструирование ядра операционной системы. М., Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова (лицензия ИД No 05899 от 24.09.2001); МАКС Пресс, 2015. — 160 с.
  16. Lavrischeva Ekaterina. Ontological Approach to the Formal Specification of the Standard Life Cycle. "Science and Information Conference-2015", Jule 28-30, London, UK, p.965-972.
  17. Ekaterina M. Lavrischeva. Ontology of Domains. Ontological Description Software Engineering Domain—The Standard Life Cycle The Standard Life Cycle, Journal of Software Engineering and Applications, 2015, 8, p.1-15.
  18. Е.М. Лаврищева. Компонентная теория и коллекция технологий для разработки индустриальных приложений из готовых ресурсов. Труды Четвертой научно-практической конференции «Актуальные проблемы системной и программной инженерии», АПСПИ-2015, 20-21мая 2015, c 101-119.
  19. Е.М.Лаврищева. Object modelling of subject domains. Заочный журнал «Объектные системы», 2015, с.34-40.
  20. Лаврищева Е.М., Карпов Л.В., Томилин А.Н. Системная поддержка бизнес задач в глобальной информационной сети. Труды конференции «Научный сервис в сети Интернет -2015», 21-26 сентября 2015, Новоросийск, c. 193-218.
  21. Лаврищева Е.М., Слабоспитская О.А. Технология моделирования изменяемых программных продуктов и систем. XII Межд. Научно-практ. конф. «Теоретические и прикладные аспекты построения программных систем».-TAAPSD’2015, 23-26 ноября, 2015.-с.118-128.
  22. Лаврищева Е.М., Слабоспитская О.А. Коллекция CASE-Tools для сборки вариабельных систем из готовых ресурсов. Сб. статей «Технология разработки информационных систем -2015» НИИ Моделирования и проектирования информационных систем, РФФИ.- Таганрог, с.148-1.
  23. Николай Пакулин, Алексей Хорошилов. Свободная реализация ARINC-653-совместимой операционной системы реального времени. Сборник докладов Двенадцатой конференции разработчиков свободных программ, сс. 23-27, Калуга, 17-18 октября 2015 г.
  24. Alexey Khoroshilov, Eugene Kornykhin. PyCL – Python-based AADL Constraint Language. Proceedings of the Second International Workshop on Architecture Centric Virtual Integration - ACVI 2015, Madrid, Spain, June 26, 2015.
  25. И.С. Захаров, В.С. Мутилин, А.В. Хорошилов. Моделирование окружения с использованием шаблонов для статической верификации модулей ядра Linux Программирование, Том 41, 2015, №3, сс. 183-195.
  26. Никешин А.В., Пакулин Н.В., Шнитман В.З. Мутационное тестирование сетевых протоколов с использованием формальных моделей. В сборнике: Научный сервис в сети Интернет труды XVII Всероссийской научной конференции. ИПМ им. М.В.Келдыша. Москва, 2015. С. 259-266.
  27. Н.А. Астраханцев, Д.Г. Федоренко, Д.Ю. Турдаков. Методы автоматического извлечения терминов из коллекции текстов предметной области Программирование, 2015, № 6, с. 18-37
  28. Майоров В., Андрианов И., Астраханцев Н., Аванесов В., Козлов И., Турдаков Д. Высокоточный метод извлечения аспектных терминов для русского языка Компьютерная лингвистика и интеллектуальные технологии (Труды ежегодной международной конференции “Диалог”). Выпуск 14(21). Том 2. 2015. сс. 34-43.
  29. Гомзин А.Г., Ипатов С.А., Коршунов А.В. Egozoom -- сервис для исследования эгосетей Труды Международной конференции DAMDID/RCDL-2015, Обнинск, 2015
  30. Лаврищева Е.М., Карпов Л.Е., Томилин А.Н. Системная поддержка решения бизнес-задач в глобальной информационной сети Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск), место издания ИПМ им. М.В.Келдыша М, с. 193-218
  31. Золотов В.А., Петрищев К.С., Семенов В.А. Исследование методов пространственного индексирования динамических сцен на основе регулярных октодеревьев Графикон'2015 : Труды Юбилейной 25-й Международной научной конференции, Протвино, 22–25 сентября 2015 года. – Протвино: Автономная некоммерческая организация "Институт физико-технической информатики", 2015. – С. 115-122
  32. Аничкин А.С., Казаков К.А., Семенов В.А. Календарно-сетевое планирование индустриальных проектов с учётом перегруженности рабочих зон Информационные и математические технологии в науке и управлении : Труды XX Байкальской Всероссийской конференции, Иркутск-Байкал, 30 июня – 07 2015 года / Институт систем энергетики им. Л.А. Мелентьева Сибирского отделения Российской академии наук; Ответственный редактор Л.В. Массель. – Иркутск-Байкал: Федеральное государственное бюджетное учреждение науки Институт систем энергетики им. Л.А. Мелентьева Сибирского отделения Российской академии наук, 2015. – С. 7-14
  33. Ильин Д.В., Морозов С.В., Семенов В.А. Управление целостностью семантически сложных данных в транзакционных информационных системах Информационные и математические технологии в науке и управлении: Труды XX Байкальской Всероссийской конференции, Иркутск-Байкал, 29 июня – 07 2015 года / Ответственный редактор Л.В. Массель. – Иркутск-Байкал: Федеральное государственное бюджетное учреждение науки Институт систем энергетики им. Л.А. Мелентьева Сибирского отделения Российской академии наук, 2015. – С. 71-78
  34. Морозов С.В., Ильин Д.В., Семенов В.А., Тарлапан О.А. Перспективный метод верификации масштабных моделей данных Информационные технологии в науке, образовании и управлении, Гурзуф, 22 мая – 01 2015 года / под редакцией проф. Е.Л. Глориозова. – Гурзуф: Общество с ограниченной ответственностью "Институт новых информационных технологий", 2015. – С. 438-444
  35. Аничкин А.С., Семенов В.А. Объектно-ориентированный каркас для разработки приложений теории расписания Информационные технологии в науке, образовании и управлении, Гурзуф, 22 мая – 01 2015 года / под редакцией проф. Е.Л. Глориозова. – Гурзуф: Общество с ограниченной ответственностью "Институт новых информационных технологий", 2015. – С. 460-464
  36. Zolotov V.A., Petrishchev, K.S., Semenov V.A. Octree-based approach to spatial indexing of complex dynamic scenes 25th International Conference on Computer Graphics and Vision, GraphiCon 2015 - Conference Proceedings, pp. 115-122
  37. М.К. Ермаков, С.П. Вартанов Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 5-24.
  38. С.П. Вартанов, М.К. Ермаков Применение статической инструментации байт-кода языка Java для динамического анализа программ Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 25-38.
  39. Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 39-50.
  40. Игорь Бурдонов, Александр Косачев Обход неизвестного графа коллективом автоматов. Недетерминированный случай Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 51-68.
  41. Игорь Бурдонов, Александр Косачев Мониторинг динамически меняющегося графа Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 69-96.
  42. С.А. Смолов Обзор методов извлечения моделей из HDL-описаний Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 97-124.
  43. Е.М. Лаврищева, Л.Е. Карпов, А.Н. Томилин Сервисные средства интернет для решения бизнес-задач Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 125-150.
  44. В.Ю. Королёв, А.Ю. Корчагин, И.В. Машечкин, М.И. Петровский, Д.В. Царёв Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 151-172.
  45. С.Д. Кузнецов Объектные модели ODMG и SQL десять лет спустя: нет противоречий Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 173-192.
  46. М.С. Акопян Использование многопоточных процессов в среде ParJava Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 5-22.
  47. М. К. Ермаков, С. П. Вартанов Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 23-38.
  48. М.К. Ермаков, С.П. Вартанов Поиск состояний гонки в программах на языке Java при помощи динамического анализа Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 39-52.
  49. А.А. Белеванцев, Е.А. Велесевич Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 53-64.
  50. В.Ю.Ефимов, К.А. Батузов, В.А.Падарян Об особенностях детерминированного воспроизведения при минимальном наборе устройств Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 65-92.
  51. Севак Саргсян Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 93-104.
  52. В.В. Каушан, А.Ю. Мамонтов, В.А. Падарян, А.Н. Федотов Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 105-126.
  53. М.А. Климушенкова, П.М. Довгалюк Методы повышения производительности обратной отладки Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 127-144.
  54. А.В.Никешин, Н.В.Пакулин, В.З. Шнитман Тестирование реализаций клиента протокола TLS Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 145-160.
  55. Р.И. Подловченко Конечные автоматы в теории алгебраических схем программ Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 161-172.
  56. А. Э. Молчанов Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 173-188.
  57. Игорь Бурдонов, Александр Косачев Параллельные вычисления на динамически меняющемся графе Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 189-220.
  58. В.А.Захаров Моделирование и анализ поведения последовательных реагирующих программ Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 221-250.
  59. А.С. Камкин, А.К. Петренко, А.Н. Терехов Предисловие Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 7-8
  60. И.С. Раткевич Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 9-28
  61. Ю.В. Белякова, С.С. Михалкович Проблемы обобщений C# и способы их решения с помощью концептов Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 29-46
  62. Д. Егорова, В. Жидченко Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 47-56
  63. А. Наумчев Бесшовная разработка программного обеспечения: применимость на примере Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 57-72
  64. А.Н. Коварцев, В.С. Смирнов, С.В. Смирнов Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 73-86
  65. О.А. Четверина Классификация процедур для выбора стратегии оптимизации Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 87-100
  66. П.П. Олейник Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 101-114
  67. Н.В. Воинов, П.Д. Дробинцев, И.В. Никифоров, В.П. Котляров, А.В. Колчин Метод автоматической конкретизации символических тестовых сценариев Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 115-124
  68. А.С. Камкин, А.С. Проценко, А.Д. Татарников Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 125-138.
  69. В.Н. Куцевол, А.Н. Мешков, М.П Рыжов, П.В. Фролов Подход к верификации модуля прямого доступа к памяти Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 139-148.
  70. А.С. Камкин, М.В. Петроченков Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 149-160.
  71. И.В. Мельниченко, А.С. Камкин, С.А. Смолов Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 161-182.
  72. В. Буренков О реализации формального метода верификации масштабируемых систем с когерентной памятью Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 183-196.
  73. С.А. Черненок, В.А. Непомнящий Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 197-218.
  74. Н. Никитина, А. Мицюк Редактор моделей процессов «Carassius» Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 219-236.
  75. И. Шугуров, А. Мицюк Iskra: Инструмент починки моделей процессов Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 237-254.
  76. С. Иванов, А. Каленкова Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 255-266.
  77. К. Маллачиев, Н. Пакулин Удаленное обслуживание системных вызовов в микроядерном гипервизоре Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 267-278.
  78. А. Кирьянцев, И. Стефанова Создание приватного сервиса с использованием приложения CRYP2CHAT Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 279-290.
  79. В. Тарасов, Е. Мезенцева, Д. Карбаев Совмещенный классификатор для фильтрации сообщений на веб сайтах Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 291-302.
  80. В. Тарасов, С. Малахов Программа статистической обработки данных анализатора Wireshark и исследование входящего трафика Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 303-314.
  81. И.П. Болодурина, Д.И. Парфёнов Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 315-328.
  82. Н. Лиманова, М. Седов Метод поиска реквизитов физических лиц в базах данных на основе нечёткого сравнения Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 329-342.
  83. Д.В. Антонов, В.С. Рублев Эффективное взаимодействие с СУБД DIM Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 343-350.
  84. Д.А. Усталов Инструментарий краудсорсинга для механизированного труда Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 351-364.
  85. Л.С. Зеленко, Д.А. Конопелькин, В.С. Иванов, А.О. Григорьев, А.Е. Семенов, М.А. Савачаев, Е.Е. Поберёзкин Программные средства для организации и поддержки игровой дистанционной обучающей системы «3Ducation» Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 365-378.
  86. А.А. Цыганов Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 379-388.
  87. С. Латкина Двухшаговый генератор гармоничных мелодий Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 389-406.
  88. А. И. Гетьман, В.П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов Модель представления данных при проведении глубокого анализа сетевого трафика Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 5-22.
  89. И.А. Вахрушев, В.В. Каушан, В.А. Падарян, А.Н. Федотов Метод поиска уязвимости форматной строки Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 23-38.
  90. Евгений Велесевич Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 39-48.
  91. М.У. Мандрыкин , А.В. Хорошилов О дедуктивной верификации Си программ, работающих с разделяемыми данными Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 49-68.
  92. С.В. Морозов, Д.В. Ильин, В.А. Семенов, О.А. Тарлапан Библиотека ограничений для спецификации индустриальных моделей данных. Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 69-110.
  93. Е.В. Тутубалина Совместная вероятностная тематическая модель для идентификации проблемных высказываний, связанных нарушением функциональности продуктов Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 111-128.
  94. А.Г. Гомзин, С.Д. Кузнецов Методы построения социо-демографических профилей пользователей сети Интернет Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 129-144.
  95. В.А.Захаров, В.В. Подымов Применение алгоритмов проверки эквивалентности для оптимизации программ Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 145-174.
  96. И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков Современные методы аспектно-ориентированного анализа эмоциональной окраски Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 5-22.
  97. Д.А. Грушин, Н.Н Кузюрин Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 23-34.
  98. А.В. Алексиянц, О.Д. Борисенко, Д. Ю. Турдаков, А. В. Шер, С. Д. Кузнецов Реализация сервиса для выполнения Apache Spark задач и создания Apache Spark кластеров на основе Openstack Sahara Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 35-48.
  99. И.В. Богомолов, А.В. Алексиянц, А. В. Шер, О.Д. Борисенко, А.И. Аветисян Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 49-58.
  100. В.К. Кошелев, И.А. Дудина, В.И. Игнатьев, А.И. Борзилов Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 59-86.
  101. П.С. Андрианов, В.С. Мутилин, А.В. Хорошилов Метод легковесного статического анализа для поиска состояний гонок Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 87-116.
  102. М.У. Мандрыкин, В.С. Мутилин Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 117-142.
  103. Е.В. Корныхин, А.В. Хорошилов Использование языка программирования Python для описания ограничений на архитектурные модели Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 143-156.
  104. А.В. Цыварев, А.В. Хорошилов Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 157-174.
  105. А.К.Петренко, В.В.Кулямин, А.В.Хорошилов Об интеграции формальных методов в задачах верификации операционных систем Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 175-190.
  106. A.С. Асратян, Н.Н. Кузюрин Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 191-198.
  107. В.П. Иванников Предисловие Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 5-6.
  108. Д. А. Максименков Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 7-20.
  109. Дмитрий Бочарников Подходы к оптимизации движка JavaScript V8 Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 21-32.
  110. Варданян В.Г., Иванишин В.А., Асрян С.А., Хачатрян A.А., Акопян Дж.А. Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 33-48.
  111. О.А. Четверина Методы коррекции профильной информации в процессе компиляции Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 49-66.
  112. Жуйков Р.А., Шарыгин Е.Ю. Методы предварительной оптимизации программ на языке JavaScript Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 67-86.
  113. Пальчевский Е.В., Халиков А.Р Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 87-96.
  114. Долгорукова К.Ю. Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 97-110.
  115. А.Е. Бородин, А.А. Белеванцев. Статический анализатор Svace как коллекция анализаторов разных уровней сложности Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 111-134.
  116. Кулагин И.И., Курносов М.Г. Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 135-150.
  117. Е.А. Карпулевич Использование различных представлений java-программ для статического анализа Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 151-158.
  118. Фурсова Н.И., Довгалюк П.М., Васильев И.А Использование ABI для интроспекции виртуальных машин Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 159-168.
  119. Канатов А.В., Зуев Е.А Концепция наследования в современных языках программирования Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 169-188.
  120. Волконский В.Ю., Нейман-заде М.И., Ермолицкий А.В., Маркин А.Л., Четверина О.А. Агрессивная инлайн-подстановка функций для VLIW-архитектур Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 189-198.
  121. Г.Р. Гарай, А. Черных, А.Ю. Дроздов Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 199-224.
  122. Тормасов А.Г., Лысов А.А., Мазур Э.М. Распределенные системы хранения данных: анализ, классификация и выбор Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 225-252.
  123. Иваничкина Л. В., Непорада А.П. Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 253-274.
  124. Г.И. Радченко Модель проблемно-ориентированной облачной вычислительной среды Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 275-284.
  125. Скатков А.В., Шевченко В.И. Расширение референтной модели облачной вычислительной среды в концепции крупномасштабных научных исследований Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 285-306.
  126. А.С. Чадин Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 307-314.
  127. Герасимов С.В., Колосов И.Ю., Глотов Е.С., Попов И.С., Мещеряков А.В Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 315-334.
  128. Панкратов А.Н., Тетуев Р.К., Пятков М.И., Тойгильдин В.П., Попова Н.Н. Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 335-344.
  129. Балашов Н. А., Баранов А. В., Кореньков, В.В. Кутовский Н.А., Нечаевский А.В., Семенов Р.Н. Облачный сервис ОИЯИ: статус и перспективы Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 345-354.
  130. Ф. Армента-Кано, А. Черных, Х.М. Кортес-Мендоза, Р. Яхьяпур, А.Ю. Дроздов, П. Буври, Д. Клязович, А. Аветисян, С. Несмачнов Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 355-380.
  131. А.В. Трепачева Дерандомизационная криптостойкость гомоморфного шифрования Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 381-394.
  132. Матвеев Ю. Н., Стукалова Н.А Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 395-408.
  133. С.В. Поляков, А.В. Выродов, Д.В. Пузырьков, М.В. Якобовский Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 409-420.
  134. А.Н. Ермаков, С.В. Клименко, А.А. Меркулов, С.А.Панфилов, А.Н.Райков Облачный фреймворк для интеграции сетевых экспертных и аналитических средств Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 421-440.
  135. Н.Г. Кушик Проверяющие эксперименты с ненаблюдаемым древовидными автоматами Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 441-450.

Вернуться к списку всех публикаций