| Выпуск | Название | |
| Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) |
| Александр Косачев | ||
| Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) |
| К. А. Батузов | ||
| Том 22 (2012) | Задача локального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) |
| Кирилл Батузов | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| Том 29, № 6 (2017) | Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах | Аннотация PDF (Rus) |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| Том 33, № 4 (2021) | Идентификация прозрачных, сжатых и шифрованных данных в сетевом трафике | Аннотация PDF (Rus) |
| Александр Игоревич ГЕТЬМАН, Мария Кирилловна ИКОННИКОВА | ||
| Том 36, № 5 (2024) | Идентификация реквизитов сборки через отслеживание системных вызовов | Аннотация PDF (Rus) |
| Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ | ||
| Том 36, № 4 (2024) | Идентификация термокарстовых объектов по спутниковым графическим данным с помощью нейронной сети | Аннотация PDF (Rus) |
| Василий Васильевич ЖЕБСАИН, Айаал Федорович ПОСЕЛЬСКИЙ | ||
| Том 32, № 6 (2020) | Иерархическая рубрикация текстовых документов | Аннотация PDF (Rus) |
| Дмитрий Игоревич СОРОКИН, Антон Сергеевич НУЖНЫЙ, Елена Александровна САВЕЛЬЕВА | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация PDF (Eng) |
| С. Л. Лесовой | ||
| Том 28, № 6 (2016) | Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов | Аннотация PDF (Rus) |
| Д. О. Машкин, Е. В. Котельников | ||
| Том 28, № 4 (2016) | Извлечение и анализ информации в современных предприятиях | Аннотация PDF (Eng) |
| А. Р. Топчян | ||
| Том 35, № 5 (2023) | Извлечение именованных сущностей из рецензий к исходному коду | Аннотация PDF (Rus) |
| Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ | ||
| Том 20 (2011) | Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии | Аннотация PDF (Rus) |
| А. В. Коршунов | ||
| Том 32, № 4 (2020) | Извлечение логической структуры из сканированных документов | Аннотация PDF (Rus) |
| Анастасия Олеговна БОГАТЕНКОВА, Илья Сергеевич КОЗЛОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| Том 21 (2011) | Извлечение объектов и их атрибутов из таблиц текстовых документов | Аннотация PDF (Rus) |
| Никита Астраханцев | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| Том 21 (2011) | Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий | Аннотация PDF (Rus) |
| А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун | ||
| Том 37, № 4 (2025): Часть 1 | Извлечение функциональности из бинарного кода | Аннотация PDF (Eng) |
| Анна Александровна ИЛЬИНА, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| Том 33, № 1 (2021) | Изучение видов деятельности на основе машинного обучения в поведенческих контекстах Интернета вещей | Аннотация PDF (Rus) |
| Мухаммад САФЬЯН, Сохаил САРВАР, Зия УЛ КАЙЮМ, Муддессар ИКБАЛ, Шанцан ЛИ, Мухаммад КАШИФ | ||
| Том 35, № 6 (2023) | Изучение оформления русской звучащей речи китайскими и ганскими студентами в цифровом формате: лингводидактический аспект | Аннотация PDF (Eng) |
| Светлана Александровна ДЕРЯБИНА, Ваньин ЖЭНЬ, Юджения НКЕТИЯ | ||
| Том 37, № 4 (2025): Часть 1 | Именная морфология первого печатного памятника тверской карельской письменности | Аннотация |
| Ирина Петровна НОВАК | ||
| Том 37, № 4 (2025): Часть 1 | Именная морфология первого печатного памятника тверской карельской письменности | Аннотация PDF (Rus) |
| Ирина Петровна НОВАК | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) |
| И. С. Захаров, Е. М. Новиков | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) |
| В. О. Савицкий, Д. В. Сидоров | ||
| Том 34, № 4 (2022) | Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений | Аннотация PDF (Rus) |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация PDF (Eng) |
| Л. В. Дворянский, В. Е. Михайлов | ||
| Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) |
| Евгений Анатольевич ГЕРЛИЦ | ||
| Том 34, № 3 (2022) | Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider | Аннотация PDF (Eng) |
| Владислав Игоревич МИРОШНИКОВ | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| Том 24 (2013) | Инструментальные средства оценки качества научно-технических документов | Аннотация PDF (Rus) |
| С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров | ||
| Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) |
| Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
| Том 27, № 3 (2015) | Инструментарий краудсорсинга для механизированного труда | Аннотация PDF (Rus) |
| Д. А. Усталов | ||
| Том 27, № 6 (2015) | Инструментация и оптимизация выполнения транзакционных секций многопоточных программ | Аннотация PDF (Rus) |
| И. И. Кулагин, М. Г. Курносов | ||
| Том 26, № 1 (2014) | Инструменты анализа и разработки эффективного кода для параллельных архитектур | Аннотация PDF (Rus) |
| Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич | ||
| Том 28, № 3 (2016) | Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере | Аннотация PDF (Rus) |
| Е. А. Ильченко | ||
| Том 21 (2011) | Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL | Аннотация PDF (Rus) |
| Р. М. Миниахметов | ||
| Том 31, № 2 (2019) | Интеграция беспроводной связи для оптимизации распознавания окружения и расчёта траектории движения группы роботов | Аннотация PDF (Rus) |
| Михаил Валерьевич Иванов, Олег Юрьевич Сергиенко, Вера Валентиновна Тырса, Ларс Линднер, Хулио Сезар Родригес-Киньонес, Венди Флорес-Фуэнтес, Мойзес Ривас-Лопес, Даниэль Эрнандес-Бальбуэна, Хуан Иван Ньето Иполито | ||
| Том 32, № 1 (2020) | Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы | Аннотация PDF (Rus) |
| Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков | ||
| Том 33, № 4 (2021) | Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки | Аннотация PDF (Eng) |
| Хафиз Ахмад Аваис ЧАУДХАРИ, Тициана МАРГАРИА | ||
| 241 - 280 из 1254 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 > >> | |
Список названий
Популярные статьи
Том 31, № 3 (2019)
Том 28, № 1 (2016)
Том 30, № 5 (2018)
Том 31, № 1 (2019)
Том 30, № 5 (2018)
Облако тегов
LLVM
OpenFOAM
QEMU
большие данные
верификация
динамический анализ
информационная безопасность
математическое моделирование
машинное обучение
моделирование
нейронные сети
облачные вычисления
обработка естественного языка
операционная система
параллельные вычисления
символьное выполнение
статический анализ
тестирование
фаззинг
формальные методы
численное моделирование
Уведомления
109004, Москва, ул. Александра Солженицына, 25
ИСП РАН
тел.: +7-495-912-44-25
e-mail: proceedings@ispras.ru
