Сортировать по:
Выпуск | Название | |
Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... in multi-threaded Java applications. We use static Java byte-code instrumentation framework Coffee Machine ..." | ||
Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков | ||
"... This paper focuses on dynamic analysis of Java programs. We consider the following limitations ..." | ||
Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
"... bytecode instrumentation for trace generation and employs ThreadSanitizer defect detection tool ..." | ||
Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... analysis technique based on tainted data flow tracing, instrumentation and constraint set construction ..." | ||
Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
Е. А. Карпулевич | ||
"... При статическом анализе программ важную роль играет используемое представление программного кода. В ..." | ||
Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... program, the technique of instrumentation code in language C ++. The article gives examples of algorithms ..." | ||
Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
"... The paper is devoted to the works performed within the Svace static analysis tool to support Java ..." | ||
Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
"... instrumentation and searches for inappropriate memory access. It preserves two sets of memory address for all ..." | ||
Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
Д. А. Максименков | ||
"... instrumentation is presented as an efficient approach to improve reliability of optimizing transformations ..." | ||
Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
Е. А. Велесевич | ||
"... instrumentation and post-mortem trace analysis: the probability of the false sharing cache miss (defined ..." | ||
Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
"... the principles of selective instrumentation. The virtual machine only provides low-level data, thus ..." | ||
Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... . In this paper we focus on static binary code instrumentation – a technique to automatically modify program ..." | ||
Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
"... automation framework GUITAR and Java byte-code static instrumentation framework Coffee Machine. GUI model ..." | ||
Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
И. А. Адамович, Анд. В. Климов | ||
"... on partial evaluation for a subset of the Java programming language. The specializer has been implemented ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... presents C Instrumentation Framework – an aspect-oriented programming implementation for the C programming ..." | ||
Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
Н. Л. Луговской, С. В. Сыромятников | ||
"... transformation. Currently KAST is used for matching syntactic patterns in syntactic trees built of C/C++, Java ..." | ||
Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... Данная статья посвящена вопросам проведения анализа программ интерпретируемых языков ..." | ||
Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... Programming RAS---Avalanche (Valgrind-based tool) and a prototype tool for Java applications. The paper ..." | ||
Том 27, № 6 (2015) | Инструментация и оптимизация выполнения транзакционных секций многопоточных программ | Аннотация PDF (Rus) похожие документы |
И. И. Кулагин, М. Г. Курносов | ||
"... compiler. The authors propose software tools for instrumentation to profiling programs with software ..." | ||
Том 24 (2013) | Автоматический поиск ошибок синхронизации в приложениях на платформе Android | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, С. П. Вартанов, М. К. Ермаков | ||
"... analysis. Section 4 provides the information on Java-oriented tools for concurrency defect detection (Java ..." | ||
Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
М. С. Акопян | ||
"... it is possible to run a few threads. The parallel MPMT application of FT (Fast Furier Transformation) on Java has ..." | ||
Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
"... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..." | ||
Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
Павел Андреевич Путро | ||
"... of functions written in high-level languages such as C or Java. However, this may not be enough for critical ..." | ||
Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
"... Svace for C++, Java and Kotlin languages. ..." | ||
Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
В. Ю. Трифанов | ||
"... Состояния гонки (data race) возникает в многопоточной программе при одновременном обращении ..." | ||
Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов | ||
"... used post-link instrumentation and optimization tool Syzygy. The former approach requires program ..." | ||
Том 24 (2013) | О методах деобфускации программ | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин | ||
"... преобразования. Основная область применения - это анализ запутанного кода вредоносного программного обеспечения ..." | ||
Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
М. С. Акопян | ||
"... for parallel SPMD programs has been developed with ability to use Java threads. The usage of threads in program ..." | ||
Том 34, № 5 (2022) | Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ | ||
Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация похожие документы |
С. М. Старолетов | ||
1 - 30 из 428 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)