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


Что искать

Искать в:

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

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

Диссертации

  1. Золотов Владислав Александрович Перспективные методы индексирования пространственно-временных данных Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. Издательство: ИСП РАН, 2014. Страницы: 22 с.

Монографии

  1. Буздалов Д.В., Корныхин Е.В., Панфёров А.А., Петренко А.К., Хорошилов А.В. Практикум по дедуктивной верификации программ. М.-МАКС Пресс, 2014.

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

  1. Турдаков Д.Ю., Андрианов И.А., Астраханцев Н.А., Майоров В.Д., Недумов Я.Р., Сысоев А.А., Федоренко Д.Г. Семантический анализ текстов с использованием системы Texterra. Тезисы доклада международной конференции по компьютерной лингвистике "Диалог". 2014 г.
  2. Астраханцев Н.А., Федоренко Д.Г., Турдаков Д.Ю. Автоматическое обогащение неформальной онтологии на основе текстов определённой предметной области.
  3. Варламов М.И., Коршунов А.В. Расчет семантической близости концептов на основе кратчайших путей в графе ссылок Википедии. Труды конференции ИОИ-2014: Интеллектуализация обработки информации, 5-10 октября 2014 года, Греция. Стр. 197.
  4. Чихрадзе К.К., Коршунов А.В., Бузун Н.О., Кузюрин Н.Н. Использование модели социальной сети с сообществами пользователей для распределённой генерации случайных социальных графов. Труды конференции ИОИ-2014: Интеллектуализация обработки информации, 5-10 октября 2014 года, Греция. Стр. 103.
  5. А.С. Камкин, Т.И. Сергеева, С.А. Смолов, А.Д. Татарников, М.М. Чупилко. Расширяемая среда генерации тестовых программ для микропроцессоров. Программирование №1, 2014, с. 3-14.
  6. А.С. Камкин, М.В. Петроченков. Система поддержки верификации реализаций протоколов когерентности с использованием формальных методов. Вопросы радиоэлектроники, серия ЭВТ, №3, 2014. С. 27-38.
  7. S. Löwe, M. Mandrykin, P. Wendler. CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). Proceedings of TACAS. 2014. pp. 392-394.
  8. М.У. Мандрыкин, А. В. Хорошилов Extended High-Level C-Compatible Memory Model with Limited Low-Level Pointer Cast Support for Jessie Intermediate Language. Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014, место издания Кострома: КГТУ, с. 36-45
  9. Д. Бейер, Ш. Лёве, Е. Новиков, А. Стахлбауер, Ф. Вендлер. Повторное использования уточнений в CPAchecker. Труды конференции по программной инженерии 2014, LNI P-227, страницы 41-42. Köllen Druck + Verlag GmbH, Bonn, 2014.
  10. Илья Щепетков Метод автоматической адаптации спецификаций правил корректности. Сборник тезисов XXI Международной научной конференции студентов, аспирантов и молодых учёных «ЛОМОНОСОВ-2014», стр. 124-126.
  11. Илья Щепетков Rodin — платформа для разработки и верификации моделей на Event-B. Тезисы докладов одиннадцатой конференции разработчиков свободных программ, стр. 50-52.
  12. Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov. Formal Verification of OS Security Model with Alloy and Event-B. Proceedings of the 4th International Conference, ABZ 2014, pages 309-314.
  13. А.С. Камкин, С.А. Смолов. Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации. Проблемы разработки перспективных микро- и наноэлектронных систем – 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 113-118.
  14. Денис Ефремов, Никита Комаров Инструментальная поддержка процесса дедуктивной верификации модулей ядра Linux. Труды SYRCoSE 2014.
  15. V. Mordan, E. Novikov. Minimizing the number of static verifier traces to reduce time for finding bugs in Linux kernel modules. Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014), editors A. Kamkin, A. Petrenko, A. Terekhov, Saint Petersburg, Russia, May 29-31. ISP RAS, Moscow, 2014.
  16. Андрианов Павел, Мутилин Вадим, Хорошилов Алексей Легковесный метод для поиска состояний гонок. Сборник трудов Весеннего/Летнего коллоквиума молодых ученых по программной инженерии. ИСП РАН, 2014. сс. 27-33.
  17. Андрианов Павел, Мутилин Вадим, Хорошилов Алексей Легковесный статический анализ для поиска состояний гонок в ядрах операционных систем. Материалы международной научно-практической конференции Инструменты и Методы Анализа Программ(TMPA-2014), с.128-135, 14-15 ноября 2014, Кострома, Россия.
  18. А.С. Проценко, М.М. Чупилко. Распознавание и интерпретация ошибочного поведения при динамической верификации аппаратуры. Проблемы разработки перспективных микро- и наноэлектронных систем – 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 91-96.
  19. Алексиянц А., Коршунов А., Кузнецов С. СУБД для социальных сетей. Открытые системы, выпуск 2, 2014.
  20. Гомзин А., Ипатов С., Коршунов А., Ким Х. Рекомендация получателей электронных сообщений с использованием локальных данных социальной сети. Proceedings of SYRCoDIS'14: The Tenth Spring Researchers Colloquium on Databases and Information Systems, Velikiy Novgorod, 2014.
  21. Гомзин А., Ипатов С., Коршунов А. Рекомендация получателей электронных сообщений с использованием различных типов локальных данных социальных сетей. Вестник НовГУ, 2014.
  22. Козлов И., Аванесов В. Ускорение PLSA: нахождение начального приближения для обучения вероятностного латентного семантического анализа. Proceedings of SYRCoDIS'14: The Tenth Spring Researchers Colloquium on Databases and Information Systems, Velikiy Novgorod, 2014.
  23. Бузун Н., Коршунов А., Аванесов В., Филоненко И., Козлов И., Турдаков Д., Ким Х. EgoLP: быстрый и распределённый поиск сообществ в социальных сетях с миллиардами узлов. Proceeding of DaMNet-2014: The Fourth IEEE ICDM Workshop on Data Mining in Networks. December 14, 2014, Shenzhen, China.
  24. Чихрадзе К., Коршунов А., Бузун Н., Пастухов Р., Кузюрин Н., Турдаков Д., Ким Х. Распределённая генерация миллиардных социальных графов с пересекающейся структурой сообществ.
  25. Кузнецов С.Д., Посконин А.В. Системы управления данными категории NoSQL. Программирование №6, 2014, т. 40.
  26. Федоренко Д., Сысоев А., Астраханцев Н. Методы оценки для викификации. Proceedings of RuSSIR Young Scientist Conference, Kazan, 2014.
  27. В.П. Иванников, А.С. Камкин, М.М. Чупилко. Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2(193), 2014, c. 130-142.
  28. А. Коцыняк, А. Татарников. Универсальная база знаний для генерации тестов. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2014.
  29. М. Чупилко, А. Проценко. Анализатор результатов динамической верификации аппаратуры: Диагностика. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2014.
  30. И.Б. Бурдонов, А.А. Косачев. Исследование графа взаимодействующими автоматами. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №3, 2014, стр. 67-75.
  31. И.Б. Бурдонов, А.А. Косачев. Исследование графа взаимодействующими автоматами. Новые информационные технологии в исследовании сложных структур. Материалы 10-ой российской конференции с международным участием. 2014, изд. Томского госуниверситета, стр.47-48.
  32. I.Burdonov, A. Kossachev, N. Yevtushenko. Deriving complete finite tests based on state machines. Proceedings of 12-th IEEE East-West Design& Tests Symposium (EWDTS 2014), Kharkov National University of Radioelectronics, 2014, pp. 100-103.
  33. Burdonov, A. Kossachev, V. Kuliamin. Parallel calculations by automata on direct and back spanning trees of a graph. French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
  34. I.Burdonov, A. Kossachev, V. Kuliamin. Building direct and back spanning trees by automata on a graph. French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
  35. Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко. О сложности проверки существования установочных последовательностей для недетерминированных автоматов. Программирование, 40(6):48-53, 2014.
  36. Лаврищева Е.М. Развитие отечественной технологии программирования. Кибернетика и системный анализ, 2014, том 50, № 3.
  37. Ekaterina Lavrischeva, Andrey Stenyashin, Andrii Kolesnyk. Object-Component Development of Application and Systems. Theory and Practice. Journal of Software Engineering and Applications, 2014, 7, Published Online August 2014 in SciRes.
  38. Лаврищева Е.М. Парадигмы программирования сборочного типа в программной инженерии. Международная конференция, УкрПрог-2014.-Специальный сборник трудов, с. 76-92.
  39. Лаврищева Е.М. Развитие идей академика В.М. Глушкова по технологии компьютеров, систем и программ. Программная инженерия, №2, 2014, Москва. с.19-26.
  40. Лаврищева Е.М. От информационных технологий к нанотехнологиям. УСиМ, №4, 2014.
  41. Khoroshilov A., Mutilin V., Novikov E., Zakharov I. Modeling Environment for Static Verification of Linux Kernel Modules. Proceedings of PSI, pp. 116-125, 2014.
  42. D.Buzdalov, A.Khoroshilov. A discrete-event simulator for early validation of avionics systems. Proceedings of the First International Workshop on Architecture Centric Virtual Integration - ACVI 2014, Valencia, Spain, September 29, 2014. CEUR WS Vol-1233, pp.28-38.
  43. Хорошилов А.В., Цыварев А.В. Метод систематического тестирования устойчивости к сбоям в ядре операционных систем. Тезисы конференции «Тихоновские чтения», Москва, 2014. С. 10.
  44. Alexey Khoroshilov. The Experience of Increasing Linux File System Test Coverage. OSADL Networking Day 2014, 4 June 2014, Heidelberg, Germany.
  45. Alexey Khoroshilov, Vadim Mutilin. The Experience of Linux Driver Verification. Talk at Dagstuhl Seminar 14171, Schloss Dagstuhl, 25 April 2014.
  46. Девянин П.Н., Ляпин В.Р., Хорошилов А.В. Комплексное научно-обоснованное решение по разработке отечественной защищенной ОССН Astra Linux Special Edition. Материалы XXIII Научно-технической конференции «Методы и технические средства обеспечения безопасности информации», Санкт-Петербург, 30 июня - 03 июля 2014 г.
  47. K. Mallachiev, N. Pakulin. Protecting Applications from Highly Privileged Malware Using Bare-metal Hypervisor. Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014), editors A. Kamkin, A. Petrenko, A. Terekhov, Saint Petersburg, Russia, May 29-31. ISP RAS, Moscow, 2014.
  48. Захаров В.А., Чемерицкий Е.В. О некоторых задачах реконфигурирования программно-конфигурируемых сетей. Моделирование и анализ информационных систем, 2014, том 21, № 6, с. 57-69.
  49. Новикова Т.А., Захаров В.А. О сложности задачи решения линейных уравнений над конечными подстановками. Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 221-223.
  50. Захаров В.А. Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами. Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 100-102.
  51. Захаров В.А. Об эквивалентности потоковых программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2014, Изд-во механико-математического ф-та МГУ Москва, с. 119-121.
  52. Казаков К.А., Семенов В.А. Глобальное планирование движения в сложных динамических сценах. Труды XIX Байкальской Всероссийской конференции «Информационные и Математические Технологии в Науке и Управлении» в 3 т. Том 2. Издательство: ИСЭМ СО РАН, 2014. Стр. 40-46.
  53. Петрищев К.С., Золотов В.А., Семенов В.А. Поиск ближайших соседей в сложных трехмерных сценах. Труды XIX Байкальской Всероссийской конференции «Информационные и Математические Технологии в Науке и Управлении» в 3 т. Том 3. Издательство: ИСЭМ СО РАН, 2014. Стр. 56-62.
  54. Lavrischeva Ekaterina. The Operating Computing Complex «Dnepr-2». Proceedings of the 2014 Third International Conference on Computer Technology in Russia and in the Former Soviet Union SoRuCom 2014.
  55. А.И. Гетьман, В.А. Падарян Восстановление формата данных путём анализа бинарного кода: cостояние и перспективы. Журнал «Проблемы информационной безопасности. Компьютерные системы», №3, 2014.
  56. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 7-8.
  57. В.В. Кулямин, А.К. Петренко. Развитие подхода к разработке тестов UniTESK. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 9-26.
  58. И.Б. Бурдонов, А.С. Косачев. Развитие теории конформности: семантики, формальные модели, алгоритмы. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 27-72.
  59. Е.А. Герлиц, В.В. Кулямин, А.В. Максимов, А.К. Петренко, А.В. Хорошилов, А.В. Цыварев. Тестирование операционных систем. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 73-108.
  60. Н.В. Пакулин, В.З. Шнитман, А.В. Никешин. Автоматизация тестирования соответствия для телекоммуникационных протоколов. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 109-148.
  61. А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.А. Сортов, А.Д. Татарников, М.М. Чупилко. Средства функциональной верификации микропроцессоров. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 149-200.
  62. Д.В. Буздалов, С.В. Зеленов, Е.В. Корныхин, А.К. Петренко, А.В. Страх, А.А. Угненко, А.В. Хорошилов. Инструментальные средства проектирования систем интегрированной модульной авионики. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 201-230.
  63. В.П. Иванников, А.А. Белеванцев, А.Е. Бородин, В.Н. Игнатьев, Д.М. Журихин, А.И. Аветисян, М.И. Леонов. Статический анализатор Svace для поиска дефектов в исходном коде программ. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 231-250.
  64. В.А. Падарян, А.И. Гетьман, М.А. Соловьев, М.Г. Бакулин, А.И. Борзилов, В.В. Каушан, И.Н. Ледовских, Ю.В. Маркин, С.С. Панасенко. Методы и программные средства, поддерживающие комбинированный анализ бинарного кода. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 251-276.
  65. П.М. Довгалюк, В.А. Макаров, В.А. Падарян, М.С. Романеев, Н.И. Фурсова. Применение программных эмуляторов в задачах анализа бинарного кода. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 277-296.
  66. Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин. Методы динамической и предварительной оптимизации программ на языке JavaScript. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 297-314.
  67. С.С. Гайсарян, Ш.Ф. Курмангалеев, К.Ю. Долгорукова, В.В. Савченко, С.С. Саргсян. Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 315-326.
  68. Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян. Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 327-342.
  69. Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян. Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 343-356.
  70. Александр Монаков, Евгений Велесевич, Владимир Платонов, Арутюн Аветисян. Инструменты анализа и разработки эффективного кода для параллельных архитектур. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 357-374.
  71. С.П. Вартанов, А.Ю. Герасимов. Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 375-394.
  72. С.В. Сыромятников, И.Е. Бронштейн, Н.Л. Луговской. Рефакторинг в рамках программного проекта. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 395-402.
  73. О.И. Самоваров, С.С. Гайсарян. Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 403-420.
  74. Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов. Texterra: инфраструктура для анализа текстов. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 421-438.
  75. Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов. Анализ социальных сетей: методы и приложения. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 439-456.
  76. В.А. Семенов, А.С. Аничкин, С.В. Морозов, О.А. Тарлапан, В.А. Золотов. Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 457-482.
  77. Н.Н. Кузюрин, Д.А. Грушин, А. Фомин. Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 483-502.
  78. И.С. Захаров, М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.К. Петренко, А.В. Хорошилов. Конфигурируемая система статической верификации модулей ядра операционных систем. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 5-42.
  79. Игорь Бурдонов, Александр Косачев. Обход неизвестного графа коллективом автоматов. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 43-86.
  80. О.В. Горемыкин. Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 87-96.
  81. В.К. Кошелев, А.О. Избышев, И.А. Дудина. Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 97-118.
  82. П.М. Довгалюк, Ю.В. Маркин. Внесение неисправностей в программу с использованием детерминированного воспроизведения. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 119-136.
  83. Ю.Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К.Н. Чыонг Ван. Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 137-158.
  84. Гонахчян В.И. Обзор методов упрощения полигональных моделей на графическом процессоре. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 159-174.
  85. Золотов. В.А., Семенов В.А. Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 175-196.
  86. В.А. Семенов, С.В. Морозов, Д.В. Ильин. Комбинированный метод верификации масштабных моделей данных. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 197-230.
  87. Л.Е. Карпов, В.Н. Юдин. Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 231-244.
  88. Т.А. Новикова, В.А.Захаров. Двусторонняя унификация программ и ее применение для задач рефакторинга. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 245-268.
  89. Варновский Н.П., Мартишин С.А., Храпченко М.В., Шокуров А.В. Методы пороговой криптографии для защиты облачных вычислений. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 269-274.
  90. Д.А. Носов. О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 275-296.
  91. А.С. Аничкин, В.А. Семенов. Современные модели и методы теории расписаний. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 5-50.
  92. М.П. Галанин, М.М. Горбунов-Посадов, А.В. Ермаков, В.В. Лукин, А.С. Родин, К.Л. Шаповалов. Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 51-68.
  93. К.Ю. Долгорукова. Обзор масштабируемых систем межмодульных оптимизаций. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 69-90.
  94. А.В. Монаков, В.А. Платонов. Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 91-102.
  95. А.Е. Бородин. Статический поиск ошибок повторной блокировки семафора. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 103-112.
  96. А.Р.Нурмухаметов. Ш.Ф. Курмангалеев, В.В. Каушан, С.С. Гайсарян. Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 113-126.
  97. В.А. Падарян, В.В. Каушан, А.Н. Федотов. Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 127-144.
  98. В.В. Подымов, В.А.Захаров. Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 145-166.
  99. Н.П. Варновский, В.А.Захаров, Н.Н. Кузюрин, А.В. Шокуров. Современное состояние исследований в области обфускации программ: определения стойкости обфускации. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 167-198.
  100. С.Д. Кузнецов. Предисловие. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 5-6.
  101. Н.А. Астраханцев. Автоматическое извлечение терминов из коллекции текстов предметной области с помощью Википедии. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 7-20.
  102. Р.К. Пастухов, А.В. Коршунов, Д.Ю. Турдаков, С.Д. Кузнецов. Улучшение качества разбиения графа с помощью многоуровневой оптимизации. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 21-32.
  103. О.Д. Борисенко, Д.Ю. Турдаков, С.Д. Кузнецов. Автоматическое создание виртуальных кластеров Apache Spark в облачной среде Openstack. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 33-44.
  104. О.Д. Борисенко, А.В. Лагута, Д.Ю. Турдаков, С.Д. Кузнецов. Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 45-54.
  105. Д.Г. Федоренко, Н.А. Астраханцев, Д.Ю. Турдаков. Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 55-72.
  106. П.В.Федотовский, Г.А. Ерохин, К.Е. Чередник, К.К. Смирнов, Г.А. Чернышев. Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 73-90.
  107. А.А. Раскин. Сравнение методик кластеризации частично упорядоченных множеств. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 91-98.
  108. Д.В. Костырев, С.И. Анищенко, М.В. Петрушан. Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 99-112.
  109. Л.М. Ермакова, C.А. Ермаков. Лингвистический подход к определению суицида. Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 113-122.
  110. С.В. Попова, И.A. Ходырев. Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? Труды Института системного программирования РАН. Том 26, выпуск 4, 2014 г. Стр. 123-136.
  111. А.И. Аветисян. Предисловие. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 5-6.
  112. Г.Н. Циперман. Стохастическая модель процесса идентификации сервисов информационной системы. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 7-28.
  113. С.С. Толстых, В.Е. Подольский. Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 29-64.
  114. И.В. Бычков, Г.А. Опарин, А.Г. Феоктистов, В.Г. Богданова, А.А. Пашинин. Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 65-82.
  115. А.В. Трепачева. Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 83-98.
  116. Ф.Б. Буртыка. Пакетное симметричное полностью гомоморфное шифрование на основе матричных полиномов. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 99-116.
  117. К. Брузе, Т. Доксуа, Е. Ерманюк, С. Жубо, M. Крапошин, И. Сибгатуллин. Прямое численное моделирование аттракторов внутренних волн стратифицированной жидкости в трапециедальной области с колеблющейся вертикальной стенкой. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 117-142.
  118. Н.С. Орлова, Я.Н. Качалкина. Исследование режимов виброкипящего гранулированного слоя с использованием пакета OpenFOAM. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 143-154.
  119. Б.И. Краснопольский, А.В. Медведев, А.Ю. Чулюнин. Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 155-172.
  120. Б.Л. Канцырев. Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 173-186.
  121. Н.Ф. Димитриева, Я.В. Загуменный. Численное моделирование стратифицированных течений с использованием OpenFOAM. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 187-200.
  122. М.В. Волик. Исследование влияния длины улиц на течение воздуха в них. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 201-212.
  123. Н.В.Евтушенко, Ана Р. Кавалли, А.К.Петренко. Предисловие. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 5-10
  124. Д. Ривера, Н, Кушик, К. Фьюензалида, А. Кавалли, Н.Евтушенко. Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 17-30.
  125. Стефан Мааг. Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 31-46.
  126. Светлана Прокопенко. Локализация неисправной компоненты в композиции расширенных автоматов. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 47-56.
  127. Игорь Бурдонов, Александр Косачев. Построение прямого и обратного остовов автоматами на графе. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 57-62.
  128. Игорь Бурдонов, Александр Косачев, Виктор Кулямин. Параллельные вычисления автоматами на прямом и обратном остовах графа. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 63-66.
  129. М.С. Форостьянова. Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 67-76.
  130. Александр Твардовский. К минимизации автоматов с таймаутами. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 77-84.
  131. О.В. Кондратьева, Н.В. Евтушенко, А.Р. Кавалли. Решение автоматных уравнений для временных автоматов относительно параллельной композиции. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 85-98.
  132. В.Х. Ла, А. Кавалли. Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 99-110.
  133. Антон Ермаков. Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 111-124.
  134. Х. Лопез, С. Мааг, Ж. Моралес. Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 125-140.

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