| Выпуск | Название | |
| Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) |
| М. А. Климушенкова, П. М. Довгалюк | ||
| Том 26, № 2 (2014) | Методы пороговой криптографии для защиты облачных вычислений | Аннотация PDF (Rus) |
| Н. П. Варновский, С. А. Мартишин, М. В. Храпченко, А. В. Шокуров | ||
| Том 27, № 4 (2015) | Методы построения социо-демографических профилей пользователей сети Интернет | Аннотация PDF (Rus) |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) |
| Роман Жуйков, Евгений Шарыгин | ||
| Том 37, № 2 (2025) | Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования | Аннотация 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) |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| Том 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) |
| Е. М. Лаврищева, А. К. Петренко | ||
| 469 - 507 из 1237 результатов | << < 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 32 > >> | |
Список названий
Популярные статьи
Том 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
