brand

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

Что искать

Искать в:

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

Публикации за 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. Астраханцев Н. ATR4S: набор современных инструментов для автоматического распознавания терминов на Scala. Language Resources and Evaluation. Nov 23:1-20.
  24. Arkhipenko K., Kozlov I., Trofimovich J., Skorniakov K., Gomzin A., Turdakov D. Comparison of neural network architectures for sentiment analysis of Russian tweets Computational Linguistics and Intellectual Technologies. International Conference "Dialog 2016"
  25. Золотов В.А., Петрищев К.С., Семенов В.А. Исследование методов пространственного индексирования динамических сцен на основе регулярных октодеревьев Программирование. – 2016. – № 6. – С. 59-66
  26. Petrishchev, K., Kazakov, K., Semenov V. Spatial-temporal reasoning in construction scenes using advanced directional relations Proceedings of the 26th International Conference on Computer Graphics and Vision, GraphiCon 2016, pp. 471-474
  27. Semenov V., Kazakov, K., Petrishchev, K., Zolotov V. Software library for spatial-temporal modeling and reasoning eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the 11th European Conference on Product and Process Modelling, ECPPM 2016, pp. 193-200
  28. Варданян В.Г. Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 5-20.
  29. В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов Инфраструктура статического анализа программ на языке C# Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 21-40.
  30. А.В. Дергачёв, А.В. Сидорин Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 41-62.
  31. Е.А. Кудряшов, Д.М. Мельник, А.В. Монаков Оптимизация динамической загрузки библиотек на архитектуре ARM Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 63-80.
  32. В.А. Платонов, А.В. Монаков Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 81-92.
  33. Е.В. Пальчевский, А.Р. Халиков Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 93-102.
  34. И.Б. Бурдонов, А.С. Косачев Тестирование системы автоматов с буферизацией сообщений Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 103-130.
  35. И.Б. Бурдонов, А.С. Косачев Система автоматов: композиция по графу связей Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 131-150.
  36. И.Б. Бурдонов, А.С. Косачев Система автоматов: условия детерминизма и тестирование Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 151-184.
  37. А.А. Цынаева, М.Н. Никитин Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 185-196.
  38. А.И. Ряховский, А.А. Шмидт Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 197-206.
  39. Н.Ф. Димитриева, Ю.Д Чашечкин Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 207-220.
  40. В.В. Пузикова Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 221-242.
  41. Е.В. Давыдова, В.Н. Корчагова Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 243-258.
  42. К.С. Кузьмина, И.К. Марчевский Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 259-274.
  43. М. Провидухина, И. Сибгатуллин Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 275-282.
  44. Ю.В. Белякова Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 5-32.
  45. Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера Refinement типы для языка Jolie Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 33-44.
  46. Г.А. Зимин, Д.А. Мордвинов Образовательный визуальный потоковый язык для программирования роботов Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 45-62.
  47. M.C. Малеванный, С.С. Михалкович Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 63-78.
  48. А.С. Югов Подход к обнаружению анти-паттернов в сервис-ориентированных системах Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 79-96.
  49. А.А.Гудошникова, Ю.В. Литвинов Технология создания семейства приложений на основе анализа предметной области Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 97-110.
  50. Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин Применимость AutoProof: учебный пример верификации ПО Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 111-126.
  51. М.И. Полубелова, С.Н. Божко, С.В. Григорьев Верификация преобразования грамматики в нормальную форму Хомского в F* Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 127-138.
  52. С. Тул, П.Г. Ларсен Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 139-156.
  53. А.М. Троицкий, Д.В. Буздалов Способ статической оценки времени работы компонентов AADL-моделей Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 157-172.
  54. И.В. Ковернинский, А.В. Кан, В.Б. Волков, Ю.С. Попов, Н.К. Горелиц Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 173-180.
  55. К.М. Маллачиев, Н.В. Пакулин, А.В. Хорошилов Устройство и архитектура операционной системы реального времени Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 181-192.
  56. А.Н. Емеленко, К.А. Маллачиев, Н.В. Пакулин Разработка отладчика для операционной системы реального времени Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 193-204.
  57. Гёссен Ф., Маргариа Т., Гёке Т Моделирование конвейера распознавания людей в системах контроля доступа Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 205-220.
  58. Д.В. Пузырьков, В.О. Подрыга, С.В. Поляков Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 221-242.
  59. Д.Д. Кожевников, Н.В. Красилич Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 243-258.
  60. И.И. Чукляев Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 259-270.
  61. Е.А. Глуходед, С.И. Сметанин Метод представления мнений экспертов в виде Z-чисел Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 7-20.
  62. С.М. Авдошин, А.В. Лазаренко Система деанонимизации пользователей теневого интернета Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 21-34.
  63. П.П. Олейник, С.М. Салибекян Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 35-50.
  64. А.С. Кирьянцев, И.А. Стефанова Генерация динамических ключей и подписей с зависимостью от времени Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 51-64.
  65. Д.И. Самохвалов, Л.В. Дворянский Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 65-84
  66. К.В. Давыдова, C.A. Шершаков Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 85-102.
  67. И.С. Шугуров, А.А. Мицюк Применение MapReduce для проверки соответствия моделей процессов и логов событий Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 103-122.
  68. А.Д. Ермаков, Н.В. Евтушенко К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 123-144.
  69. П.Д. Дробинцев, В.П. Котляров, Н.В. Воинов, И.А. Селин Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 145-160.
  70. М.В. Петроченков, И.А. Стотланд, Р.Е. Муштаков Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 161-172.
  71. Е.А. Ильченко Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 173-188.
  72. В.В. Кулямин, Е.М. Лаврищева, В.С. Мутилин, А.К. Петренко Верификация и анализ вариабельных операционных систем Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 189-208.
  73. А.Р. Топчян Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 209-230.
  74. В.Н. Юдин, Л.Е. Карпов, В.Ю. Абрамов Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 231-240.
  75. Ю.А. Румянцев, П.Н. Захаров, Н.А. Абрашитова, А.В. Шматок, В.О. Рыжих, Н.Б. Гудимчук, Ф.И. Атауллаханов Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 241-266.
  76. М.В. Крапошин Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 267-326.
  77. А.Р. Топчян Извлечение и анализ информации в современных предприятиях Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 7-28.
  78. А.Р. Топчян Масштабируемые учебно-экспериментальные среды для современных предприятий Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 29-40.
  79. М.С. Лебедев, С.А. Смолов Генерация функциональных тестов для HDL-описаний на основе проверки моделей Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 41-56.
  80. В.C. Буренков, А.C. Камкин Проверка параметризованных Promela-моделей протоколов когерентности памяти Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 57-76.
  81. А.Д. Татарников Язык описания шаблонов для генерации тестовых программ для микропроцессоров Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 77-98.
  82. А.С. Камкин, А.М. Коцыняк Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификации Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 99-114.
  83. В.О. Ермакова, И.А. Ломазова Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 115-136.
  84. А.Н. Федотов Метод оценки эксплуатируемости программных дефектов Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 137-148.
  85. И.А. Дудина, В.К. Кошелев, А.Е. Бородин Поиск ошибок доступа к буферу в программах на языке C/C++ Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 149-168.
  86. А.В. Монаков, В.А. Иванишин Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 169-182
  87. В.Н. Юдин, Л.Е. Карпов Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 183-192.
  88. Р. И. Гуральник Некоторые задачи на графовых базах данных Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 193-216.
  89. Е.Ю. Шарыгин, Р.А. Бучацкий, Л.В. Скворцов, Р.А. Жуйков, Д.М. Мельник Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 217-240.
  90. К.А. Казаков, В.А. Семенов Обзор современных методов планирования движения Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 241-294.
  91. А.И. Аветисян Предисловие Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 9-10.
  92. Н.А. Белов Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 11-26.
  93. А.В. Когтенков Автоматическое доказательство безопасности локальных пустых указателей Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 27-54.
  94. П. Довгалюк, В. Макаров Когда защита стека в компиляторах не срабатывает? Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 55-72.
  95. А.Н. Федотов, В.А. Падарян, В.В. Каушан, Ш.Ф. Курмангалеев, А.В. Вишняков, А.Р. Нурмухаметов Оценка критичности программных дефектов в условиях работы современных защитных механизмов Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 73-92.
  96. А.Р. Нурмухаметов Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 93-104.
  97. В.К. Кошелев Формализация определения ошибок при статическом символьном выполнении Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 105-118.
  98. И.А. Дудина Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 119-134.
  99. В.В. Каушан Поиск ошибок выхода за границы буфера в бинарном коде программ Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 135-144.
  100. Р.Р. Мулюков, А.Е. Бородин Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 145-158.
  101. А.Ю. Герасимов, Л.В. Круглов Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 159-174.
  102. К.Ю. Долгорукова, C.В. Аришин Ускорение оптимизации программ во время связывания Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 175-198.
  103. К.А. Батузов Задача глобального распределения регистров во время динамической двоичной трансляции Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 199-214.
  104. А.К. Асланян, Ш.Ф. Курмангалеев, В.Г. Варданян, М.С. Арутюнян, С.С. Саргсян Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 215-226.
  105. И.А. Якимов, А.С. Кузнецов Оптимизация читаемости тестов порождаемых при символьных вычислениях Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 227-238.
  106. А.Е. Хмельнов, И.В. Бычков, А.А. Михайлов Декларативный язык FlexT – инструмент анализа и документирования бинарных форматов данных Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 239-268.
  107. А.И. Аветисян Предисловие Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 9-11.
  108. М.А. Климушенкова, М.Г. Бакулин, В.А. Падарян, П.М. Довгалюк, Н.И. Фурсова, И.А. Васильев О некоторых ограничениях полносистемного анализа помеченных данных Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 11-26.
  109. А.В. Вишняков Классификация ROP гаджетов Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 27-36.
  110. Р.А. Бучацкий, Е.Ю. Шарыгин, Л.В. Скворцов, Р.А. Жуйков, Д.М. Мельник, Р.В. Баев Динамическая компиляция SQL-запросов для СУБД PostgreSQL Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 37-48.
  111. Е.М. Лаврищева, А.К.Петренко Моделирование семейств программных систем Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 49-64.
  112. П.С. Андрианов, В.С. Мутилин, А.В. Хорошилов Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 65-86.
  113. А.С. Камкин, А.М. Коцыняк, А.Д. Татарников, М.М. Чупилко Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 87-102.
  114. А.И. Гетьман, Ю.В. Маркин, Д.О. Обыденков, В.А. Падарян, А.Ю. Тихонов Подходы к представлению результатов анализа сетевого трафика Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 103-110.
  115. О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 111-120.
  116. Р. Массобрио, С. Несмачнов, А. Черных, А. Аветисян, Г. Радченко Применение облачных вычислений для анализа данных большого объема в умных городах Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 121-140.
  117. Д.Ю. Игнатов, А.Н. Филиппов, А.Д. Игнатов, С. Чжан Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 141-152.
  118. М. Дробышевский, А. Коршунов, Д. Турдаков Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 153-170.
  119. А.Г. Гомзин, С.Д. Кузнецов Метод автоматического определения возраста пользователей с помощью социальных связей Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 171-184.
  120. Ю.С. Трофимович, И.С. Козлов, Д.Ю. Турдаков Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 185-196.
  121. Д.А. Усталов Применение словарей и векторов слов для автоматического построения лексической онтологии Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 197-206.
  122. И.С. Алимова, В.Д. Соловьев, И.З. Батыршин Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 207-222.
  123. Д.О. Машкин, Е.В. Котельников Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 223-240.

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