Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 диссертация)