Сортировать по:
Выпуск | Название | |
Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
А. А. Карнов, С. В. Зеленов | ||
"... In this paper we consider Markov analysis of models of complex software and hardware systems ..." | ||
Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
С. В. Зеленов, С. А. Зеленова | ||
"... Model Annex. Next, we present algorithms to perform the following automated risk analysis on the base ..." | ||
Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
"... complexity which reinforces the high demand in automated software testing and analysis tools. In this paper ..." | ||
Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... The static program analysis is gradually adopting advanced use cases, and integration ..." | ||
Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
"... support of data container states and have recently developed a model, built by a preliminary analysis ..." | ||
Том 27, № 6 (2015) | Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев | Аннотация PDF (Rus) похожие документы |
Л. В. Иваничкина, А. П. Непорада | ||
"... reliability. The model describes dynamics of the data loss and recovery based on Markov chains corresponding ..." | ||
Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
"... and сonjoint code and data analysis. A key element for all of these tasks is a universal data format model ..." | ||
Том 33, № 4 (2021) | Построение нейросетевых моделей морфологического и морфемного анализа текста | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич САПИН | ||
"... of traditional morphological analysis and morpheme segmentation, but performance of such models is insufficient ..." | ||
Том 27, № 3 (2015) | Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных | Аннотация PDF (Rus) похожие документы |
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов | ||
"... oriented analysis and software engineering. It is proposed to create an object class structure model based ..." | ||
Том 33, № 3 (2021) | Применение языковых моделей в задаче извлечения оценочных отношений | Аннотация PDF (Rus) похожие документы |
Николай Леонидович РУСНАЧЕНКО | ||
"... . In this paper, we experiment with BERT based language models for extracting sentiment attitudes between named ..." | ||
Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
"... The article suggests a new object model of data for in-depth analysis of network traffic ..." | ||
Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
Д. Бейер, А. К. Петренко | ||
"... make it necessary to bring to bear techniques from program analysis, SMT solvers, model checking ..." | ||
Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
И. Шугуров, А. Мицюк | ||
"... and algorithms for discovery and analysis of business process models based on event logs. Process mining has ..." | ||
Том 33, № 1 (2021) | Поиск заимствований в армянских текстах путем внутреннего стилометрического анализа | Аннотация PDF (Rus) похожие документы |
Ева Максимовна ЕШИЛБАШЯН, Ариана Арменовна АСАТРЯН, Цолак Гукасович ГУКАСЯН | ||
"... and other relevant models from PAN conferences. We employ a standard set of character-level, lexical ..." | ||
Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
"... and shadow memory model. As a practical application for theoretical basis an implementation of the analysis ..." | ||
Том 32, № 2 (2020) | Векторные модели на основе символьных н-грамм для морфологического анализа текстов | Аннотация PDF (Rus) похожие документы |
Цолак Гукасович ГУКАСЯН | ||
"... The paper presents modifications of fastText word embedding model based solely on n-grams ..." | ||
Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
"... methods based on GUI model excavation with dynamic symbolic execution methods to construct test cases ..." | ||
Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... This paper describes the principles of program dynamic analysis for defect detection using input ..." | ||
Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
"... that are unattainable for dynamic methods. Static methods are algorithms for studying a static model of a program ..." | ||
Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
"... This paper is dedicated to practical research in the field of automated testing and analysis ..." | ||
Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
"... This paper regards problems of analysis and verification of complex modern operating systems, which ..." | ||
Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, А. И. Гетьман | ||
"... , their advantages and constraints: static, dynamic and network trace analysis. Here we also describe ..." | ||
Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
"... to systematically explore the execution paths in a program under analysis. However, not every value can be easily ..." | ||
Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
"... and research of program analysis algorithms for a broad spectrum of practical problems. However, its practical ..." | ||
Том 32, № 4 (2020) | Использование синтетических данных для тонкой настройки моделей сегментации документов | Аннотация PDF (Rus) похожие документы |
Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ | ||
"... of automatic document analysis, we solve the problem of segmentation of DLA documents (Document Layout Analysis ..." | ||
Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
"... A lot of binary code analysis tools do not work directly with machine instructions, instead relying ..." | ||
Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
А. А. Васильев | ||
"... to analyze the Linux kernel as a whole, so we use a simplified automatically generated environment model ..." | ||
Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
"... an adaptation of symbolic execution methods inspired by Bounded Model Checking and Saturn Software Analysis ..." | ||
Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
А. К. Асланян | ||
"... This paper describes the developed platform for static analysis of binary code. The platform ..." | ||
Том 35, № 3 (2023) | Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти | Аннотация похожие документы |
Игорь Андреевич ПАРФЕНОВ | ||
"... for imperative programming languages with decidable pointer arithmetic but differs by memory address model – we ..." | ||
1 - 30 из 752 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)