Сортировать по:
Выпуск | Название | |
Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
"... направления применения комбинированных методов анализа программ, совмещающих динамическое символьное ..." | ||
Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
"... В статье представлен отладчик параллельных программ, написанных на языкe программирования Си/Си ..." | ||
Том 31, № 6 (2019) | О возможности стойкой обфускации программ в одной модели облачных вычислений | Аннотация PDF (Rus) похожие документы |
Александр Владимирович Шокуров, Ирина Валерьевна Абрамова, Николай Павлович Варновский, Владимир Анатолиевич Захаров | ||
"... , использующей криптосерверы, для обфускации программ. Ранее эта модель облачных вычислений была предложена нами ..." | ||
Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
"... контейнера данных, а недавно разработали модель, построенную на основе предварительного анализа исходного ..." | ||
Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
"... представляют собой алгоритмы исследования статической модели программы, в том числе графа вызовов, потока ..." | ||
Том 32, № 2 (2020) | Векторные модели на основе символьных н-грамм для морфологического анализа текстов | Аннотация PDF (Rus) похожие документы |
Цолак Гукасович ГУКАСЯН | ||
"... , для морфологического анализа текстов. fastText - библиотека для классификации текстов и обучения ..." | ||
Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
"... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..." | ||
Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
"... автоматического анализа отдельных путей в программе. ..." | ||
Том 32, № 2 (2020) | Модификация алгоритма Валианта для задачи поиска подстрок | Аннотация PDF (Rus) похожие документы |
Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ | ||
"... анализа. На данный момент среди алгоритмов синтаксического анализа, работающих с произвольной КС ..." | ||
Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
"... В статье описывается расширение статического анализа программ на основе резюме для поиска ошибок ..." | ||
Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... между исходным кодом программы, промежуточным представлением и большими формулами в формате ..." | ||
Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
"... задач анализа безопасности бинарного кода. Автоматизация решения этой задачи затруднена и требует ..." | ||
Том 32, № 3 (2020) | Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения | Аннотация похожие документы |
Денис Игоревич САМОХВАЛОВ | ||
"... анализ данных для определения аномалий и закономерностей в наборе данных, состоящем из 42394 вредоносных ..." | ||
Том 32, № 4 (2020) | Использование синтетических данных для тонкой настройки моделей сегментации документов | Аннотация PDF (Rus) похожие документы |
Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ | ||
"... В рамках задачи автоматического анализа документов мы решаем задачу сегментации изображений ..." | ||
Том 32, № 5 (2020) | Агрегация и нормализация гетерогенных данных в системах мониторинга информационной безопасности и обнаружения вторжений крупномасштабных промышленных КФС | Аннотация похожие документы |
Мария Анатольевна ПОЛТАВЦЕВА | ||
"... качества и скорости сбора, обработки и анализа гетерогенных данных КФС. Сегодня существует много методов ..." | ||
Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
Том 32, № 5 (2020) | Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт» | Аннотация PDF (Rus) похожие документы |
Андрей Николаевич ПОЛЯКОВ, Ирина Михайловна ЕНЯГИНА, Дмитрий Сергеевич КОКОВИН | ||
"... образом, возникают задачи обмена данными между различными зданиями, организации их обработки, анализа и ..." | ||
Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) похожие документы |
Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
"... Дается анализ проблематики надежности и безопасности в мировой практике и в нашей стране ..." | ||
Том 32, № 2 (2020) | Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта | Аннотация похожие документы |
Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР | ||
"... для решения задачи анализа проектов с целью поддержки принятия решения об участии в тендере на ..." | ||
Том 32, № 2 (2020) | Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения | Аннотация похожие документы |
Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ | ||
"... обеспечение были проверены на соответствие необходимой функциональности. Для сравнительного анализа был ..." | ||
1 - 20 из 20 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)