Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 3 (2025) Поиск утечек памяти и ресурсов в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ
"... , кратко описывается основная инфраструктура анализа на основе межпроцедурного символьного выполнения с ..."
 
Том 37, № 3 (2025) Тестирование в жизненном цикле автоматизированных систем Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН
 
Том 37, № 1 (2025) Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов Аннотация  PDF (Rus)  похожие документы
Валерий Николаевич ИГНАТЬЕВ
"... В статье описывается способ организации статического анализа на абстрактных синтаксических ..."
 
Том 37, № 1 (2025) Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ
"... В связи с необходимостью повышения производительности труда при анализе (разметке) результатов ..."
 
Том 36, № 6 (2024) Предметно-ориентированное проектирование в микросервисной архитектуре Аннотация  похожие документы
Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН
"... систематический обзор литературы из 35 статей. Тематический анализ помог выявить 11 тем и пять тем более высокого ..."
 
Том 37, № 2 (2025) Какой статус васюганского варианта хантыйcкого языка подтверждают вычисления на платформе ЛингвоДок с точки зрения его системных морфологических характеристик? Аннотация  похожие документы
Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ
"... В данном исследовании объектом анализа выступает васюганский вариант хантыйского языка. Его статус ..."
 
Том 37, № 2 (2025) Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика Аннотация  PDF (Rus)  похожие документы
Григорий Романович РАЙКИН, Максим Сергеевич ПЕЛЕВИН, Владимир Михайлович ИЦЫКСОН
"... С развитием современных информационных систем динамический анализ становится неотъемлемой частью ..."
 
Том 37, № 1 (2025) Система статического анализа для языка описания аппаратуры SystemVerilog Аннотация  PDF (Rus)  похожие документы
Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ
"... представлена система статического анализа SVAN, разработанная для языка SystemVerilog и учитывающая специфику ..."
 
Том 36, № 6 (2024) Подходы к балансировке классов для улучшения оценок прогнозирования дефектов программного обеспечения Аннотация  похожие документы
Ангел Хуан САНЧЕС-ГАРСИЯ, Рианьо Гектор Ксавьер ЛИМОН, Саул ДОМИНГЕС-ИСИДРО, Дан Хавьер ОЛВЕРА-ВИЙЕДА, Хуан Карлос ПЕРЕС-АРРИАГА
"... улучшение общей производительности. Поэтому мы решительно выступаем за включение балансировки классов в ..."
 
Том 37, № 3 (2025) Расширенная классификация текста с помощью модели DistilBERT с адаптацией низкого ранга LoRa: сравнительное исследование Аннотация  похожие документы
Брис Дональд АБОДО ЭЛУНДУ, Ван ЦЮАНЬЮЙ
"... В данной статье мы рассматриваем задачу анализа тональности новостных статей, посвященных санкциям ..."
 
Том 37, № 2 (2025) TSAR: инструмент для оценки статических анализаторов Аннотация  PDF (Rus)  похожие документы
Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ
"... статических анализаторов. TSAR включает в себя три основных компонента: систему анализа статических ..."
 
Том 36, № 5 (2024) Конструирование программных систем, нацеленное на обеспечение безопасности Аннотация  PDF (Rus)  похожие документы
Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА
 
1 - 12 из 12 результатов

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

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