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