Институт системного программирования им. В.П. Иванникова РАН


Что искать

Искать в:

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

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

Монографии

  1. Е.М. Лаврищева. Теория объектно-компонентного моделирования программных систем. Препринт ИСП РАН 29, 2016 г., стр. 1-48.

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

  1. Natalia Fursova Introspection of the virtual machines with system calls monitoring: student research abstract. SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pages 1582-1583, ACM New York.
  2. Майоров В., Андрианов И. MayAnd на SemEval-2016 Task 5: Метод аспектного анализа эмоциональной окраски русского языка на основе синтаксического анализа и word2vec. Труды 10ого международного семинара по семантической оценке (SemEval-2016). 2016. сс. 325-329.
  3. Сысоев А., Андрианов И. Распознавание именованных сущностей: подход на основе вики-ресурсов. Компьютерная лингвистика и интеллектуальные технологии (Труды ежегодной международной конференции “Диалог”). Выпуск 15(22). 2016. сс. 746-755.
  4. Ekaterina M.Lavrischeva. Assemblling Paradigms of Programming in Software Engineering. Journal of Software Engineering and Applications, 2016, 9, 296-317.
  5. E.М. Лаврищева, Л. Е. Карпов, А. Н. Томилин. Семантические ресурсы для разработки онтологии научной и инженерной предметных областей. Научный сервис в сети Интернет: труды XVIII Всероссийской научной конференции (19-24 сентября 2016 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2016. — С. 223-239.
  6. Лаврищева Е.М. Теоретические основы моделирования программных систем из объектов и компонентов. Сборник трудов международной научно-практической конференции «Теория активных систем» (ТАС-2016), 16-17 ноября 2016.- ИПУ РАН им. В.А.Трапезникова.
  7. Лаврищева Е.М. Научные основы построения программных и информационных систем. Е-обучение теории и методам. XII Научно-практическая конференция «Современные информационные технологии и ИТ-образование», 25-26 ноября 2016, МГУ им. М.В.Ломоносова.
  8. Лаврищева Е.М., Рыжов А.Г. Применение теории общих типов данных стандарта ISO/IEC 11404 GDT к Big Data. «Актуальные проблемы в современной науке и пути их решения» , 27 октября 2016.
  9. Лаврищева Е.М. Программная инженерия. Тема 3. Базовые основы программной инженерии. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.
  10. Лаврищева Е.М. Программная инженерия. Тема 2. Технология программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.
  11. Лаврищева Е.М. Программная инженерия. Тема 1. Теория программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 48 с.
  12. Denis Buzdalov. Simulation of AADL models with software-in-the-loop execution ACM SIGAda’s High Integrity Language Technology (HILT16) International Workshop on Model-Based Development and Contract-Based Programming as part of Embedded Systems Week (ESWEEK)
  13. И. Бурдонов, А. Косачев. Исследование графа автоматом. Программная инженерия. №11, 2016 , стр. 498-508.
  14. И. Бурдонов, А. Косачев. Тестирование системы автоматов. Новые информационные технологии в исследовании сложных структур. Материалы 11-ой международной конференции. Томск, Издательский дом Томского государственного университета, 2016. Стр. 47-48.
  15. И. Бурдонов, А. Косачев. Исследование графов коллективом двигающих автоматов. Программная инженерия, №12, 2016 , стр. 559-567
  16. И. Бурдонов, А. Косачев. Обобщенная модель системы автоматов. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №4(37), 2016, стр. 89-97.
  17. Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. Сравнение способов декомпозиции спецификаций на Event-B. Программирование, 42(4):17-26, 2016
  18. Mordan V., Mutilin V. Checking several requirements at once by CEGAR Lecture Notes in Computer Science. — 2016. — Vol. 9609. — P. 218–232.
  19. S. Apel, D. Beyer, V. Mordan, V. Mutilin and A. Stahlbauer. On-The-Fly Decomposition of Specifications in Software Model Checking 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. – 2016.
  20. Мордань В. О., Мутилин В. С. Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR Программирование. — 2016. — № 4. — С. 50–68.
  21. И.В. Богомолов, А.В. Алексиянц, О.Д. Борисенко, А.И. Аветисян. Проблемы масштабируемости облачных сред и поиск причин деградации центрального сервиса идентификации Openstack Keystone ИЗВЕСТИЯ ЮФУ. ТЕХНИЧЕСКИЕ НАУКИ, 12, 2016
  22. Варламов М.И., Турдаков Д.Ю. Обзор методов извлечения информации из веб-ресурсов Программирование, номер: 5, страницы: 30-48
  23. Варданян В.Г. Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 5-20.
  24. В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов Инфраструктура статического анализа программ на языке C# Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 21-40.
  25. А.В. Дергачёв, А.В. Сидорин Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 41-62.
  26. Е.А. Кудряшов, Д.М. Мельник, А.В. Монаков Оптимизация динамической загрузки библиотек на архитектуре ARM Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 63-80.
  27. В.А. Платонов, А.В. Монаков Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 81-92.
  28. Е.В. Пальчевский, А.Р. Халиков Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 93-102.
  29. И.Б. Бурдонов, А.С. Косачев Тестирование системы автоматов с буферизацией сообщений Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 103-130.
  30. И.Б. Бурдонов, А.С. Косачев Система автоматов: композиция по графу связей Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 131-150.
  31. И.Б. Бурдонов, А.С. Косачев Система автоматов: условия детерминизма и тестирование Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 151-184.
  32. А.А. Цынаева, М.Н. Никитин Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 185-196.
  33. А.И. Ряховский, А.А. Шмидт Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 197-206.
  34. Н.Ф. Димитриева, Ю.Д Чашечкин Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 207-220.
  35. В.В. Пузикова Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 221-242.
  36. Е.В. Давыдова, В.Н. Корчагова Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 243-258.
  37. К.С. Кузьмина, И.К. Марчевский Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 259-274.
  38. М. Провидухина, И. Сибгатуллин Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 275-282.
  39. Ю.В. Белякова Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 5-32.
  40. Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера Refinement типы для языка Jolie Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 33-44.
  41. Г.А. Зимин, Д.А. Мордвинов Образовательный визуальный потоковый язык для программирования роботов Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 45-62.
  42. M.C. Малеванный, С.С. Михалкович Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 63-78.
  43. А.С. Югов Подход к обнаружению анти-паттернов в сервис-ориентированных системах Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 79-96.
  44. А.А.Гудошникова, Ю.В. Литвинов Технология создания семейства приложений на основе анализа предметной области Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 97-110.
  45. Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин Применимость AutoProof: учебный пример верификации ПО Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 111-126.
  46. М.И. Полубелова, С.Н. Божко, С.В. Григорьев Верификация преобразования грамматики в нормальную форму Хомского в F* Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 127-138.
  47. С. Тул, П.Г. Ларсен Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 139-156.
  48. А.М. Троицкий, Д.В. Буздалов Способ статической оценки времени работы компонентов AADL-моделей Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 157-172.
  49. И.В. Ковернинский, А.В. Кан, В.Б. Волков, Ю.С. Попов, Н.К. Горелиц Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 173-180.
  50. К.М. Маллачиев, Н.В. Пакулин, А.В. Хорошилов Устройство и архитектура операционной системы реального времени Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 181-192.
  51. А.Н. Емеленко, К.А. Маллачиев, Н.В. Пакулин Разработка отладчика для операционной системы реального времени Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 193-204.
  52. Гёссен Ф., Маргариа Т., Гёке Т Моделирование конвейера распознавания людей в системах контроля доступа Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 205-220.
  53. Д.В. Пузырьков, В.О. Подрыга, С.В. Поляков Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 221-242.
  54. Д.Д. Кожевников, Н.В. Красилич Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 243-258.
  55. И.И. Чукляев Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 259-270.
  56. Е.А. Глуходед, С.И. Сметанин Метод представления мнений экспертов в виде Z-чисел Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 7-20.
  57. С.М. Авдошин, А.В. Лазаренко Система деанонимизации пользователей теневого интернета Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 21-34.
  58. П.П. Олейник, С.М. Салибекян Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 35-50.
  59. А.С. Кирьянцев, И.А. Стефанова Генерация динамических ключей и подписей с зависимостью от времени Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 51-64.
  60. Д.И. Самохвалов, Л.В. Дворянский Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 65-84
  61. К.В. Давыдова, C.A. Шершаков Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 85-102.
  62. И.С. Шугуров, А.А. Мицюк Применение MapReduce для проверки соответствия моделей процессов и логов событий Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 103-122.
  63. А.Д. Ермаков, Н.В. Евтушенко К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 123-144.
  64. П.Д. Дробинцев, В.П. Котляров, Н.В. Воинов, И.А. Селин Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 145-160.
  65. М.В. Петроченков, И.А. Стотланд, Р.Е. Муштаков Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 161-172.
  66. Е.А. Ильченко Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 173-188.
  67. В.В. Кулямин, Е.М. Лаврищева, В.С. Мутилин, А.К. Петренко Верификация и анализ вариабельных операционных систем Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 189-208.
  68. А.Р. Топчян Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 209-230.
  69. В.Н. Юдин, Л.Е. Карпов, В.Ю. Абрамов Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 231-240.
  70. Ю.А. Румянцев, П.Н. Захаров, Н.А. Абрашитова, А.В. Шматок, В.О. Рыжих, Н.Б. Гудимчук, Ф.И. Атауллаханов Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 241-266.
  71. М.В. Крапошин Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 267-326.
  72. А.Р. Топчян Извлечение и анализ информации в современных предприятиях Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 7-28.
  73. А.Р. Топчян Масштабируемые учебно-экспериментальные среды для современных предприятий Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 29-40.
  74. М.С. Лебедев, С.А. Смолов Генерация функциональных тестов для HDL-описаний на основе проверки моделей Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 41-56.
  75. В.C. Буренков, А.C. Камкин Проверка параметризованных Promela-моделей протоколов когерентности памяти Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 57-76.
  76. А.Д. Татарников Язык описания шаблонов для генерации тестовых программ для микропроцессоров Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 77-98.
  77. А.С. Камкин, А.М. Коцыняк Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификации Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 99-114.
  78. В.О. Ермакова, И.А. Ломазова Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 115-136.
  79. А.Н. Федотов Метод оценки эксплуатируемости программных дефектов Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 137-148.
  80. И.А. Дудина, В.К. Кошелев, А.Е. Бородин Поиск ошибок доступа к буферу в программах на языке C/C++ Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 149-168.
  81. А.В. Монаков, В.А. Иванишин Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 169-182
  82. В.Н. Юдин, Л.Е. Карпов Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 183-192.
  83. Р. И. Гуральник Некоторые задачи на графовых базах данных Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 193-216.
  84. Е.Ю. Шарыгин, Р.А. Бучацкий, Л.В. Скворцов, Р.А. Жуйков, Д.М. Мельник Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 217-240.
  85. К.А. Казаков, В.А. Семенов Обзор современных методов планирования движения Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 241-294.
  86. А.И. Аветисян Предисловие Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 9-10.
  87. Н.А. Белов Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 11-26.
  88. А.В. Когтенков Автоматическое доказательство безопасности локальных пустых указателей Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 27-54.
  89. П. Довгалюк, В. Макаров Когда защита стека в компиляторах не срабатывает? Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 55-72.
  90. А.Н. Федотов, В.А. Падарян, В.В. Каушан, Ш.Ф. Курмангалеев, А.В. Вишняков, А.Р. Нурмухаметов Оценка критичности программных дефектов в условиях работы современных защитных механизмов Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 73-92.
  91. А.Р. Нурмухаметов Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 93-104.
  92. В.К. Кошелев Формализация определения ошибок при статическом символьном выполнении Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 105-118.
  93. И.А. Дудина Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 119-134.
  94. В.В. Каушан Поиск ошибок выхода за границы буфера в бинарном коде программ Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 135-144.
  95. Р.Р. Мулюков, А.Е. Бородин Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 145-158.
  96. А.Ю. Герасимов, Л.В. Круглов Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 159-174.
  97. К.Ю. Долгорукова, C.В. Аришин Ускорение оптимизации программ во время связывания Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 175-198.
  98. К.А. Батузов Задача глобального распределения регистров во время динамической двоичной трансляции Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 199-214.
  99. А.К. Асланян, Ш.Ф. Курмангалеев, В.Г. Варданян, М.С. Арутюнян, С.С. Саргсян Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 215-226.
  100. И.А. Якимов, А.С. Кузнецов Оптимизация читаемости тестов порождаемых при символьных вычислениях Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 227-238.
  101. А.Е. Хмельнов, И.В. Бычков, А.А. Михайлов Декларативный язык FlexT – инструмент анализа и документирования бинарных форматов данных Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 239-268.
  102. А.И. Аветисян Предисловие Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 9-11.
  103. М.А. Климушенкова, М.Г. Бакулин, В.А. Падарян, П.М. Довгалюк, Н.И. Фурсова, И.А. Васильев О некоторых ограничениях полносистемного анализа помеченных данных Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 11-26.
  104. А.В. Вишняков Классификация ROP гаджетов Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 27-36.
  105. Р.А. Бучацкий, Е.Ю. Шарыгин, Л.В. Скворцов, Р.А. Жуйков, Д.М. Мельник, Р.В. Баев Динамическая компиляция SQL-запросов для СУБД PostgreSQL Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 37-48.
  106. Е.М. Лаврищева, А.К.Петренко Моделирование семейств программных систем Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 49-64.
  107. П.С. Андрианов, В.С. Мутилин, А.В. Хорошилов Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 65-86.
  108. А.С. Камкин, А.М. Коцыняк, А.Д. Татарников, М.М. Чупилко Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 87-102.
  109. А.И. Гетьман, Ю.В. Маркин, Д.О. Обыденков, В.А. Падарян, А.Ю. Тихонов Подходы к представлению результатов анализа сетевого трафика Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 103-110.
  110. О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 111-120.
  111. Р. Массобрио, С. Несмачнов, А. Черных, А. Аветисян, Г. Радченко Применение облачных вычислений для анализа данных большого объема в умных городах Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 121-140.
  112. Д.Ю. Игнатов, А.Н. Филиппов, А.Д. Игнатов, С. Чжан Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 141-152.
  113. М. Дробышевский, А. Коршунов, Д. Турдаков Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 153-170.
  114. А.Г. Гомзин, С.Д. Кузнецов Метод автоматического определения возраста пользователей с помощью социальных связей Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 171-184.
  115. Ю.С. Трофимович, И.С. Козлов, Д.Ю. Турдаков Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 185-196.
  116. Д.А. Усталов Применение словарей и векторов слов для автоматического построения лексической онтологии Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 197-206.
  117. И.С. Алимова, В.Д. Соловьев, И.З. Батыршин Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 207-222.
  118. Д.О. Машкин, Е.В. Котельников Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 223-240.

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