| Выпуск | Название | |
| Том 32, № 1 (2020) | Модель мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) |
| Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин | ||
| Том 27, № 6 (2015) | Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев | Аннотация PDF (Rus) |
| Л. В. Иваничкина, А. П. Непорада | ||
| Том 28, № 4 (2016) | Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению | Аннотация PDF (Rus) |
| В. Н. Юдин, Л. Е. Карпов | ||
| Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) |
| А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
| Том 27, № 6 (2015) | Модель проблемно-ориентированной облачной вычислительной среды | Аннотация PDF (Rus) |
| Г. И. Радченко | ||
| Том 32, № 4 (2020) | Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен | Аннотация PDF (Rus) |
| Вячеслав Игоревич ГОНАХЧЯН | ||
| Том 28, № 3 (2016) | Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений | Аннотация PDF (Eng) |
| П. П. Олейник, С. М. Салибекян | ||
| Том 37, № 4: часть 1. июль-август | Модель распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений | Аннотация PDF (Rus) |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ, Вера Николаевна ПОНОМАРЕНКО | ||
| Том 29, № 4 (2017) | Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа | Аннотация PDF (Eng) |
| А. Р. Гималетдинова, К. Ю. Дегтярев | ||
| Том 34, № 3 (2022) | Модельно-ориентированная разработка серьезных игр и серьезные игры с ориентированным на пользователя дизайном в последнее десятилетие: обзор | Аннотация PDF (Eng) |
| Педро Омар СИЛЬВА-ВАСКЕС, Вивиана Ярель РОЗАЛЕС-МОРАЛЕС, Эдгар БЕНИТЕС-ГЕРРЕРО | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| Том 32, № 5 (2020) | Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения | Аннотация PDF (Rus) |
| Делия Иразу ХЕРНАНДЕС ФАРСАС, Рафаэль ГУСМАН КАБРЕРА, Теодоро КОРДОВА ФРАГА, Хосе Сакариас УАМАНИ ЛУНА, Хосе Франсиско ГОМЕС АГИЛАР | ||
| Том 32, № 2 (2020) | Модификация алгоритма Валианта для задачи поиска подстрок | Аннотация PDF (Rus) |
| Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ | ||
| Том 35, № 2 (2023) | Модификация алгоритма выравнивания коротких прочтений для повышения качества пайплайна обработки данных полногеномного секвенирования человека | Аннотация PDF (Rus) |
| Егор Павлович ГУГУЧКИН, Евгений Андреевич КАРПУЛЕВИЧ | ||
| Том 34, № 3 (2022) | Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов | Аннотация PDF (Rus) |
| Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ | ||
| Том 34, № 6 (2022) | Модификация метода выделения контуров объекта в интеллектуальных системах | Аннотация PDF (Rus) |
| Алексей Иванович МАРТЫШКИН, Елена Григорьевна БЕРШАДСКАЯ, Евгений Игоревич МАРКИН, Валентина Владимировна ЗУПАРОВА | ||
| Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) |
| В. В. Пузикова | ||
| Том 37, № 1: январь-февраль | Модификация метода погруженных границ LS-STAG для моделирования течений неньютоновских вязких жидкостей | Аннотация PDF (Rus) |
| Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА | ||
| Том 34, № 2 (2022) | Модификация метода расчета полигенных рисков с использованием графа вариации | Аннотация PDF (Rus) |
| Олеся Анатольевна КОНДРАТЬЕВА, Евгений Андреевич КАРПУЛЕВИЧ | ||
| Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| Том 29, № 5 (2017) | Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики | Аннотация PDF (Eng) |
| С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев | ||
| Том 36, № 6 (2024) | Может ли языковая модель на базе chatGPT измерять функциональный размер методом COSMIC? | Аннотация PDF (Eng) |
| Франсиско ВАЛЬДЕС-СОУТО, Даниэль ТОРРЕС-РОБЛЕДО | ||
| Том 27, № 1 (2015) | Мониторинг динамически меняющегося графа | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) |
| И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
| Том 36, № 2 (2024) | Набор методических тестовых программ для численного моделирования параметров высокопроизводительных вычислительных систем | Аннотация PDF (Rus) |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Александр Викторович ЕРШОВ, Артем Владимирович КАРПЕЕВ, Рим Фанавиевич МУХАМАДИЕВ, Елена Михайловна РОМАНОВА, Денис Александрович УШАКОВ, Вадим Олегович АНИСОВ | ||
| Том 37, № 2: март-апрель | Названия украшений в тюркских и финно-угорских языках Урало-Поволжья | Аннотация PDF (Rus) |
| Римма Талгатовна МУРАТОВА | ||
| Том 36, № 1 (2024) | Направления будущих исследований и рекомендации по развитию микросервисной архитектуры | Аннотация PDF (Rus) |
| Желько СТОЯНОВ, Илья ХРИСТОСКИЙ, Елена СТОЯНОВА, Александра СТОЙКОВА | ||
| Том 35, № 6 (2023) | Настоящее время на (–)ЧАР в младописьменном шорском языке | Аннотация PDF (Rus) |
| Алиса Васильевна ЕСИПОВА | ||
| Том 34, № 4 (2022) | Настройка критериев планировщика СУБД с учётом динамической компиляции | Аннотация PDF (Rus) |
| Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
| Том 25 (2013) | Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера | Аннотация PDF (Rus) |
| А. В. Шокуров | ||
| Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) |
| Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
| Том 37, № 3: май-июнь | Нейросетевой метод для стабильного во времени матирования видеопоследовательностей с людьми | Аннотация PDF (Rus) |
| Иван Андреевич МОЛОДЕЦКИХ, Михаил Викторович ЕРОФЕЕВ, Андрей Викторович МОСКАЛЕНКО, Дмитрий Сергеевич ВАТОЛИН | ||
| Том 36, № 1 (2024) | Нейросетевые методы сжатия векторов для задачи приближенного поиска ближайших соседей | Аннотация PDF (Rus) |
| Игорь Олегович БУЯНОВ, Василий Владимирович ЯДРИНЦЕВ, Илья Владимирович СОЧЕНКОВ | ||
| Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) |
| А. С. Камкин | ||
| Том 28, № 4 (2016) | Некоторые задачи на графовых базах данных | Аннотация PDF (Rus) |
| Р. И. Гуральник | ||
| Том 31, № 2 (2019) | Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools | Аннотация PDF (Rus) |
| Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков | ||
| Том 33, № 2 (2021) | Новая интеллектуальная система для обнаружения сахарного диабета 2-го типа с модифицированной функцией потерь и регуляризацией | Аннотация PDF (Rus) |
| Маллика Г.К., Абир АЛЬСАДУН, Дуонг Тху Ханг ФАМ, Сальма Хамиди АБДУЛЛА, Ха Тхи МАЙ, П.В. Чандана ПРАСАД, Чан Куок Винь НГУЕН | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация PDF (Eng) |
| С. Е. Прокопьев | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Eng) |
| А. Р. Гнатенко, В. А. Захаров | ||
| 534 - 574 из 1270 результатов | << < 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 > >> | |
Список названий
Популярные статьи
Том 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
