Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... процессорной архитектуры на примере открытых компиляторов GCC и LLVM. Приводятся примеры выполненных ..."
 
Том 36, № 4 (2024) Разработка безопасного компилятора на основе Clang Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ
"... реализован безопасный компилятор на основе GCC, однако часть разработчиков предпочитает GCC Clang, который ..."
 
Том 23 (2012) Описание подхода к разработке обфусцирующего компилятора Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян
"... эффективности методов обфускации. Также предлагается подход к реализации обфусцирующего компилятора на основе ..."
 
Том 33, № 5 (2021) Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM Аннотация  PDF (Rus)  похожие документы
Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН
"... и реализации на базе инфраструктуры LLVM/Clang полноценной системы программирования для языка Си для стековой ..."
 
Том 23 (2012) Построение обфусцирующего компилятора на основе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян
"... компилятора в ИСП РАН, приводится оценка понижения быстродействия и увеличения объема потребляемой приложением ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... в компиляторе GCC. Особое внимание уделяется вопросам генерации корректного и эффективного кода для прагм OpenMP ..."
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... , предполагающий совместную разработку спецпроцессора и компилятора. При этом традиционный инструментарий (GCC ..."
 
Том 37, № 6: часть 2. ноябрь-декабрь Не LLVM единым: Исследование альтернативных методов быстрой генерации кода для компиляции запросов в PostgreSQL Аннотация  похожие документы
Михаил Вячеславович ПАНТИЛИМОНОВ, Рубен Артурович БУЧАЦКИЙ, Денис Владиславович ЗАВЕДЕЕВ
"... с помощью системных компиляторов, таких как GCC, в динамические библиотеки и подгружался в процессе ..."
 
Том 26, № 1 (2014) Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM Аннотация  PDF (Rus)  похожие документы
Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян
"... в обфусцирующем компиляторе на базе LLVM. Приводится оценка замедления и увеличения объема потребляемой памяти. ..."
 
Том 33, № 4 (2021) Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением Аннотация  PDF (Rus)  похожие документы
Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ
"... реализация такого компилятора на базе компилятора GCC. Для безопасного компилятора приводится разделение ..."
 
Том 28, № 5 (2016) Когда защита стека в компиляторах не срабатывает? Аннотация  похожие документы
Павел Довгалюк, Владимир Макаров
"... исследование, посвященное поиску недостатков в этих механизмах. Мы протестировали компиляторы MSVC, gcc и clang ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... рассматривается метод кэширования машинного кода в динамическом компиляторе запросов СУБД PostgreSQL. Предлагаемый ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... анализа полученных результатов. С помощью этих средств были выявлены недочеты в работе компилятора GCC ..."
 
Том 27, № 4 (2015) Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Аннотация  PDF (Rus)  похожие документы
Е. А. Велесевич
"... в ту же строку в другой нити. Трассировщик программы реализован как проход в открытом компиляторе GCC, анализатор ..."
 
Том 37, № 6: часть 1. ноябрь-декабрь Быстрые вызовы и раскрытие на месте: гибридная стратегия для встраиваемых функций виртуальных машин Аннотация  похожие документы
Денис Владиславович ЗАВЕДЕЕВ, Роман Александрович ЖУЙКОВ, Леонид Владленович СКВОРЦОВ, Михаил Вячеславович ПАНТИЛИМОНОВ
"... . Мы реализуем гибридный подход в LLVM-компиляторе для виртуальной машины Ark. Ark – это экспериментальная ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... . Мотивация понятна: современные компиляторы, такие как GCC и Clang/LLVM, не застрахованы от ошибок; тем самым ..."
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... интеграция сбора профиля и динамического компилятора LLVM, что позволило сохранять качество программ при ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... графов вызовов тестовых программ. Также описана реализация предложенного метода в системе LLVM ..."
 
Том 38, № 1: январь-февраль Версионирование кода как развитие оптимизации методом Распространения констант Аннотация  PDF (Rus)  похожие документы
Иван Александрович ЗИНИН, Вячеслав Викторович ЧЕРНОНОГ
"... в компиляторе GCC. Результатами, подтверждающими важность и актуальность данной работы, являются замеры работы ..."
 
Том 27, № 2 (2015) Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Аннотация  PDF (Rus)  похожие документы
А. А. Белеванцев, Е. А. Велесевич
"... LLVM[1], включая необходимые доработки в компиляторе Clang[2] и разработанный анализатор ..."
 
Том 21 (2011) Поддержка команд с условным выполнением в селективном планировщике команд Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Александр Монаков
"... команд. Предложенный метод был реализован в селективном планировщике в компиляторе GCC. Тестирование ..."
 
Том 35, № 6 (2023) Обнаружение возможной перезаписи переменных вследствие использования функций нелокальных переходов Аннотация  PDF (Rus)  похожие документы
Никита Юрьевич ШУГАЛЕЙ, Владислав Анатольевич ИВАНИШИН, Александр Владимирович МОНАКОВ
"... обнаружения такого типа неопределенного поведения, реализованные в основных современных компиляторах (GCC ..."
 
Том 27, № 6 (2015) Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Аннотация  PDF (Rus)  похожие документы
И. И. Кулагин, М. Г. Курносов
"... (software transactional memory) в компиляторе GCC, предложен метод инструментации параллельных программ ..."
 
Том 21 (2011) Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Кравец, Александр Монаков
"... генерации используется инфраструктура GRAPHITE компилятора GCC, использующая полиэдральную модель для ..."
 
Том 26, № 3 (2014) Обзор масштабируемых систем межмодульных оптимизаций Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... по раздельной схеме “компиляция-связывание” ограничивается отдельным модулем. И, хотя многие компиляторы ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... в статически типизированное представление LLVM. В работе рассматривается многоуровневый динамический компилятор ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... анализа и упрощения кода. В связи со схожестью проблем, стоящих перед оптимизирующим компилятором ..."
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
"... программа компилируется в промежуточное представление LLVM  компилятором Clang. По этому представлению ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... [1]. Рассматривается методика замещения кода функций во время исполнения, реализованная в динамическом компиляторе LLVM ..."
 
Том 22 (2012) Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования Аннотация  PDF (Rus)  похожие документы
В. Н. Игнатьев
"... на применении быстрого и нетребовательного к ресурсам статического анализа, использующего средства компилятора ..."
 
Том 34, № 4 (2022) Настройка критериев планировщика СУБД с учётом динамической компиляции Аннотация  PDF (Rus)  похожие документы
Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК
"... С разработкой динамического компилятора запросов актуальной становится задача настройки критериев ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... с помощью JIT-компилятора LLVM позволяет получить ускорение в несколько раз на синтетических тестах. ..."
 
Том 28, № 6 (2016) Динамическая компиляция SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев
"... -компилятора LLVM позволяет получить ускорение в несколько раз на тестовом наборе TPC-H. ..."
 
Том 32, № 5 (2020) Динамическая компиляция пользовательских функций на языке PL/pgSQL Аннотация  PDF (Rus)  похожие документы
Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН
"... LLVM. Работа выполняется в рамках динамического компилятора SQL-запросов, реализованного в виде ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... исследована реализация этой оптимизации для архитектур x86 и ARM в компиляторе GCC. Было обнаружено, что ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... потока управления, запутанного специализированным компилятором на основе LLVM. Средства запутывания ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... В данной работе описывается проделанная с компилятором GCC работа по адаптации имеющегося алгоритма ..."
 
Том 33, № 5 (2021) Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Аннотация  похожие документы
Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА
"... этого единого текста, зависит от того, каким компилятором он компилируется (обычным, таким, как gcc, icc ..."
 
Том 38, № 2: март-апрель Уроки эволюции С-кода и шаблоны архитектуры реального времени на основе проекта ioquake3 Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ
"... под современным GCC со всеми включенными предупреждениями. Категоризируя предупреждения компилятора ..."
 
Том 29, № 3 (2017) Анализ программ на языке Java в инструменте Svace Аннотация  PDF (Rus)  похожие документы
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев
"... анализа Java, включая изменения в компоненте контролируемой сборки, доработки компилятора OpenJDK ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. А. Васильев
"... выравнивания структур, аналогичное использованому в компиляторе. Для повышения точности анализа мы реализовали ..."
 
1 - 41 из 41 результатов

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

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