Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Декомпиляция объектных файлов *.dcuil Аннотация  PDF (Rus)  похожие документы
А. А. Михайлов, А. Е. Хмельнов
"... , создаваемых компиляторами тех версий Delphi, которые работали для платформы .NET. Разработан метод решения ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... компиляторе GCC. Особое внимание уделяется вопросам генерации корректного и эффективного кода для прагм OpenMP ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... один поток и в несколько потоков. Запуск на 4-х потоках показал ускорение процесса сборки в среднем на ..."
 
Том 34, № 5 (2022) Библиотека для разработки компиляторов Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ
"... Работа посвящена разработке библиотеки, предназначенной для реализации компиляторов. Статья ..."
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
 
Том 33, № 5 (2021) Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM Аннотация  PDF (Rus)  похожие документы
Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН
"... , компоновщик и отладчик для использования с новыми архитектурами. Нами были разработаны две версии компилятора ..."
 
Том 33, № 4 (2021) Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением Аннотация  PDF (Rus)  похожие документы
Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ
"... С развитием оптимизирующих компиляторов стали возникать случаи появления уязвимостей в программах ..."
 
Том 33, № 3 (2021) Оптимизации расположения данных для компилятора LCC для архитектуры Эльбрус Аннотация  похожие документы
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ
"... использования кэш-памяти для разработки оптимизаций расположения данных в составе компилятора LCC для архитектур ..."
 
Том 36, № 2 (2024) TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт Аннотация  похожие документы
Артём Дмитриевич БЕЛОУСОВ
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... , предполагающий совместную разработку спецпроцессора и компилятора. При этом традиционный инструментарий (GCC и ..."
 
Том 23 (2012) Описание подхода к разработке обфусцирующего компилятора Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян
"... эффективности методов обфускации. Также предлагается подход к реализации обфусцирующего компилятора на основе ..."
 
Том 23 (2012) Построение обфусцирующего компилятора на основе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян
"... компилятора в ИСП РАН, приводится оценка понижения быстродействия и увеличения объема потребляемой приложением ..."
 
Том 28, № 5 (2016) Когда защита стека в компиляторах не срабатывает? Аннотация  похожие документы
Павел Довгалюк, Владимир Макаров
"... , аудит бинарного кода, статические и динамические особенности кодогенерации. В современных компиляторах ..."
 
Том 36, № 4 (2024) Разработка безопасного компилятора на основе Clang Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ
"... В связи с использованием современными компиляторами C/C++ агрессивных оптимизаций, эксплуатирующих ..."
 
Том 34, № 4 (2022) Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики Аннотация  похожие документы
Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ
"... результирующую производительность программ, или компилятор в состоянии автоматически оптимизировать программу. ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... процессорной архитектуры на примере открытых компиляторов GCC и LLVM. Приводятся примеры выполненных ..."
 
Том 27, № 6 (2015) Агрессивная инлайн-подстановка функций для VLIW-архитектур Аннотация  PDF (Rus)  похожие документы
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский
"... программа». Реализация нашего алгоритма в оптимизирующем компиляторе для архитектуры Эльбрус позволила ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... В статье рассматривается проблемы отладки оптимизирующих компиляторов. В качестве эффективного ..."
 
Том 36, № 4 (2024) Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус Аннотация  PDF (Rus)  похожие документы
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ
"... , реализованная в компиляторе LCC для архитектур «Эльбрус» и SPARC и предназначенная для улучшения работы ..."
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
"... рассматриваются особенности динамических оптимизаций в JIT-компиляторе для языка JavaScript, а также основные ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... анализа полученных результатов. С помощью этих средств были выявлены недочеты в работе компилятора GCC ..."
 
Том 37, № 1 (2025) Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Андрей Викторович ВЯЗОВЦЕВ, Михаил Максимович РОМАНОВ, Дмитрий Михайлович МЕЛЬНИК
"... промежуточное представление, которое может быть использовано для построения компиляторов нейронных сетей ..."
 
Том 34, № 4 (2022) Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер Аннотация  похожие документы
Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ
"... в виде автоматически распараллеливающего компилятора для программ на языках Си и Фортран. Для ..."
 
Том 26, № 3 (2014) Обзор масштабируемых систем межмодульных оптимизаций Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... раздельной схеме “компиляция-связывание” ограничивается отдельным модулем. И, хотя многие компиляторы ..."
 
Том 35, № 6 (2023) Обнаружение возможной перезаписи переменных вследствие использования функций нелокальных переходов Аннотация  PDF (Rus)  похожие документы
Никита Юрьевич ШУГАЛЕЙ, Владислав Анатольевич ИВАНИШИН, Александр Владимирович МОНАКОВ
"... обнаружения такого типа неопределенного поведения, реализованные в основных современных компиляторах (GCC ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... рассматривается метод кэширования машинного кода в динамическом компиляторе запросов СУБД PostgreSQL. Предлагаемый ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... потока управления, запутанного специализированным компилятором на основе LLVM. Средства запутывания и ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... . Мотивация понятна: современные компиляторы, такие как GCC и Clang/LLVM, не застрахованы от ошибок; тем самым ..."
 
Том 27, № 6 (2015) Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Аннотация  PDF (Rus)  похожие документы
И. И. Кулагин, М. Г. Курносов
"... (software transactional memory) в компиляторе GCC, предложен метод инструментации параллельных программ ..."
 
Том 35, № 6 (2023) Язык программирования для обучения технологиям компиляции и трансформации Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич НЕДОРЯ
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... Эффективность проводимых компилятором оптимизирующих преобразований может быть значительно повышена ..."
 
Том 35, № 3 (2023) Фреймворк для анализа использования машинных инструкций Аннотация  похожие документы
Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА
"... оптимизирующих компиляторов для новых платформ, возникает необходимость в статистическом анализе данных об ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... Запутывание потока управления является одним из наиболее распространенных способов защиты бинарного ..."
 
Том 37, № 2 (2025) TSAR: инструмент для оценки статических анализаторов Аннотация  PDF (Rus)  похожие документы
Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 30, № 1 (2018) Методы анализа вредоносного программного обеспечения под ОС Android Аннотация  похожие документы
С. М. Старолетов
"... программно- и научно-технических экспертиз (статические, динамические проверки, отладка, декомпиляция ..."
 
Том 30, № 6 (2018) Методы анализа информационных потоков в сети Интернет Аннотация  PDF (Rus)  похожие документы
А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков
"... распространения информационных потоков в сети Интернет, разделяя их на две группы: объяснительные, предполагающие ..."
 
Том 35, № 3 (2023) Уточнение предикатной абстракции при раздельном анализе потоков Аннотация  похожие документы
Вероника Павловна РУДЕНЧИК, Павел Сергеевич АНДРИАНОВ
"... Комбинация анализа с раздельным рассмотрением потоков (Thread-Modular analysis) и предикатной ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... ]. Рассматривается методика замещения кода функций во время исполнения, реализованная в динамическом компиляторе LLVM ..."
 
Том 31, № 6 (2019) Обзор методов автоматизированной генерации эксплойтов повторного использования кода Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов
"... использовать в качестве набора команд целевой архитектуры компилятора. Однако в каталоге гаджетов для ..."
 
1 - 39 из 202 результатов 1 2 3 4 5 6 > >> 

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

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