| Выпуск | Название | |
| Том 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: январь-февраль | Компьютерное моделирование и оптимизация конструкции микрофлюидного чипа | Аннотация PDF (Rus) |
| Анастасия Андреевна ВАРФОЛОМЕЕВА, Лев Андреевич ПЯТКО, Софья Романовна ПАРШИНА | ||
| Том 37, № 3: май-июнь | Компьютерные экспериментальные методы изучения английского языка австралийских аборигенов | Аннотация 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: май-июнь | Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга | Аннотация 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) |
| Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Лексика материальной культуры в словаре М. А. Кастрена (1844) и аудиословаре ижемского диалекта говора (2012): сравнительный анализ по данным платформы LingvoDoc | Аннотация PDF (Eng) |
| Ольга Николаевна БАЖЕНОВА | ||
| Том 26, № 4 (2014) | Лингвистический подход к определению суицида | Аннотация PDF (Rus) |
| Л. М. Ермакова, С. А. Ермаков | ||
| Том 36, № 1 (2024) | Личностные и технические навыки студентов-программистов, полученные в университетской компании по разработке программного обеспечения | Аннотация PDF (Eng) |
| Хорхе Рафаэль АГИЛАР СИСНЕРОС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) |
| А. В. Козачок | ||
| Том 26, № 6 (2014) | Локализация неисправной компоненты в композиции расширенных автоматов | Аннотация PDF (Rus) |
| Светлана Прокопенко | ||
| Том 37, № 4: часть 1. июль-август | Локализация целей в реальном времени на БПЛА с лазерным дальномером на подвесе | Аннотация PDF (Rus) |
| Вардан СААКЯН, Ваагн МЕЛКОНЯН, Севак САРГСЯН | ||
| Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация PDF (Eng) |
| Виктор Сергеевич КРЫШТАПОВИЧ | ||
| Том 37, № 3: май-июнь | Макромоделирование компонентов защиты от электростатического разряда с применением программного обеспечения с открытым исходным кодом | Аннотация PDF (Eng) |
| Вадим Вадимович КУЗНЕЦОВ, Владимир Викторович АНДРЕЕВ, Семён Андреевич ЛОМАКИН | ||
| Том 33, № 4 (2021) | Маркирование текстовых документов на экране монитора посредством изменения яркости фона в областях межстрочных интервалов | Аннотация PDF (Rus) |
| Алексей Юрьевич ЯКУШЕВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Дмитрий Олегович ОБЫДЕНКОВ, Борис Владимирович КОНДРАТЬЕВ | ||
| Том 28, № 4 (2016) | Масштабируемые учебно-экспериментальные среды для современных предприятий | Аннотация PDF (Eng) |
| А. Р. Топчян | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| Том 26, № 6 (2014) | Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга | Аннотация PDF (Rus) |
| Х. Лопез, С. Мааг, Ж. Моралес | ||
| Том 31, № 1 (2019) | Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре | Аннотация PDF (Rus) |
| Евгений Александрович Киселев, Алексей Владимирович Максимов, Сергей Дмитриевич Кургалин, Сергей Алексеевич Зуев | ||
| Том 30, № 6 (2018) | Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса | Аннотация PDF (Rus) |
| Н. А. Полибина | ||
| Том 29, № 2 (2017) | Математическая формализация задач проектного планирования в расширенной постановке | Аннотация PDF (Rus) |
| А. С. Аничкин, В. А. Семенов | ||
| Том 34, № 6 (2022) | Математические и программные модели задач технического зрения робототехнических комплексов на основе микропроцессоров “Эльбрус” | Аннотация PDF (Rus) |
| Никита Алексеевич БОЧАРОВ, Николай Борисович ПАРАМОНОВ, Олег Анатольевич СЛАВИН, Константин Александрович СУМИНОВ | ||
| Том 33, № 5 (2021) | Математические модели и методы расчета процессов, сопровождающих обледенение летательного аппарата | Аннотация PDF (Rus) |
| Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Андрей Сергеевич ЩЕГЛОВ | ||
| Том 34, № 5 (2022) | Математическое моделирование гидродинамических процессов в прибрежной акватории Японского моря | Аннотация PDF (Rus) |
| Елена Владимировна АМОСОВА, Кирилл Сергеевич КУЗНЕЦОВ, Виталий Сергеевич ЛЕМЕШЕВ | ||
| Том 30, № 2 (2018) | Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках | Аннотация PDF (Rus) |
| В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин | ||
| Том 35, № 3 (2023) | Математическое моделирование и программное обеспечение для расчета режимов очистки гальванических стоков от тяжелых и цветных металлов в аппаратах с проточными трехмерными электродами | Аннотация PDF (Eng) |
| Валентина Владимировна КУЗИНА, Валерий Константинович ВАРЕНЦОВ, Александр Николаевич КОШЕВ, Глеб Михайлович КУПРИЯНКО | ||
| Том 37, № 1: январь-февраль | Математическое моделирование почвенных процессов с использованием открытого программного обеспечения | Аннотация PDF (Rus) |
| Константин Борисович КОШЕЛЕВ, Андрей Всеволодович КУЛИНСКИЙ, Сергей Владимирович СТРИЖАК | ||
| 406 - 450 из 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
