Сортировать по:
| Выпуск | Название | |
| Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
| "... изучения алгоритмов анализа программ для самого широкого спектра прикладных задач. Однако его применение ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... статического и динамического анализа программного кода системного ПО с учётом его специфики. В-четвертых ..." | ||
| Том 33, № 3 (2021) | Классификация HTTP-запросов к серверу в задаче автоматического обхода современных веб-приложений | Аннотация похожие документы |
| Анна Вадимовна ЛАПКИНА, Андрей Александрович ПЕТУХОВ | ||
| "... маршрутизации запросов на сервере напрямую связана с анализом пользовательского интерфейса динамических веб ..." | ||
| Том 32, № 6 (2020) | Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL | Аннотация похожие документы |
| Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ | ||
| "... ) для анализа динамических характеристик DP-систем, представленных на языке TCTL. В работе ..." | ||
| Том 33, № 1 (2021) | Обучение многослойного перцептрона с учителем в задаче распознавания с помощью корреляционного показателя | Аннотация PDF (Rus) похожие документы |
| Николай Анатольевич ВЕРШКОВ, Михаил Григорьевич БАБЕНКО, Виктор Андреевич КУЧУКОВ, Наталья Николаевна КУЧУКОВА | ||
| "... информации. В статье проводится сравнительный анализ сходимости обучающей и экспериментально полученной ..." | ||
| Том 33, № 4 (2021) | Синтаксический анализ текстов предметной области при помощи онтологии | Аннотация PDF (Rus) похожие документы |
| Борис Израйльевич ГЕЛЬЦЕР, Татьяна Александровна ГОРБАЧ, Валерия Викторовна ГРИБОВА, Олеся Владимировна КАРПИК, Эдуард Станиславович КЛЫШИНСКИЙ, Наталия Александровна КОЧЕТКОВА, Дмитрий Борисович ОКУНЬ, Маргарита Вячеславовна ПЕТРЯЕВА, Карина Иосифовна ШАХГЕЛЬДЯН | ||
| "... В работе проводится сравнение трех методов синтаксического анализа текстов жалоб пациентов ..." | ||
| Том 33, № 1 (2021) | Поиск заимствований в армянских текстах путем внутреннего стилометрического анализа | Аннотация PDF (Rus) похожие документы |
| Ева Максимовна ЕШИЛБАШЯН, Ариана Арменовна АСАТРЯН, Цолак Гукасович ГУКАСЯН | ||
| Том 33, № 5 (2021) | Онтологическое обеспечение управления рисками информационной безопасности | Аннотация PDF (Rus) похожие документы |
| Ибрагим БУБАКАР, Марина Борисовна БУДЬКО, Михаил Юрьевич БУДЬКО, Алексей Валерьевич ГИРИК | ||
| "... конце работы проведен сравнительный анализ существующих подходов и методик к управлению рисками ИБ и ..." | ||
| Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... Статический анализ программ постепенно осваивает продвинутые случаи использования, и плотная ..." | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| "... В работе описывается внутрипроцедурный анализ отдельных функций, использующийся в инструменте ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... анализатору SvEng. Анализатор строит граф вызовов, после чего выполняет анализ на основе резюме. При таком ..." | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| Том 33, № 3 (2021) | Применение языковых моделей в задаче извлечения оценочных отношений | Аннотация PDF (Rus) похожие документы |
| Николай Леонидович РУСНАЧЕНКО | ||
| "... , передаваемых посредством отношений, некоторые из которых могут быть оценочными. Проведение анализа так их ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... автоматического тестирования, предназначенной для приёмочного тестирования инструментов статического анализа ..." | ||
| Том 33, № 3 (2021) | Оптимизации расположения данных для компилятора LCC для архитектуры Эльбрус | Аннотация похожие документы |
| Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... В данной статье о проводимом исследовании мы предлагаем новый подход к единому анализу ..." | ||
| Том 33, № 3 (2021) | Высокопроизводительный распределенный веб-скрапер | Аннотация похожие документы |
| Денис Сергеевич ЭЙЗЕНАХ, Антон Сергеевич РАМЕЙКОВ, Игорь Валерьевич НИКИФОРОВ | ||
| "... используются для извлечения знаний путем выполнения машинного анализа. Чтобы выполнить интеллектуальный анализ ..." | ||
| Том 32, № 6 (2020) | Обзор методов классификации сетевого трафика с использованием машинного обучения | Аннотация PDF (Rus) похожие документы |
| Александр Игоревич ГЕТЬМАН, Мария Кирилловна ИКОННИКОВА | ||
| Том 33, № 4 (2021) | Построение нейросетевых моделей морфологического и морфемного анализа текста | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич САПИН | ||
| "... Морфологический анализ текстов на естественном языке является одним из важнейших этапов ..." | ||
| Том 33, № 4 (2021) | Идентификация прозрачных, сжатых и шифрованных данных в сетевом трафике | Аннотация PDF (Rus) похожие документы |
| Александр Игоревич ГЕТЬМАН, Мария Кирилловна ИКОННИКОВА | ||
| "... существующих способ. Завершается статья анализом направлений для дальнейших исследований. ..." | ||
| Том 33, № 2 (2021) | Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход | Аннотация PDF (Rus) похожие документы |
| Хуан Мануэль ФОРТУНА-СЕРВАНТЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Хуан МАРТИНЕС-КАРРАНСА, Хосе Саломе МУРГУИЯ-ИБАРРА, Марсела МЕХИЯ-КАРЛОС | ||
| "... Предлагается первый подход, основанный на применении вейвлет-анализа при обработке изображений с ..." | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация похожие документы |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| "... разработчиков возможным автоматическое распознавание архитектурных стилей. Для интеллектуального анализа ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... потерям и иному ущербу. Следовательно, необходимо проводить анализ производительности критичных по времени ..." | ||
| Том 33, № 4 (2021) | Средства захвата и обработки высокоскоростного сетевого трафика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН | ||
| "... производительности, общий анализ реализаций, а также приведены рекомендации по области применимости. ..." | ||
| 1 - 23 из 23 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
