Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 3 (2023) Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ
 
Том 35, № 3 (2023) Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти Аннотация  похожие документы
Игорь Андреевич ПАРФЕНОВ
 
Том 35, № 2 (2023) Модификация алгоритма выравнивания коротких прочтений для повышения качества пайплайна обработки данных полногеномного секвенирования человека Аннотация  PDF (Rus)  похожие документы
Егор Павлович ГУГУЧКИН, Евгений Андреевич КАРПУЛЕВИЧ
 
Том 35, № 3 (2023) Подходы к развертыванию в распределенной обработке сложных событий Аннотация  похожие документы
Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ
 
Том 35, № 2 (2023) Типизированные неизвестные значения: шаг к решению проблемы представления отсутствующей информации в реляционных базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич КУЗНЕЦОВ
 
Том 34, № 6 (2022) Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа Аннотация  PDF (Rus)  похожие документы
Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 34, № 6 (2022) Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ Аннотация  PDF (Rus)  похожие документы
Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 35, № 2 (2023) Ферма данных: информационная система сбора, хранения и обработки неструктурированных данных из разнородных источников Аннотация  PDF (Rus)  похожие документы
Сергей Павлович ЛЕВАШКИН, Константин Николаевич ИВАНОВ, Сергей Владимирович КУШУКОВ
 
Том 35, № 2 (2023) Особенности численного моделирования работы воздушно-тепловой завесы в OpenFOAM Аннотация  PDF (Rus)  похожие документы
Сергей ГРИГОРЬЕВ, Мария Равилевна КОРОЛЕВА, Ольга Владимировна МИЩЕНКОВА
 
Том 35, № 2 (2023) Программный комплекс SIO для работы со структурированными данными Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН
 
Том 35, № 1 (2023) Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах Аннотация  PDF (Rus)  похожие документы
Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ
 
Том 35, № 2 (2023) Разработка и реализация средства диагностики сетей Ethernet Аннотация  PDF (Rus)  похожие документы
Григорий Павлович ОХРИМЕНКО, Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ
 
Том 34, № 5 (2022) Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
 
Том 34, № 5 (2022) Библиотека для разработки компиляторов Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ
 
Том 34, № 5 (2022) Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле Аннотация  PDF (Rus)  похожие документы
Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ
 
Том 35, № 2 (2023) Пути организации параллельного доступа к структурированным данным Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Дмитрий Владимирович ИВАНКОВ, Евгений Александрович БЕКЕТОВ
 
Том 34, № 5 (2022) Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ
 
Том 35, № 3 (2023) Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE Аннотация  похожие документы
Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ
 
1 - 19 из 19 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)