Сортировать по:
Выпуск | Название | |
Том 21 (2011) | Детерминированное воспроизведение процесса выполнения программ в виртуальной машине | Аннотация PDF (Rus) похожие документы |
Павел Довгалюк | ||
"... The paper describes a technology that allows to capture and rerun scripts of program execution ..." | ||
Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, П. М. Довгалюк | ||
"... by nondeterministic program behavior. It allows inspecting past program’s state without rerun. The paper describes ..." | ||
Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, Ю. В. Маркин | ||
"... protocols because of program state could change when restarting an application. The main idea of our method ..." | ||
Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
М. А. Абакумов, П. М. Довгалюк | ||
"... When programs are analyzed for the presence of vulnerabilities and malicious code, there is a need ..." | ||
Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
"... The paper presents a debugger for parallel programs in С/C++, or FORTRAN, which are executed ..." | ||
Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
"... отладки. Описывается механизм детерминированного воспроизведения, реализованный в эмуляторе QEMU ..." | ||
Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
Д. А. Максименков | ||
"... to be verified on any input data fed into the executed program, i.e. the proposed self-checking instrumentation ..." | ||
Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
В. В. Липаев | ||
"... of sophisticated complexes of programs for military use based on specialized computers. Methods, requirements ..." | ||
Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
"... Технология (детерминированного) воспроизведения вычислительного процесса в виртуальных ..." | ||
Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
Олег Максимович ПЕТРОВ | ||
"... a bug in the verified program in a given time, a simplified version of it can be analyzed. This paper ..." | ||
Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, В. В. Подымов | ||
"... in software refactoring, security checking, malware detection, program integration, regression verification ..." | ||
Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... Writing static analyzers is hard due to many equivalent transformations between program source ..." | ||
Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... This article focuses on practical questions of performing program analysis for applications ..." | ||
Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
"... Sometimes programmers face the task of analyzing the work of a compiled program. To do ..." | ||
Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
"... programs is considered. A functional dataflow parallel programming language is used. It supports writing ..." | ||
Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров | ||
"... . They may be used also as simple models of sequential reactive programs. These programs operate ..." | ||
Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
"... В работе представлены два подхода к реализации полносистемного детерминированного воспроизведения в ..." | ||
Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация похожие документы |
С. М. Старолетов | ||
"... программно- и научно-технических экспертиз (статические, динамические проверки, отладка, декомпиляция ..." | ||
Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
"... , we showcase several dynamic program analysis applications and present our solutions ..." | ||
Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов | ||
"... to create powerful, often parallel, programs and software systems. This leads to the growth of complexity ..." | ||
Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
"... Historically program analysis methods are divided into two groups - static program analysis methods ..." | ||
Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
"... terms t1θ and t2θ have the same meaning. Unification problem can be extended to computational programs ..." | ||
Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... This paper describes the principles of program dynamic analysis for defect detection using input ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... to use natural languages for queries and perform matching on the basis of a formal program representation ..." | ||
Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
И. А. Адамович, Анд. В. Климов | ||
"... Specialization is a program optimization approach that implies the use of a priori information ..." | ||
Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
"... , исполнение таких программ в целях отладки невозможно осуществить, сгенерировав и запустив конечный код, т ..." | ||
Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
"... В исследованиях по формальным методам разработки и верификации программ много внимания уделяется ..." | ||
Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
"... An automatic program defect detection is extremely important direction of current research ..." | ||
Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) похожие документы |
Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
"... . The algorithm is based on the construction of similarity features vector for a given pair of programs ..." | ||
Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Евгений Шарыгин | ||
"... of JavaScript programs as a binary package containing bytecode and a native code. The framework consists of two ..." | ||
1 - 30 из 344 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)