| Выпуск | Название | |
| Том 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) |
| А. Д. Татарников | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Язык памятников прибалтийско-финской письменности XVII-XIX вв.: комплексный анализ на базе лингвистической платформы LingvoDoc (введение в проект) | Аннотация PDF (Rus) |
| Светлана Викторовна НАГУРНАЯ | ||
| Том 35, № 6 (2023) | Язык программирования для обучения технологиям компиляции и трансформации | Аннотация PDF (Rus) |
| Алексей Евгеньевич НЕДОРЯ | ||
| Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) |
| И. С. Раткевич | ||
| 1306 - 1333 из 1333 результатов | << < 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
