Сортировать по:
Выпуск | Название | |
Том 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 диссертация)