| Выпуск | Название | |
| Том 33, № 2 (2021) | Классификация депрессивных эпизодов на основе ночных измерений: многомерный и одномерный анализ данных | Аннотация PDF (Rus) |
| Джульета Г. РОДРИГЕС-РУИЗ, Карлос Эрик ГАЛЬВАН-ТЕХАДА, Содель ВАСКЕС-РЕЙЕС, Хорхе Иссак ГАЛЬВАН-ТЕХАДА, Хамурапи ГАМБОА-РОСАЛЕС | ||
| Том 36, № 2 (2024) | Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них | Аннотация PDF (Eng) |
| Никита Александрович СТАРОВОЙТОВ, Сергей Михайлович СТАРОЛЕТОВ | ||
| Том 27, № 3 (2015) | Классификация процедур для выбора стратегии оптимизации | Аннотация PDF (Rus) |
| Ольга Четверина | ||
| Том 35, № 6 (2023) | Классификация текста растрового документа по признаку начертания | Аннотация PDF (Rus) |
| Даниил Евгеньевич КОПЫЛОВ, Андрей Анатольевич МИХАЙЛОВ | ||
| Том 28, № 5 (2016) | Когда защита стека в компиляторах не срабатывает? | Аннотация PDF (Eng) |
| Павел Довгалюк, Владимир Макаров | ||
| Том 36, № 1 (2024) | Количественные и качественные подходы к изучению уровня вовлеченности пользователей Facebook* | Аннотация PDF (Eng) |
| Паола Эльвира ВЕЛАСКЕС-СОЛИС, Хорхе Едуардо ИБАРРА-ЭСКЕР, Мария Анжелика АСТОРГА-ВАРГАС, Бренда Летиция ФЛОРЕС-РИОС, Моника КАРИЙО-БЕЛЬТРАН, Иван Антонио ГАРСИЯ ПАЧЕКО | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) |
| В. В. Кулямин | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) |
| В. О. Мордань | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация PDF (Eng) |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| Том 23 (2012) | Комбинирование признаков для извлечения тематических цепочек в новостном кластере | Аннотация PDF (Rus) |
| А. А. Алексеев, Н. В. Лукашевич | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) |
| А. Ю. Тихонов, А. И. Аветисян | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) |
| А. В. Козачок, Е. В. Кочетков | ||
| Том 26, № 1 (2014) | Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений | Аннотация PDF (Rus) |
| В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов | ||
| Том 28, № 2 (2016) | Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем | Аннотация PDF (Rus) |
| И. И. Чукляев | ||
| Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) |
| В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
| Том 31, № 3 (2019) | Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев | Аннотация PDF (Eng) |
| Антон Михайлович Ригин, Сергей Андреевич Шершаков | ||
| Том 37, № 1 (2025) | Компьютерное моделирование и оптимизация конструкции микрофлюидного чипа | Аннотация PDF (Rus) |
| Анастасия Андреевна ВАРФОЛОМЕЕВА, Лев Андреевич ПЯТКО, Софья Романовна ПАРШИНА | ||
| Том 37, № 3 (2025) | Компьютерные экспериментальные методы изучения английского языка австралийских аборигенов | Аннотация PDF (Eng) |
| Эвелина Олеговна ТИМОФЕЕВА | ||
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) |
| Р. И. Подловченко | ||
| Том 31, № 2 (2019) | Конструирование и оптимизация сетей распространения контента | Аннотация PDF (Rus) |
| Сантьяго Дамиан Итурриага Фабра, Серджо Энрике Несмачнов Кановас, Херардо Гони Бофриско, Бернабе Дорронсоро Диаз, Андрей Николаевич Черных | ||
| Том 36, № 5 (2024) | Конструирование программных систем, нацеленное на обеспечение безопасности | Аннотация PDF (Rus) |
| Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА | ||
| Том 34, № 5 (2022) | Контекстное разрешение омонимии на основе центроидно-контекстной модели | Аннотация PDF (Rus) |
| Александр Алексеевич ХОРОШИЛОВ, Юрий Викторович НИКИТИН, Анна Владимировна КАН, Яна Дмитриевна КОЗЛОВСКАЯ, Екатерина Андреевна ЕВДОКИМОВА | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация PDF (Eng) |
| М. С. Малеванный, С. С. Михалкович | ||
| Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация PDF (Eng) |
| А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
| Том 37, № 3 (2025) | Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга | Аннотация PDF (Rus) |
| Дмитрий Викторович ЕФАНОВ | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) |
| С. В. Козин | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация PDF (Eng) |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) |
| А. В. Канатов, Е. А. Зуев | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация PDF (Eng) |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| Том 29, № 6 (2017) | Критерий существования бесконфликтного расписания для системы строго периодических задач | Аннотация PDF (Rus) |
| С. А. Зеленова, С. В. Зеленов | ||
| Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) |
| В. В. Липаев | ||
| Том 31, № 6 (2019) | Кэширование данных в мультиконтейнерных системах | Аннотация PDF (Rus) |
| Дмитрий Андреевич Грушин, Денис Олегович Лазарев, Станислав Александрович Фомин | ||
| Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) |
| Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
| Том 26, № 4 (2014) | Лингвистический подход к определению суицида | Аннотация PDF (Rus) |
| Л. М. Ермакова, С. А. Ермаков | ||
| Том 36, № 1 (2024) | Личностные и технические навыки студентов-программистов, полученные в университетской компании по разработке программного обеспечения | Аннотация PDF (Eng) |
| Хорхе Рафаэль АГИЛАР СИСНЕРОС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) |
| А. В. Козачок | ||
| 361 - 400 из 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
