Сортировать по:
Выпуск | Название | |
Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
Д. А. Максименков | ||
"... The paper addresses the problem of an optimizing compiler debugging. A new method for compile-time ..." | ||
Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... methods such as debugger usage, instrumentation, and logging make developers concentrate on specific minor ..." | ||
Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
М. А. Абакумов, П. М. Довгалюк | ||
"... is harmless, but in fact it is not. This problem is solved by the mechanism of stealth debugging. The WinDbg ..." | ||
Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, П. М. Довгалюк | ||
"... Reverse debugging is software development technique that effectively helps to fix bugs caused ..." | ||
Том 27, № 3 (2015) | Классификация процедур для выбора стратегии оптимизации | Аннотация PDF (Rus) похожие документы |
Ольга Четверина | ||
"... Optimizing compilers make significant contribution to the performance of modern computer systems ..." | ||
Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
"... debugging mode, and the support of Nvidia’s graphic accelerators. Currently, the debugger provides launching ..." | ||
Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
"... отладки. Описывается механизм детерминированного воспроизведения, реализованный в эмуляторе QEMU ..." | ||
Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
Олег Максимович ПЕТРОВ | ||
"... presents DD** algorithms (based on the Delta Debugging approach) to iterate over simplified versions ..." | ||
Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
"... with static scheduling. Optimizations in optimizing compilers for VLIW duplicate code aggressively and lead ..." | ||
Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
"... and have many environment-wise requirements. Thus, execution and debugging of such DSL specifications ..." | ||
Том 21 (2011) | Детерминированное воспроизведение процесса выполнения программ в виртуальной машине | Аннотация PDF (Rus) похожие документы |
Павел Довгалюк | ||
"... in future for implementation of different mechanisms of dynamic program analysis and reverse debugging. ..." | ||
Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
Е. А. Велесевич | ||
"... instrumentation and post-mortem trace analysis: the probability of the false sharing cache miss (defined ..." | ||
Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
"... this, there are many different tools for debugging and tracing written programs. One of these tools is the analysis ..." | ||
Том 27, № 6 (2015) | Инструментация и оптимизация выполнения транзакционных секций многопоточных программ | Аннотация PDF (Rus) похожие документы |
И. И. Кулагин, М. Г. Курносов | ||
"... compiler. The authors propose software tools for instrumentation to profiling programs with software ..." | ||
Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, Ю. В. Маркин | ||
"... также изучить альтернативные пути выполнения программы при ее отладке. ..." | ||
Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
"... and debugging of network protocols, it is proposed to use a journal which records protocol header parsing errors ..." | ||
Том 26, № 1 (2014) | Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты | Аннотация PDF (Rus) похожие документы |
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян | ||
"... The paper describes the workflow for optimizing programs for performance targeting the fixed ..." | ||
Том 36, № 4 (2024) | Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус | Аннотация PDF (Rus) похожие документы |
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
"... This paper presents a new version of instrumentation-based path profiling, implemented for the LCC ..." | ||
Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
Пётр Николаевич СОВЕТОВ | ||
"... , are insufficient for the agile development of optimizing compilers that generate target code of an exotic ..." | ||
Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, В. В. Подымов | ||
"... , compiler verification and validation. In this paper we show that equivalence checking procedures can ..." | ||
Том 24 (2013) | Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев | ||
"... This paper analyzes approaches for optimizing C/C++ applications used in twostage compilation ..." | ||
Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов | ||
"... in Linux programs we implemented a tool based on LLVM compiler infrastructure and for Windows programs we ..." | ||
Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... program, the technique of instrumentation code in language C ++. The article gives examples of algorithms ..." | ||
Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
К. Ю. Долгорукова, С. В. Аришин | ||
"... concurrently. The problem is complicated by the compiler pipeline model: interprocedural optimization passes ..." | ||
Том 22 (2012) | Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения | Аннотация PDF (Rus) похожие документы |
Арутюн Аветисян | ||
"... We describe the approach for two-stage compilation of C/C++ programs using the LLVM compiler ..." | ||
Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
"... This work is devoted to the development of a library designed to implement compilers. The article ..." | ||
Том 33, № 5 (2021) | Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM | Аннотация PDF (Rus) похожие документы |
Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН | ||
"... for such architectures. In this paper we describe the development process of an LLVM/Clang-based C compiler for stack ..." | ||
Том 33, № 4 (2021) | Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением | Аннотация PDF (Rus) похожие документы |
Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ | ||
"... Aggressive optimization in modern compilers may uncover vulnerabilities in program code that did ..." | ||
Том 33, № 3 (2021) | Оптимизации расположения данных для компилятора LCC для архитектуры Эльбрус | Аннотация похожие документы |
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
"... for implementing data layout optimizations in the LCC compiler for the Elbrus and SPARC architectures. The approach ..." | ||
Том 23 (2012) | Описание подхода к разработке обфусцирующего компилятора | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян | ||
"... on a compiler infrastructure. Using the compiler infrastructure is beneficial as during compilation we have ..." | ||
Том 36, № 4 (2024) | Разработка безопасного компилятора на основе Clang | Аннотация PDF (Rus) похожие документы |
Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ | ||
"... Due to the use of aggressive optimizations by modern C/C++ compilers that exploit undefined ..." | ||
Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация похожие документы |
С. М. Старолетов | ||
"... (static, dynamic, decompilation, debugging, logging) is proposed, and information of our software based ..." | ||
Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
"... API. The purpose of the work is to reduce the complexity of developing and debugging applications ..." | ||
Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Иванишин | ||
"... of compiler-defined per-warp stacks, which is required to have per-warp automatic storage outside of SIMD ..." | ||
Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
Артём Дмитриевич БЕЛОУСОВ | ||
Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
"... . In this article we propose several compiler protection techniques against vulnerability exploitation: function ..." | ||
Том 26, № 1 (2014) | Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM | Аннотация PDF (Rus) похожие документы |
Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян | ||
"... to them. The methods are implemented within the well-known LLVM compiler infrastructure. Experimental ..." | ||
Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
"... an LLVM-based obfuscating compiler in ISP RAS. The proposed transformations are based on well-known ..." | ||
Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
"... code caching in our query JIT-compiler for DBMS PostgreSQL. The proposed method allows us to eliminate ..." | ||
1 - 39 из 134 результатов | 1 2 3 4 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)