| Выпуск | Название | |
| Том 37, № 3: май-июнь | Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. | Аннотация PDF (Rus) |
| Александр Константинович ПЕТРЕНКО, Петр Николаевич ДЕВЯНИН, Денис Валентинович ЕФРЕМОВ, Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ | ||
| Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
| Том 30, № 3 (2018) | Методы защиты децентрализованных автономных организаций от системных отказов и атак | Аннотация PDF (Eng) |
| А. А. Андрюхин | ||
| Том 34, № 4 (2022) | Методы и подходы к автоматическому связыванию сущностей на русском языке | Аннотация PDF (Rus) |
| Анастасия Алексеевна МЕЗЕНЦЕВА, Елена Павловна БРУЧЕС, Татьяна Викторовна БАТУРА | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) |
| Александр Валерьянович Самонов | ||
| Том 31, № 1 (2019) | Методы идентификации человека по походке в видео | Аннотация PDF (Rus) |
| Анна Ильинична Соколова, Антон Сергеевич Конушин | ||
| Том 34, № 5 (2022) | Методы интеллектуального анализа данных для сравнения диалектов английского языка | Аннотация PDF (Eng) |
| Ольга Валерьевна ДОНИНА | ||
| Том 27, № 6 (2015) | Методы коррекции профильной информации в процессе компиляции | Аннотация PDF (Rus) |
| О. А. Четверина | ||
| Том 31, № 5 (2019) | Методы кросс-языкового поиска похожих документов | Аннотация PDF (Eng) |
| Денис Владимирович Зубарев, Илья Владимирович Соченков | ||
| Том 33, № 5 (2021) | Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов | Аннотация PDF (Rus) |
| Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ | ||
| Том 34, № 4 (2022) | Методы определения элементов PQRST-комплекса электрокардиограммы | Аннотация PDF (Rus) |
| Ольга Анатольевна МАШКОВА, Всеволод Владиславович ШАКЛЕИН, Юрий Витальевич МАРКИН, Евгений Андреевич КАРПУЛЕВИЧ, Владислав Валерьевич АНАНЬЕВ, Ариана Арменовна АСАТРЯН, Шагане Тиграновна ТИГРАНЯН, Сергей Николаевич СКОРИК, Денис Юрьевич ТУРДАКОВ | ||
| Том 24 (2013) | Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования | Аннотация PDF (Rus) |
| Ш. Ф. Курмангалеев | ||
| Том 28, № 1 (2016) | Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы | Аннотация PDF (Rus) |
| В. Г. Варданян | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| Том 31, № 5 (2019) | Методы оценки популярности новостных материалов на ранних стадиях | Аннотация PDF (Eng) |
| Арам Арутюнович Аветисян, Михаил Дробышевский, Денис Юрьевич Турдаков | ||
| Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) |
| М. А. Климушенкова, П. М. Довгалюк | ||
| Том 26, № 2 (2014) | Методы пороговой криптографии для защиты облачных вычислений | Аннотация PDF (Rus) |
| Н. П. Варновский, С. А. Мартишин, М. В. Храпченко, А. В. Шокуров | ||
| Том 27, № 4 (2015) | Методы построения социо-демографических профилей пользователей сети Интернет | Аннотация PDF (Rus) |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) |
| Роман Жуйков, Евгений Шарыгин | ||
| Том 37, № 2: март-апрель | Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования | Аннотация PDF (Rus) |
| Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН | ||
| Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) |
| А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
| Том 32, № 4 (2020) | Метрики эффективности и производительности при использовании эволюционного алгоритма на грид-системах из персональных компьютеров | Аннотация PDF (Rus) |
| Николай Павлович ХРАПОВ | ||
| Том 29, № 4 (2017) | Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов | Аннотация PDF (Eng) |
| С. М. Авдошин, Е. Н. Береснева | ||
| Том 33, № 3 (2021) | Механизированная теория структур событий: случай параллельной регистровой машины | Аннотация PDF (Eng) |
| Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ | ||
| Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) |
| А. C. Камкин, М. M. Чупилко | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) |
| Арутюн Аветисян, Алексей Бородин | ||
| Том 30, № 6 (2018) | Минимальный базис модуля сизигий старших членов | Аннотация PDF (Rus) |
| А. В. Шокуров | ||
| Том 29, № 4 (2017) | Минимизация автоматов с таймаутами и временными ограничениями | Аннотация PDF (Rus) |
| А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов | ||
| Том 30, № 6 (2018) | Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах | Аннотация PDF (Rus) |
| М. В. Крапошин | ||
| Том 19 (2010) | Многопараметрическое управление на основе прецедентов | Аннотация PDF (Rus) |
| Л. Е. Карпов, В. Н. Юдин | ||
| Том 33, № 4 (2021) | Многослойный подход к поиску изоморфных подграфов в HP-графах | Аннотация PDF (Eng) |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| Том 36, № 6 (2024) | Модели зрелости управления проектами: систематический обзор литературы | Аннотация PDF (Eng) |
| Хорхе Франсиско РУИС-ЛОПЕС, Хавьер ОРТИС-ЭРНАНДЕС, Эрик БОНЖУР, Жан-Пьер МИКАЭЛЛИ, Ясмин ЭРНАНДЕС | ||
| Том 32, № 4 (2020) | Модели процессов, сопровождающих кристаллизацию переохлажденных капель | Аннотация PDF (Rus) |
| Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ | ||
| Том 32, № 6 (2020) | Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим отношением горизонтального и вертикального масштабов | Аннотация PDF (Rus) |
| Степан Алексеевич ЕЛИСТРАТОВ, Кирилл Александрович ВАТУТИН, Ильяс Наилевич СИБГАТУЛЛИН, Евгений Валерьевич ЕРМАНЮК, Евгений Александрович МИХАЙЛОВ | ||
| Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация PDF (Eng) |
| Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
| Том 34, № 6 (2022) | Моделирование взаимосвязи между заболеваниями с помощью взаимодействующих потоковых X-машин | Аннотация PDF (Eng) |
| Дилшан ДЖАЯТИЛАКЕ, Хоа ФУНГ, Эммануэль ОГУНШИЛЕ, Мехмет АЙДИН | ||
| Том 31, № 6 (2019) | Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке | Аннотация PDF (Rus) |
| Константин Борисович Кошелев, Сергей Владимирович Стрижак | ||
| Том 35, № 5 (2023) | Моделирование динамики электризованного потока частиц при ветровом выносе средствами OpenFoam | Аннотация PDF (Rus) |
| Елена Александровна МАЛИНОВСКАЯ, Геннадий Ильич ГОРЧАКОВ, Алексей Владимирович КАРПОВ, Леонид Олегович МАКСИМЕНКОВ, Олег Игоревич ДАЦЕНКО | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) |
| В. А. Захаров | ||
| Том 32, № 5 (2020) | Моделирование инфразвукового пистонфона | Аннотация PDF (Rus) |
| Дмитрий Витальевич ГОЛОВИН | ||
| Том 28, № 2 (2016) | Моделирование конвейера распознавания людей в системах контроля доступа | Аннотация PDF (Eng) |
| Ф. Гёссен, Т. Маргариа, Т. Гёке | ||
| Том 31, № 6 (2019) | Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси | Аннотация PDF (Rus) |
| Александр Владимирович Иванов, Сергей Владимирович Стрижак, Моисей Иванович Захаров | ||
| Том 31, № 3 (2019) | Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi | Аннотация PDF (Eng) |
| Дмитрий Вадимович Мельничук | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| 496 - 540 из 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
