Сортировать по:
| Выпуск | Название | |
| Том 33, № 4 (2021) | Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением | Аннотация PDF (Rus) похожие документы |
| Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ | ||
| "... before in their experience, but the compiler is not obliged to stick to that behavior and may change ..." | ||
| Том 35, № 6 (2023) | Обнаружение возможной перезаписи переменных вследствие использования функций нелокальных переходов | Аннотация PDF (Rus) похожие документы |
| Никита Юрьевич ШУГАЛЕЙ, Владислав Анатольевич ИВАНИШИН, Александр Владимирович МОНАКОВ | ||
| "... the means of detecting this type of undefined behavior which are implemented in the major modern compilers ..." | ||
| Том 36, № 4 (2024) | Разработка безопасного компилятора на основе Clang | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ | ||
| "... Due to the use of aggressive optimizations by modern C/C++ compilers that exploit undefined ..." | ||
| Том 28, № 5 (2016) | Когда защита стека в компиляторах не срабатывает? | Аннотация похожие документы |
| Павел Довгалюк, Владимир Макаров | ||
| "... MSVC, gcc, and clang and found that two of these compilers have flaws that allow exploiting buffer ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... like crash and unexpected behavior of programs. Many SCSA tools are used for checking code conformance ..." | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| "... This work is devoted to the development of a library designed to implement compilers. The article ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... arbitrary side effects due to memory-mapped devices or other non-trivial behavior of the memory system. ..." | ||
| Том 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, № 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 ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... that detect memory errors and undefined behavior. This article explores the properties of the path predicate ..." | ||
| Том 33, № 5 (2021) | Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA | Аннотация похожие документы |
| Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА | ||
| "... compiler it is compiled with (the usual one, such as gcc, icc and msvc, or the compiler for CUDA, nvcc ..." | ||
| Том 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: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| Том 27, № 3 (2015) | Классификация процедур для выбора стратегии оптимизации | Аннотация PDF (Rus) похожие документы |
| Ольга Четверина | ||
| "... Optimizing compilers make significant contribution to the performance of modern computer systems ..." | ||
| Том 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 ..." | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... computing systems. The compiler-in-the-loop approach, based on the joint development of a specialized ..." | ||
| Том 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 ..." | ||
| Том 36, № 4 (2024) | Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус | Аннотация PDF (Rus) похожие документы |
| Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... compiler for Elbrus and SPARC processors. This profiling is intended to be used for VLIW-specific compiler ..." | ||
| Том 37, № 1 (2025) | Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR | Аннотация PDF (Rus) похожие документы |
| Иван Иванович КУЛАГИН, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Андрей Викторович ВЯЗОВЦЕВ, Михаил Максимович РОМАНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
| "... , which can be used to build compilers for neural networks. The proposed intermediate representation ..." | ||
| Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
| Е. А. Велесевич | ||
| "... . The tracer tool is implemented as a GCC compiler pass, whereas the post-mortem analyzer is a separate ..." | ||
| Том 26, № 1 (2014) | Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты | Аннотация PDF (Rus) похожие документы |
| Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян | ||
| "... hardware architecture with static compilation using GCC and LLVM compilers as examples. We present some ..." | ||
| Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
| А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
| "... with static scheduling. Optimizations in optimizing compilers for VLIW duplicate code aggressively and lead ..." | ||
| Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Д. А. Максименков | ||
| "... The paper addresses the problem of an optimizing compiler debugging. A new method for compile-time ..." | ||
| Том 35, № 6 (2023) | Язык программирования для обучения технологиям компиляции и трансформации | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич НЕДОРЯ | ||
| Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов | ||
| "... in Linux programs we implemented a tool based on LLVM compiler infrastructure and for Windows programs we ..." | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| "... -to-source automatic parallelizing compiler that expresses parallelism with the DVMH directive-based ..." | ||
| Том 26, № 3 (2014) | Обзор масштабируемых систем межмодульных оптимизаций | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова | ||
| "... of cross-module optimizations by many compilers full optimizations are often unacceptable for large ..." | ||
| Том 27, № 6 (2015) | Инструментация и оптимизация выполнения транзакционных секций многопоточных программ | Аннотация PDF (Rus) похожие документы |
| И. И. Кулагин, М. Г. Курносов | ||
| "... compiler. The authors propose software tools for instrumentation to profiling programs with software ..." | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
| А. А. Белеванцев, Е. А. Велесевич | ||
| "... such a tool for C/C++ languages based on open source components: LLVM/Clang compiler infrastructure, GNU ..." | ||
| Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова, С. В. Аришин | ||
| "... concurrently. The problem is complicated by the compiler pipeline model: interprocedural optimization passes ..." | ||
| Том 27, № 3 (2015) | Метод автоматической конкретизации символических тестовых сценариев | Аннотация PDF (Rus) похожие документы |
| Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... verification. The motivation is rather clear: modern compilers, such as GCC and Clang/LLVM, are not free ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... the correctness of the compiler. However, this may be unacceptable for critical systems. As long ..." | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| "... research topic. One such model is the OCaml memory model (OCamlMM), which allows to mitigate undefined ..." | ||
| Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
| А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
| "... Concurrent programs have behaviors, which cannot be explained by interleaving execution ..." | ||
| 1 - 39 из 156 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
