Сортировать по:
| Выпуск | Название | |
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов | ||
| "... -life program is a well-known problem caused by path explosion and necessity of path constraint solving ..." | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... Historically program analysis methods are divided into two groups - static program analysis methods ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... The paper describes static analysis techniques that are used for defect detection in C# programs ..." | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| "... programs is considered. A functional dataflow parallel programming language is used. It supports writing ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... value at any program point along multiple paths. This summary includes all joined values at join points ..." | ||
| Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
| "... The paper is dedicated to performance improvement of JavaScript programs. In this work we examine ..." | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... code becomes actual due to the unavailability of source code of many software programs. The first part ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... that are unattainable for dynamic methods. Static methods are algorithms for studying a static model of a program ..." | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| "... static path detection in the control flow graph of a program. Detected paths are used in dynamic symbolic ..." | ||
| Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова, С. В. Аришин | ||
| "... This paper proposes the two different approaches to speed-up program build: making link-time ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... This paper describes the principles of program dynamic analysis for defect detection using input ..." | ||
| Том 30, № 2 (2018) | Синтаксический анализ графов с использованием конъюнктивных грамматик | Аннотация PDF (Rus) похожие документы |
| Р. Ш. Азимов, С. В. Григорьев | ||
| "... there is a path in the graph from the vertex m to the vertex n, such that the labels on the edges of this path ..." | ||
| Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
| "... This paper proposes an approach for detecting bugs in C# programs and uses null pointer deference ..." | ||
| Том 31, № 4 (2019) | Проектирование интерфейсов классов графовой модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин | ||
| "... is based on graph theory, and operations that are used in theoretical works devoted to graphs, trees, paths ..." | ||
| Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... the final vertex of the arc to its initial vertex in the minimum time, i.e. on the shortest path ..." | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| "... . They may be used also as simple models of sequential reactive programs. These programs operate ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... This paper focuses on dynamic analysis of Java programs. We consider the following limitations ..." | ||
| Том 31, № 2 (2019) | Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов | Аннотация PDF (Rus) похожие документы |
| Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд | ||
| "... -mining and graph-mining techniques. The code elements of a program and their relations with other ..." | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| "... automatic approach to dynamic analysis of program graphical interfaces. Our approach is based on the open ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... model and allow to check different execution paths in GUI event handler code. We have checked our hybrid ..." | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
| А. С. Камкин, А. М. Коцыняк | ||
| "... In this paper, a tool for automatically generating test programs for MIPS64 memory management units ..." | ||
| Том 32, № 4 (2020) | Совершенные множества путей в полном графе коммутаторов SDN-сети | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Евгений Максимович ВИНАРСКИЙ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... of ordered host pairs (sender, receiver), and it is implemented by a set of host-host paths that uniquely ..." | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... is querying for specific paths. Such queries are usually performed by means of a formal grammar that describes ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... coverage algorithm. It is used to maximize the number of execution paths of the program. Using initial ..." | ||
| Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... instances of library subroutines in arbitrary pieces of program code. In this paper we study the complexity ..." | ||
| Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
| "... , we showcase several dynamic program analysis applications and present our solutions ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... . It extends program lifecycle with additional testing of security properties. Among other things, fuzz testing ..." | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... in software refactoring, security checking, malware detection, program integration, regression verification ..." | ||
| Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов | ||
| "... to create powerful, often parallel, programs and software systems. This leads to the growth of complexity ..." | ||
| Том 27, № 6 (2015) | Методы коррекции профильной информации в процессе компиляции | Аннотация PDF (Rus) похожие документы |
| О. А. Четверина | ||
| "... by obtaining and using program profile information, such compiler work is called profile-guided optimization ..." | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| "... Program Synthesis is the process of automatically generating software from a requirement ..." | ||
| Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... terms t1θ and t2θ have the same meaning. Unification problem can be extended to computational programs ..." | ||
| Том 22 (2012) | Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян | ||
| "... We describe the approach for two-stage compilation of C/C++ programs using the LLVM compiler ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The paper is dedicated to search for taint-based errors in the source code of programs, i ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... is Program Dependence Graph (PDG) generation and serialization. PDG is constructed during compilation time ..." | ||
| Том 26, № 1 (2014) | Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов | ||
| "... scheduling tools like fundamental Critical Path Method (CPM) and various methods for Resource Constrained ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... programs. It describes two main approaches Counter Example Guided Abstraction Refinement (CEGAR ..." | ||
| Том 27, № 3 (2015) | Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования | Аннотация PDF (Rus) похожие документы |
| Дарья Егорова, Виктор Жидченко | ||
| "... the tools for creation, validation and execution of parallel programs on cluster systems. The current state ..." | ||
| Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
| "... In this work, an approach to generate test programs for functional verification of memory ..." | ||
| 1 - 39 из 434 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
