| Выпуск | Название | |
| Том 37, № 3: май-июнь | Глоттохронологическая классификация современных и наиболее ранних словарей самодийских языков на платформе ЛингвоДок | Аннотация PDF (Eng) |
| Юлия Викторовна НОРМАНСКАЯ | ||
| Том 37, № 1: январь-февраль | Глубокое обучение в задаче разработки системы автоматической транскрипции | Аннотация PDF (Rus) |
| Оксана Владимировна ГОНЧАРОВА | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Глубокое обучение и лингвистический анализ в задачах идентификации когнатов: обзор современных подходов | Аннотация PDF (Rus) |
| Оксана Владимировна ГОНЧАРОВА | ||
| Том 36, № 1 (2024) | Глубокое обучение при выработке нефункциональных требований: подход на основе сверточных нейронных сетей | Аннотация PDF (Eng) |
| Сандра Эстефания МАРТИНЕС ГАРСИЯ, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Эрик Г. РАМОС ПЕРЕС | ||
| Том 19 (2010) | Год эпохи перемен в технологии баз данных | Аннотация PDF (Rus) |
| С. Д. Кузнецов | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация PDF (Eng) |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) |
| Т. А. Новикова, В. А. Захаров | ||
| Том 27, № 3 (2015) | Двухшаговый генератор гармоничных мелодий | Аннотация PDF (Rus) |
| Софья Латкина | ||
| Том 32, № 4 (2020) | Двухшаговый метод объединения новостей в сюжеты | Аннотация PDF (Rus) |
| Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ | ||
| Том 22 (2012) | Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения | Аннотация PDF (Rus) |
| Арутюн Аветисян | ||
| Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) |
| С. В. Сыромятников | ||
| Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) |
| А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| Том 29, № 6 (2017) | Декомпиляция объектных файлов *.dcuil | Аннотация PDF (Rus) |
| А. А. Михайлов, А. Е. Хмельнов | ||
| Том 27, № 6 (2015) | Дерандомизационная криптостойкость гомоморфного шифрования | Аннотация PDF (Rus) |
| А. В. Трепачева | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация PDF (Eng) |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| Том 21 (2011) | Детерминированное воспроизведение процесса выполнения программ в виртуальной машине | Аннотация PDF (Rus) |
| Павел Довгалюк | ||
| Том 32, № 4 (2020) | Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети | Аннотация PDF (Rus) |
| Павел Константинович АНДРЕЕВ, Владислав Валерьевич АНАНЬЕВ, Владимир Алексеевич МАКАРОВ, Евгений Андреевич КАРПУЛЕВИЧ, Денис Юрьевич ТУРДАКОВ | ||
| Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация PDF (Eng) |
| Ю. В. Белякова | ||
| Том 36, № 5 (2024) | Дилемма защитника: совместимы ли методы защиты от разных атак на модели машинного обучения? | Аннотация PDF (Rus) |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Игорь Николаевич МЕЛЕШИН | ||
| Том 30, № 4 (2018) | Динамическая верификация контроллеров шин систем-на-кристалле | Аннотация PDF (Eng) |
| М. М. Чупилко, Е. А. Дроздова | ||
| Том 28, № 6 (2016) | Динамическая компиляция SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) |
| Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев | ||
| Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) |
| Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
| Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) |
| Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
| Том 27, № 6 (2015) | Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM | Аннотация PDF (Rus) |
| В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян | ||
| Том 27, № 6 (2015) | Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков | Аннотация PDF (Rus) |
| А. С. Чадин | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) |
| М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) |
| С. П. Вартанов, А. Ю. Герасимов | ||
| Том 31, № 5 (2019) | Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid | Аннотация PDF (Rus) |
| Евгений Евгеньевич Ивашко, Валентина Степановна Литовченко | ||
| Том 21 (2011) | Динамическое профилирование программы для системы LLVM | Аннотация PDF (Rus) |
| А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев | ||
| Том 32, № 1 (2020) | Дополненная реальность при визуализации данных с использованием свойств «золотого» сечения | Аннотация PDF (Rus) |
| Алексей Владимирович Воронин | ||
| Том 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) |
| Дмитрий Игоревич СОРОКИН, Антон Сергеевич НУЖНЫЙ, Елена Александровна САВЕЛЬЕВА | ||
| 226 - 270 из 1333 результатов | << < 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, № 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
