| Выпуск | Название | |
| Том 34, № 5 (2022) | Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры | Аннотация PDF (Rus) |
| Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ | ||
| Том 26, № 4 (2014) | Сравнение методик кластеризации частично упорядоченных множеств | Аннотация PDF (Rus) |
| А. А. Раскин | ||
| Том 27, № 3 (2015) | Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML | Аннотация PDF (Rus) |
| Сергей Иванов, Анна Каленкова | ||
| Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) |
| Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
| Том 34, № 5 (2022) | Сравнение системы обнаружения вторжений на основе машинного обучения с сигнатурными средствами защиты информации | Аннотация PDF (Rus) |
| Александр Игоревич ГЕТЬМАН, Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ | ||
| Том 22 (2012) | Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала | Аннотация PDF (Rus) |
| А. В. Шокуров | ||
| Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) |
| И. К. Марчевский, В. В. Пузикова | ||
| Том 32, № 2 (2020) | Сравнительный анализ алгоритмов гомоморфного шифрования на основе обучения с ошибками | Аннотация PDF (Eng) |
| Михаил Григорьевич БАБЕНКО, Елена Игоревна ГОЛИМБЛЕВСКАЯ, Егор Михайлович ШИРЯЕВ | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| Том 28, № 6 (2016) | Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов | Аннотация PDF (Rus) |
| И. С. Алимова, В. Д. Соловьев, И. З. Батыршин | ||
| Том 27, № 6 (2015) | Сравнительный анализ методов оценки производительности многоуровневых облачных приложений | Аннотация PDF (Rus) |
| Г. Р. Гарай, А. Черных, А. Ю. Дроздов | ||
| Том 30, № 5 (2018) | Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах | Аннотация PDF (Rus) |
| И. С. Алимова, Е. В. Тутубалина | ||
| Том 23 (2012) | Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce | Аннотация PDF (Rus) |
| А. Ю. Пигуль | ||
| Том 33, № 4 (2021) | Средства захвата и обработки высокоскоростного сетевого трафика | Аннотация PDF (Rus) |
| Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| Том 29, № 4 (2017) | Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков | Аннотация PDF (Eng) |
| А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация PDF (Eng) |
| С. В. Козин, В. С. Мутилин | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация PDF (Eng) |
| А. А. Васильев | ||
| Том 36, № 3 (2024) | Статический анализ ассоциативных массивов в Go | Аннотация PDF (Rus) |
| Даниил Николаевич СУББОТИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация PDF (Eng) |
| И. А. Дудина | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 30, № 3 (2018) | Статический анализ зависимостей для семантической валидации данных | Аннотация PDF (Eng) |
| Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов | ||
| Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация PDF (Rus) |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) |
| А. Е. Бородин, А. А. Белеванцев | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) |
| А. Е. Бородин | ||
| Том 36, № 3 (2024) | Статическое распределение памяти для операционных систем реального времени | Аннотация PDF (Rus) |
| Софья Анатольевна ЗЕЛЕНОВА | ||
| Том 26, № 5 (2014) | Стохастическая модель процесса идентификации сервисов информационной системы | Аннотация PDF (Rus) |
| Г. Н. Циперман | ||
| Том 36, № 1 (2024) | Стратегии автоматического выявления ошибочных аргументов в политических речах во время избирательных кампаний в Мексике | Аннотация PDF (Eng) |
| Кения НЬЕТО-БЕНИТЕС, Ноэ Алехандро КАСТРО-САНЧЕС, Эктор Хименес САЛАСАР, Хемма БЕЛЬ-ЭНГИКС, Данте МУХИКА ВАРГАС, Хуан Габриель ГОНСАЛЕС СЕРНА, Нимрод ГОНСАЛЕС ФРАНКО | ||
| Том 34, № 2 (2022) | Стратегии семплирования текста для прогнозирования недостающих библиографических ссылок | Аннотация PDF (Rus) |
| Федор Владимирович КРАСНОВ, Ирина Сергеевна СМАЗНЕВИЧ, Елена Николаевна БАСКАКОВА | ||
| Том 33, № 2 (2021) | Стратегии управлении спросом в умных сетях электроснабжения для центров данных | Аннотация PDF (Rus) |
| Джонатан МУРАНЬЯ-СИЛЬВЕРА, Серджо Энрике НЕСМАЧНОВ-КАНОВАС, Сантьяго Дамиан ИТУРРИАГА-ФАБРА, Себастьян МОНТЕС ДЕ ОКА, Гонсало БЕЛКРЕДИ, Пабло Ариэль МОНЗОН-РАНГЕЛОФФ, Владимир Дмитриевич ШЕПЕЛЁВ, Андрей Николаевич ЧЕРНЫХ | ||
| Том 36, № 5 (2024) | Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения | Аннотация PDF (Rus) |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ | ||
| Том 36, № 6 (2024) | Тематический синтез разработки, ориентированной на поведение: аналитический подход | Аннотация PDF (Eng) |
| Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС | ||
| Том 23 (2012) | Тематическое моделирование текстов на естественном языке | Аннотация PDF (Rus) |
| Антон Коршунов, Андрей Гомзин | ||
| Том 19 (2010) | Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях | Аннотация PDF (Rus) |
| В. А. Семенов, О. В. Сидяка | ||
| Том 34, № 4 (2022) | Теоретические основы алгоритма визуализации множества точек многомерного пространства для использования в антропотехнических системах поддержки принятия решений | Аннотация PDF (Eng) |
| Ислам Александрович АЛЕКСАНДРОВ, Владимир Жанович КУКЛИН, Александр Николаевич МУРАНОВ, Аслан Адальбиевич ТАТАРКАНОВ | ||
| Том 31, № 2 (2019) | Теоретический подход к поиску глобального экстремума при обучении нейронных сетей | Аннотация PDF (Rus) |
| Николай Анатольевич Вершков, Виктор Андреевич Кучуков, Наталья Николаевна Кучукова | ||
| Том 33, № 5 (2021) | Тепловая нагрузка биметаллической оребренной трубки | Аннотация PDF (Rus) |
| Елена Сергеевна БАЙМЕТОВА, Альбина Фирдавесовна ГИЗЗАТУЛЛИНА, Мария Равилевна КОРОЛЕВА, Ольга Владимировна МИЩЕНКОВА, Федор Николаевич ПУШКАРЕВ, Алена Алексеевна ЧЕРНОВА | ||
| Том 36, № 1 (2024) | Тест на удобство использования для учителей при обучении уходу за детьми с нарушениями слуха на основе информационно-коммуникационных технологий | Аннотация PDF (Eng) |
| Этельвина АРЧУНДИЯ-СЬЕРРА | ||
| 1108 - 1148 из 1270 результатов | << < 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 > >> | |
Список названий
Популярные статьи
Том 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
