Сортировать по:
| Выпуск | Название | |
| Том 24 (2013) | Автоматический поиск ошибок синхронизации в приложениях на платформе Android | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, С. П. Вартанов, М. К. Ермаков | ||
| "... of dynamic concurrency detection methods. Section 3 contains an overview of several key points in Android ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... . Summary based analysis is a popular approach aimed at the detection of bugs in programs due to its high ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... executed using interpreters and virtual machines. Using Dalvik virtual machine in Android operating system ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... in multi-threaded Java applications. We use static Java byte-code instrumentation framework Coffee Machine ..." | ||
| Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
| "... detection of concurrency bugs in multithreaded programs. Our memory profiling tool is designed for Java ..." | ||
| Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация похожие документы |
| С. М. Старолетов | ||
| "... It is considered to the problem of analysis of Android applications to study a malicious behaviour ..." | ||
| Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... implementation of these techniques for automatic software defect detection. The paper focuses on program dynamic ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... The paper is devoted to the works performed within the Svace static analysis tool to support Java ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... projects as well as results of applying Java analysis tool to detect concurrency defects. ..." | ||
| Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
| В. Ю. Трифанов | ||
| "... data and at least of them writes. Two main approaches to automatic race detection - static and dynamic ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... This paper focuses on dynamic analysis of Java programs. We consider the following limitations ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... for unreachable code detection were described. А general scheme of static analysis that takes exception related ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... to perform automatic profiling, defect detection and other activities during software development ..." | ||
| Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ | ||
| "... Data races are a class of concurrency errors where two threads access a shared memory location ..." | ||
| Том 28, № 2 (2016) | Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS | Аннотация похожие документы |
| С. Тул, П. Г. Ларсен | ||
| "... different formalisms. This paper describes an exploration of whether different concurrency features in Scala ..." | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян | ||
| "... The paper describes a method for semantic errors detection arising during incorrect code copy-paste ..." | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
| А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| Том 37, № 1 (2025) | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| "... languages (C, C++, Java, Python, Go). During its development, an analysis of all automatically detectable ..." | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
| И. А. Адамович, Анд. В. Климов | ||
| "... on partial evaluation for a subset of the Java programming language. The specializer has been implemented ..." | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| "... The development of memory models aimed at solving various concurrency problems is an active ..." | ||
| Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина | ||
| "... We propose inter-procedural static analysis tool for buffer overflow detection. It is based ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... automation framework GUITAR and Java byte-code static instrumentation framework Coffee Machine. GUI model ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... The paper describes static analysis techniques that are used for defect detection in C# programs ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| "... This paper considers the automated unit tests generation for programs written in Java using ..." | ||
| Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... of the saved trees. We have implemented this described representation for Java, Kotlin and Python. The unified ..." | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| "... for Android/desktop Java. Proposed method is able to change the sequence of called API functions in order ..." | ||
| Том 27, № 3 (2015) | Создание приватного сервиса с использованием приложения CRYP2CHAT | Аннотация PDF (Rus) похожие документы |
| Андрей Кирьянцев, Ирина Стефанова | ||
| Том 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 ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... for parallel SPMD programs has been developed with ability to use Java threads. The usage of threads in program ..." | ||
| Том 32, № 4 (2020) | Двухшаговый метод объединения новостей в сюжеты | Аннотация PDF (Rus) похожие документы |
| Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ | ||
| "... science. The paper is devoted to the part of the news stream analysis which is called “event detection ..." | ||
| Том 25 (2013) | Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге | Аннотация PDF (Rus) похожие документы |
| Н. Г. Зельцер | ||
| "... The article discusses the possibility to combine automatic refactoring with detection of repeating ..." | ||
| Том 33, № 1 (2021) | Поиск заимствований в армянских текстах путем внутреннего стилометрического анализа | Аннотация PDF (Rus) похожие документы |
| Ева Максимовна ЕШИЛБАШЯН, Ариана Арменовна АСАТРЯН, Цолак Гукасович ГУКАСЯН | ||
| "... detection in Armenian texts. We use two task setups from PAN’s series of conferences on text forensics ..." | ||
| Том 34, № 1 (2022) | О комбинированном алгоритме обнаружения заимствований в текстовых документах | Аннотация PDF (Rus) похожие документы |
| Камиль Фанисович САФИН, Юрий Викторович ЧЕХОВИЧ | ||
| Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
| И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
| Том 31, № 4 (2019) | Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах | Аннотация PDF (Rus) похожие документы |
| Денис Владимирович Силаков | ||
| "... The paper is devoted to the problem of early error detection and analysis in hyperconverged ..." | ||
| Том 26, № 4 (2014) | Лингвистический подход к определению суицида | Аннотация PDF (Rus) похожие документы |
| Л. М. Ермакова, С. А. Ермаков | ||
| Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) похожие документы |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| "... with summation of weighted transitions in comparison with Berger codes also have improved error detection ..." | ||
| 1 - 39 из 178 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
