| Выпуск | Название | |
| Том 30, № 1 (2018) | Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания | Аннотация PDF (Rus) |
| А. Н. Нуриев, А. М. Камалутдинов, О. Н. Зайцева | ||
| Том 29, № 6 (2017) | Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем | Аннотация PDF (Eng) |
| А. И. Ряховский, А. А. Шмидт, В. И. Антонов | ||
| Том 33, № 5 (2021) | Численное исследование микроклимата помещения с использованием СПО | Аннотация PDF (Rus) |
| Анна Александровна ЦЫНАЕВА, Екатерина Александровна ЦЫНАЕВА | ||
| Том 29, № 5 (2017) | Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками | Аннотация PDF (Rus) |
| А. А. Цынаева, С. Е. Разоренов, В. В. Белая | ||
| Том 37, № 2: март-апрель | Численное исследование турбулентного диффузионного пламени на поверхности полиметилметакрилата на основе открытого пакета FDS | Аннотация PDF (Rus) |
| Габриела МОРАР, Александр Иванович КАРПОВ, Артем Андреевич ШАКЛЕИН | ||
| Том 29, № 1 (2017) | Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах | Аннотация PDF (Eng) |
| М. Д. Калугин, И. Е. Евдокимов | ||
| Том 30, № 5 (2018) | Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка | Аннотация PDF (Rus) |
| М. П. Левин | ||
| Том 30, № 5 (2018) | Численное моделирование качки судна с шахтным устройством на встречном волнении | Аннотация PDF (Rus) |
| К. Д. Овчинников | ||
| Том 28, № 1 (2016) | Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM | Аннотация PDF (Eng) |
| А. И. Ряховский, А. А. Шмидт | ||
| Том 35, № 4 (2023) | Численное моделирование переноса твёрдых частиц в атмосферном городском пограничном слое с использованием лагранжева подхода: физические задачи и параллельная реализация | Аннотация PDF (Rus) |
| Александр Иванович ВАРЕНЦОВ, Очир Анатольевич ИМЕЕВ, Андрей Васильевич ГЛАЗУНОВ, Евгений Валерьевич МОРТИКОВ, Виктор Михайлович СТЕПАНЕНКО | ||
| Том 26, № 5 (2014) | Численное моделирование стратифицированных течений с использованием OpenFOAM | Аннотация PDF (Rus) |
| Н. Ф. Димитриева, Я. В. Загуменный | ||
| Том 28, № 1 (2016) | Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne | Аннотация PDF (Rus) |
| А. А. Цынаева, М. Н. Никитин | ||
| Том 29, № 1 (2017) | Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM | Аннотация PDF (Rus) |
| Н. Ф. Димитриева | ||
| Том 30, № 2 (2018) | Чистая компиляция как парадигма программирования | Аннотация PDF (Rus) |
| А. В. Столяров, О. Г. Французов, А. С. Аникина | ||
| Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) |
| В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
| Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) |
| А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
| Том 31, № 3 (2019) | Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности | Аннотация PDF (Eng) |
| Сергей Михайлович Авдошин, Екатерина Николаевна Береснева | ||
| Том 31, № 4 (2019) | Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности | Аннотация PDF (Eng) |
| Сергей Михайлович Авдошин, Екатерина Николаевна Береснева | ||
| Том 21 (2011) | Эвристическое моделирование данных в информационных системах | Аннотация PDF (Rus) |
| Мартин Давтян | ||
| Том 34, № 4 (2022) | Экспериментальная оценка алгоритма маркирования текстовых документов на основе изменения интервалов между словами | Аннотация PDF (Rus) |
| Александр Васильевич КОЗАЧОК, Василий Иванович КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Юрий Витальевич МАРКИН, Дмитрий Олегович ОБЫДЕНКОВ | ||
| Том 21 (2011) | Экспериментальное исследование параллельного исполнения SQL запросов | Аннотация PDF (Rus) |
| К. К. Смирнов, Г. А. Чернышев | ||
| Том 36, № 4 (2024) | Экспериментальное сравнение методов синтеза логических схем | Аннотация PDF (Eng) |
| Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ | ||
| Том 29, № 3 (2017) | Эксперименты по построению параллельной композиции временных автоматов | Аннотация PDF (Eng) |
| А. П. Сотников, Н. В. Шабалдина, М. Л. Громов | ||
| Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) |
| Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
| Том 37, № 3: май-июнь | Экстрактивная суммаризация с использованием скрытой структуры | Аннотация PDF (Eng) |
| Павел Александрович ТИХОНОВ, Анастасия ЯНИНА, Валентин Андреевич МАЛЫХ | ||
| Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация PDF (Eng) |
| В. Ю. Чепцов, А. В. Хорошилов | ||
| Том 19 (2010) | Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора | Аннотация PDF (Rus) |
| И. И. Каретин, В. А. Макаров | ||
| Том 23 (2012) | Энергоэффективные вычисления для группы кластеров | Аннотация PDF (Rus) |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация PDF (Eng) |
| А. В. Когтенков | ||
| Том 35, № 6 (2023) | Эффективная реализация быстрого метода мультиполей для взаимодействия частиц с ньютоновским потенциалом | Аннотация PDF (Rus) |
| Виктор Михайлович АУШЕВ | ||
| Том 27, № 3 (2015) | Эффективное взаимодействие с СУБД DIM | Аннотация PDF (Rus) |
| Д. В. Антонов, В. С. Рублев | ||
| Том 27, № 3 (2015) | Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг | Аннотация PDF (Rus) |
| И. П. Болодурина, Д. И. Парфёнов | ||
| Том 31, № 2 (2019) | Эффективное сравнение чисел в системе остаточных классов на основе позиционной характеристики | Аннотация PDF (Rus) |
| Михаил Григорьевич Бабенко, Андрей Николаевич Черных, Николай Иванович Червяков, Виктор Андреевич Кучуков, Ванесса Миранда-Лопес, Рауль Ривера Родригес, Чжихуэй Ду | ||
| Том 36, № 5 (2024) | Эффективность систем одинаково распределенных конкурирующих процессов при неограниченном и ограниченном параллелизме | Аннотация PDF (Rus) |
| Павел Александрович ПАВЛОВ | ||
| Том 32, № 4 (2020) | Эффективные методы и алгоритмы синтеза видео 360 градусов на основе кубической проекции виртуального окружения | Аннотация PDF (Rus) |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК, Евгений Михайлович ВОЖЕГОВ | ||
| Том 32, № 1 (2020) | Эффективные реализации алгоритмов тематического моделирования | Аннотация PDF (Rus) |
| Мурат Азаматович Апишев | ||
| Том 36, № 5 (2024) | Эффективный метод с компрессией для распределенных и федеративных кокоэрсивных вариационных неравенств | Аннотация PDF (Rus) |
| Даниил Олегович МЕДЯКОВ, Глеб Львович МОЛОДЦОВ, Александр Николаевич БЕЗНОСИКОВ | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация PDF (Eng) |
| А. Д. Татарников | ||
| Том 35, № 6 (2023) | Язык программирования для обучения технологиям компиляции и трансформации | Аннотация PDF (Rus) |
| Алексей Евгеньевич НЕДОРЯ | ||
| Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) |
| И. С. Раткевич | ||
| 1231 - 1270 из 1270 результатов | << < 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
