Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22 (2012) Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... access to the deployed programs in the LLVM bitcode form. While optimizing LLVM toolchain for working ..."
 
Том 26, № 2 (2014) Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, А. О. Избышев, И. А. Дудина
"... to Flowdroid, which aims to analyze Java bytecode, our approach handles LLVM bitcode and pointer arithmetic ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... The paper describes the workflow for optimizing programs for performance targeting the fixed ..."
 
Том 26, № 1 (2014) Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища Аннотация  PDF (Rus)  похожие документы
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян
"... application in the LLVM intermediate representation. The LLVM modifications for optimizing code generation ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... is dedicated to performance improvement of JavaScript programs by adding a new optimizing level ..."
 
Том 23 (2012) Описание подхода к разработке обфусцирующего компилятора Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян
"... is to obfuscate program code. This paper describes an approach for developing an obfuscation tool based ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... This paper analyzes approaches for optimizing C/C++ applications used in twostage compilation ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... analysis and transformation algorithms similar to those of an optimizing compiler, we have evaluated using ..."
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... collection into the LLVM dynamic compiler resulting in constant program quality regardless of hardware ..."
 
Том 26, № 1 (2014) Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM Аннотация  PDF (Rus)  похожие документы
Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян
"... The paper describes the methods for obfuscating C/C++ programs to prevent applying static analyzers ..."
 
Том 27, № 4 (2015) Применение алгоритмов проверки эквивалентности для оптимизации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, В. В. Подымов
"... in software refactoring, security checking, malware detection, program integration, regression verification ..."
 
Том 34, № 4 (2022) Автоматическое тестирование LLVM-программ со сложными входными структурами данных Аннотация  PDF (Rus)  похожие документы
Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ
"... for LLVM programs with complex input data structures. The approach is based on the well-known idea of lazy ..."
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
"... of the project, which allows detecting code clones with high accuracy. It is realized as part of LLVM compiler ..."
 
Том 27, № 2 (2015) Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Аннотация  PDF (Rus)  похожие документы
А. А. Белеванцев, Е. А. Велесевич
"... This paper describes the static analysis tool for finding program entities, their metrics ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... the program exhibits during its invocation. The method can be applied to a wide set of optimizing ..."
 
Том 27, № 6 (2015) Агрессивная инлайн-подстановка функций для VLIW-архитектур Аннотация  PDF (Rus)  похожие документы
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский
"... with static scheduling. Optimizations in optimizing compilers for VLIW duplicate code aggressively and lead ..."
 
Том 27, № 2 (2015) Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода Аннотация  PDF (Rus)  похожие документы
Севак Саргсян
"... on lexical analysis of the program. A sequence of tokens is constructed based on the LLVM lexer and then all ..."
 
Том 35, № 5 (2023) Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang Аннотация  PDF (Rus)  похожие документы
Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... standard. The developed checkers are based on the LLVM/clang compiler infrastructure. This paper describes ..."
 
Том 35, № 3 (2023) Подходы к развертыванию в распределенной обработке сложных событий Аннотация  похожие документы
Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ
"... of the main research issues in Complex Event Processing (CEP) techniques, with a special focus on optimizing ..."
 
Том 36, № 4 (2024) Разработка безопасного компилятора на основе Clang Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ
"... , the applicability in practice is shown and the impact on program performance is evaluated. ..."
 
Том 22 (2012) Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования Аннотация  PDF (Rus)  похожие документы
В. Н. Игнатьев
"... We describe the usage of programming language constraints to achieve program security ..."
 
Том 27, № 6 (2015) Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... : in spite of growth of performance and memory volume of modern computers programs grow in size ..."
 
Том 23 (2012) Построение обфусцирующего компилятора на основе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян
"... an LLVM-based obfuscating compiler in ISP RAS.  The proposed transformations are based on well-known ..."
 
Том 35, № 1 (2023) Развертывание микросервисов Аннотация  похожие документы
Виктор М. НИНЬО-МАРТИНЕС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавье ЛИМОН, Хуан Карлос ПЕРЕС-АРРИАГА
"... Современная разработка программного обеспечения требует гибких методов для развертывания и ..."
 
Том 34, № 5 (2022) Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA Аннотация  PDF (Rus)  похожие документы
Александра Андреевна БОРИСОВА, Олег Дмитриевич БОРИСЕНКО
"... процессов управления развертывания и дальнейшего сопровождения по в разных средах. В разд. 2 представлен ..."
 
Том 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 ..."
 
Том 27, № 3 (2015) Классификация процедур для выбора стратегии оптимизации Аннотация  PDF (Rus)  похожие документы
Ольга Четверина
"... Optimizing compilers make significant contribution to the performance of modern computer systems ..."
 
Том 28, № 5 (2016) Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов
"... in Linux programs we implemented a tool based on LLVM compiler infrastructure and for Windows programs we ..."
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... processor and a compiler, is gaining popularity. At the same time, the traditional tools, like GCC and LLVM ..."
 
Том 23 (2012) Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL Аннотация  PDF (Rus)  похожие документы
Алексей Меркулов, Андрей Белеванцев
"... for creating our tool. We also use LLVM infrastructure for translating LLVM bitcode representation ..."
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
"... The article proposes methods for supporting development of efficient programs for modern parallel ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... extension that implements SQL query JIT compilation using LLVM compiler infrastructure. In this paper we ..."
 
Том 28, № 6 (2016) Динамическая компиляция SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев
"... extension that implements SQL query JIT compilation using LLVM compiler infrastructure. In this paper we ..."
 
Том 34, № 4 (2022) Настройка критериев планировщика СУБД с учётом динамической компиляции Аннотация  PDF (Rus)  похожие документы
Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... This paper proposes the two different approaches to speed-up program build: making link-time ..."
 
Том 22 (2012) Оптимизация расчётов в пакете OpenFOAM на GPU Аннотация  PDF (Rus)  похожие документы
А. В. Монаков
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... on both x86 (up to 12% improvement with Clang/LLVM built with multiple shared libraries, on big ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... LLVM-based compiler. Next, TrEx environment was used to analyze program execution trace, to find ..."
 
Том 37, № 3 (2025) Оптимизация конфиденциальных запросов к базе данных на облаке Аннотация  PDF (Rus)  похожие документы
Николай Павлович ВАРНОВСКИЙ, Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ
 
1 - 39 из 346 результатов 1 2 3 4 5 6 7 8 9 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)