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


Что искать

Искать в:

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

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

  1. Y.R. Nedumov, A.V. Babichev, I.D. Mashonsky, N.V. Semina SciNoon: Exploratory Search System for Scientific Groups Joint Proceedings of the ACM IUI 2019 Workshops
  2. Е.М. Лаврищева, В.С. Мутилин, С.В. Козин, А.В. Рыжов Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 7-24.
  3. Н.К. Горелиц, Д.С. Кильдишев, А.В. Хорошилов Управление требованиями к ответственным системам. Обзор решений Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 25-48.
  4. М.С. Арутюнян, Г.С. Иванов, В.Г. Варданян, А.К. Асланян, А.И. Аветисян, Ш.Ф. Курмангалеев Анализ характера изменений программ и поиск неисправленных фрагментов кода Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 49-58.
  5. А.С. Чадин, Г.А. Бизюкин Определение ограничений облачной платформы на миграцию ресурсов Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 59-68.
  6. А.И. Соколова, А.С. Конушин Методы идентификации человека по походке в видео Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 69-82.
  7. С.Е. Сляднев, В.Е. Турлапов К разработке открытого программного обеспечения для реконструкции CAD-моделей Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 83-104.
  8. А.В. Максимов, Е.А. Киселев, С.Д. Кургалин, С.А. Зуев Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 105-114.
  9. Д.В. Ефанов, В.В. Сапожников, Вл.В. Сапожников, Д. В. Пивоваров Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 115-132.
  10. Д.О. Лазарев, Н.Н. Кузюрин Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос Труды Института системного программирования РАН. Том 31, выпуск 1, 2019 г. Стр. 133-142.
  11. Черных А.Н., Хаджали А. Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 7-14.
  12. Итурриага Фабра С.Д., Несмачнов Кановас С.Е., Гони Бофриско Н., Дорронзоро Диаз Б., Черных А.Н. Конструирование и оптимизация сетей распространения контента Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 15-20.
  13. Массобрио Р., Дорронзоро Диаз Б., Несмачнов Кановас С.Е. Виртуальный Эрудит для решения задачи о рюкзаке: обучение автоматическому распределению ресурсов Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 21-32.
  14. Сан И., Жао З., Ма С., Ду Чж. Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 33-40.
  15. Вершков Н.А., Кучуков В.А., Кучукова Н.Н. Теоретический подход к поиску глобального экстремума при обучении нейронных сетей Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 41-52.
  16. Хуссейн А., Сафьян М., Сарвар С., Ул Кайум З., Икбал М., Сакиб Н.А. Сглаживание аномалий производительности сетей Wi-Fi на уровне MAC путем адаптивного выделения каналов Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 53-66.
  17. Иванов М.В, Сергиенко О.Ю., Тырса В.В, Линднер Л., Родригес-Киньонес Х.С., Флорес-Фуэнтес В., Ривас-Лопес М., Эрнандес-Бальбуэна Д., Нието Иполито Х.И. Интеграция беспроводной связи для оптимизации распознавания окружения и расчёта траектории движения группы роботов Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 67-82.
  18. Феоктистов А.Г., Горский С.А., Сидоров И.А., Костромин Р.О., Фереферов Е.С., Бычков И.В. Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 83-96.
  19. Аланис М.О., Несмачнов Кановас С.Е. Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 97-120.
  20. Ахмад З., Джехангири А.И., Ифтихар М., Умер А.И., Афзал И. Ориентированное на данные планирование с применением отказоустойчивого метода динамической кластеризации для поддержки потоков научных работ в облаках Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 121-136.
  21. Гарай Альварес Г.P., Бертот Вальдес X., Перес-Теруэль К. Интернет вещей для оценки поведения крупного рогатого скота при поиске корма и кормлении в пастбищных системах земледелия: концепции и обзор сенсорных технологий Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 137-152.
  22. Червяков Н.И., Дерябин М.А., Назаров А.С., Бабенко М.Г., Кучеров Н.Н., Гладков А.В., Радченко Г.И. Безопасная и надежная передача данных в MANET на основе принципов вычислительно стойкого разделения секрета Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 153-170.
  23. Сарвар С., Ул Кайум З., Сафьян М., Икбал М. , Махмуд Я. Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 171-186.
  24. Бабенко М.Г., Черных А.Н., Червяков Н.И., Кучуков В.А., Миранда-Лопес В., Ривера-Родригес Р., Ду Чж. Эффективное сравнение чисел в системе остаточных классов на основе позиционной характеристики Труды Института системного программирования РАН. Том 31, выпуск 2, 2019 г. Стр. 187-202.
  25. Головешкин А.В. Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 7-28.
  26. Гудиев А.В., Гражевская А.С. Графический DSL для разработки мобильных приложений Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 29-34.
  27. Наумович Т., Баляк Л., Живоинович Л., Филипович Ф Разработка программной среды для управления интеллектуальными устройствами в реальном времени Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 35-46.
  28. Порошин П.А., Мешков А.Н. Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров «Эльбрус» Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 47-58.
  29. Фролов П.В. Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 59-66.
  30. Лебедев Д.А., Петроченков М.В. Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 67-76.
  31. Петрыкин А.А., Стотланд И.А., Мешков А.Н. Автономная верификация IOMMU с поддержкой виртуализации Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 77-84.
  32. Котляров В.П., Маслаков А.П., Толстолес А.А. Цифровое моделирование технологии производства металлообрабатывающих механических цехов Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 85-98.
  33. Носовский М.М., Дегтярев К.Ю. Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 99-122.
  34. Путро П.А. Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 123-134.
  35. Камкин А.С., Лебедев М.С., Смолов С.А. Поиск конфликтов доступа к данным в HDL-описаниях Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 135-144.
  36. Авдошин С.М., Береснева Е.Н. Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 145-156.
  37. Тюрин А.В., Тюляндин И.В., Мальцев В.С., Кириленко Я.А., Березун Д.А. Обзор языков для безопасного программирования смарт-контрактов Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 157-176.
  38. Шимчик Н.В., Игнатьев В.Н. Поиск уязвимостей при помощи статического анализа помеченных данных Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 177-190.
  39. Писарев И.А., Бабенко Л.К. C# парсер для извлечения структуры криптографических протоколов из исходного кода Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 191-202.
  40. Ригин А.М., Шершаков С.А. Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 203-216.
  41. Шаляпина Н.А., Громов М.Л. «ЖИЗНЬ» в тензорах: реализация клеточных автоматов на видеокартах Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 217-228.
  42. Мельничук Д.В. Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Труды Института системного программирования РАН. Том 31, выпуск 3, 2019 г. Стр. 229-240.

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