Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 1 (2014) Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища Аннотация  PDF (Rus)  похожие документы
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян
"... application in the LLVM intermediate representation. The LLVM modifications for optimizing code generation ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... system, allowing distributing such applications in the LLVM (low level virtual machine) intermediate ..."
 
Том 22 (2012) Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... We describe the approach for two-stage compilation of C/C++ programs using the LLVM compiler ..."
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... and the most likely way of usage. It is favorable to research those methods in the LLVM infrastructure ..."
 
Том 32, № 5 (2020) Динамическая компиляция пользовательских функций на языке PL/pgSQL Аннотация  PDF (Rus)  похожие документы
Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН
"... LLVM compiler infrastructure. Dynamic compiler of PL/pgSQL procedural language is developed as part ..."
 
Том 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)  похожие документы
Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК
"... оптимизатора и планировщика СУБД для выбора оптимального, с точки зрения динамической компиляции, плана запроса ..."
 
Том 23 (2012) Построение обфусцирующего компилятора на основе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян
"... an LLVM-based obfuscating compiler in ISP RAS.  The proposed transformations are based on well-known ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... to the JavaScript V8 compiler. This level uses the LLVM infrastructure to optimize JavaScript functions and generate ..."
 
Том 23 (2012) Описание подхода к разработке обфусцирующего компилятора Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян
"... with LLVM (low level virtual machine) compiler infrastructure. ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... проверок. Одно из решений — динамическая компиляция запросов, которая оправдана только в том случае, когда ..."
 
Том 29, № 3 (2017) Обзор методов динамической компиляции запросов Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий
"... хранилищам и тем самым отводят традиционные для большинства систем обработки данных оптимизации подсистемы ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... hardware architecture with static compilation using GCC and LLVM compilers as examples. We present some ..."
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
"... of the project, which allows detecting code clones with high accuracy. It is realized as part of LLVM compiler ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... Язык JavaScript является одним из самых популярных языков для разработки веб-приложений. В связи с ..."
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
"... время запуска приложений за счет выполнения оптимизаций на этапе предварительной компиляции ..."
 
Том 36, № 4 (2024) Разработка безопасного компилятора на основе Clang Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ
"... по осуществлению безопасной компиляции и описывается реализация безопасного компилятора на его основе ..."
 
Том 27, № 6 (2015) Методы предварительной оптимизации программ на языке JavaScript Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Евгений Шарыгин
"... Современные виртуальные машины для языка JavaScript используют многоуровневую компиляцию во время ..."
 
Том 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 ..."
 
Том 37, № 1 (2025) Система статического анализа для языка описания аппаратуры SystemVerilog Аннотация  PDF (Rus)  похожие документы
Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... and de-obfuscating tools were independently developed by two different teams of ISP RAS – the LLVM-based ..."
 
Том 28, № 5 (2016) Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов
"... in Linux programs we implemented a tool based on LLVM compiler infrastructure and for Windows programs we ..."
 
Том 23 (2012) Web-приложения и данные: проблемы абстракции и масштабируемости Аннотация  PDF (Rus)  похожие документы
Андрей Посконин
"... Сегодня всё чаще звучит утверждение, что универсальных хранилищ данных не существует. Несмотря на ..."
 
Том 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) Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM Аннотация  PDF (Rus)  похожие документы
Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян
"... to them. The methods are implemented within the well-known LLVM compiler infrastructure. Experimental ..."
 
Том 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 ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
 
Том 35, № 5 (2023) Открытая система хранения и обработки набора данных комбинационных схем Аннотация  похожие документы
Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ
"... . В приложении реализована возможность объединения сгенерированных наборов данных в единое хранилище ..."
 
Том 26, № 3 (2014) Обзор масштабируемых систем межмодульных оптимизаций Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... Большинство приложений имеют модульную структуру, но оптимизация таких программ при сборке по ..."
 
Том 34, № 2 (2022) Подход автоматического управления объектным хранилищем с помощью Operator SDK и Custom Resource Definition Аннотация  похожие документы
Кирилл Максимович СТОНОЖЕНКО, Игорь Валерьевич НИКИФОРОВ, Сергей Михайлович УСТИНОВ
"... Данная работа посвящена исследованию средств автоматизации управления приложениями с сохранением ..."
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... компиляции из этой модели в модель памяти целевой процессорной архитектуры. Данная статья представляет ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... итераций цикла. Все предложенные методы реализованы и используются в процессе компиляции оптимизирующими ..."
 
Том 31, № 5 (2019) Компиляция модели памяти OCaml в Power Аннотация  PDF (Rus)  похожие документы
Егор Сергеевич Намаконов, Антон Викторович Подкопаев
"... модели на практике необходимо доказать корректность её компиляции в распространённые архитектуры ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... LLVM compiler infrastructure as a basis for deobfuscation software. The difference from the compiler ..."
 
Том 36, № 5 (2024) Идентификация реквизитов сборки через отслеживание системных вызовов Аннотация  PDF (Rus)  похожие документы
Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ
 
Том 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 ..."
 
Том 35, № 6 (2023) Язык программирования для обучения технологиям компиляции и трансформации Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич НЕДОРЯ
"... Обучение студентов технологиям компиляции и трансформации является актуальным. В статье ..."
 
Том 31, № 4 (2019) Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах Аннотация  PDF (Rus)  похожие документы
Денис Владимирович Силаков
"... инструментарий для администрирования и использования распределенного хранилища данных. Возникновение ошибок ..."
 
1 - 39 из 252 результатов 1 2 3 4 5 6 7 > >> 

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

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