Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... на основе сведения к задаче SMT, что дает возможность избавиться при построении компилятора от эвристических ..."
 
Том 33, № 5 (2021) Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM Аннотация  PDF (Rus)  похожие документы
Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН
"... , компоновщик и отладчик для использования с новыми архитектурами. Нами были разработаны две версии компилятора ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... . Мотивация понятна: современные компиляторы, такие как GCC и Clang/LLVM, не застрахованы от ошибок; тем самым ..."
 
Том 37, № 4: часть 1. июль-август Определение неточностей в работе некоторых специализированных цикловых оптимизаций в компиляторе LCC для архитектуры «Эльбрус» Аннотация  PDF (Rus)  похожие документы
Александр Викторович ЕРМОЛИЦКИЙ, Дмитрий Николаевич ЛЕВЧЕНКО, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ
"... статической информации о работе циклов от компилятора. Предложенный метод был проверен на задачах из пакетов ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... в компиляторе GCC. Особое внимание уделяется вопросам генерации корректного и эффективного кода для прагм OpenMP ..."
 
Том 37, № 1: январь-февраль Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Андрей Викторович ВЯЗОВЦЕВ, Михаил Максимович РОМАНОВ, Дмитрий Михайлович МЕЛЬНИК
"... промежуточное представление, которое может быть использовано для построения компиляторов нейронных сетей ..."
 
Том 36, № 4 (2024) Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус Аннотация  PDF (Rus)  похожие документы
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ
"... , реализованная в компиляторе LCC для архитектур «Эльбрус» и SPARC и предназначенная для улучшения работы ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... рассматривается метод кэширования машинного кода в динамическом компиляторе запросов СУБД PostgreSQL. Предлагаемый ..."
 
Том 34, № 4 (2022) Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер Аннотация  похожие документы
Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ
"... в виде автоматически распараллеливающего компилятора для программ на языках Си и Фортран. Для описания ..."
 
Том 35, № 3 (2023) Фреймворк для анализа использования машинных инструкций Аннотация  похожие документы
Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА
"... оптимизирующих компиляторов для новых платформ, возникает необходимость в статистическом анализе данных ..."
 
Том 37, № 4: часть 1. июль-август HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... Expression Denial of Service). В настоящей работе представлен компилятор HOREC, применяемый в цикле ..."
 
Том 27, № 3 (2015) Классификация процедур для выбора стратегии оптимизации Аннотация  PDF (Rus)  похожие документы
Ольга Четверина
"... Оптимизирующие компиляторы вносят существенный вклад в повышение производительности современных ..."
 
Том 31, № 6 (2019) Обзор методов автоматизированной генерации эксплойтов повторного использования кода Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов
"... в качестве набора команд целевой архитектуры компилятора. Однако в каталоге гаджетов для конкретного ..."
 
Том 31, № 3 (2019) Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” Аннотация  похожие документы
Павел Алексеевич Порошин, Алексей Николаевич Мешков
"... в основном опираются на агрессивные оптимизации компилятора. Одним из ключевых аспектов потактово-точного ..."
 
Том 37, № 6: часть 1. ноябрь-декабрь Быстрые вызовы и раскрытие на месте: гибридная стратегия для встраиваемых функций виртуальных машин Аннотация  похожие документы
Денис Владиславович ЗАВЕДЕЕВ, Роман Александрович ЖУЙКОВ, Леонид Владленович СКВОРЦОВ, Михаил Вячеславович ПАНТИЛИМОНОВ
"... в нескольких современных компиляторах виртуальных машин: в виртуальной машине Java HotSpot и в Android RunTime ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... анализа полученных результатов. С помощью этих средств были выявлены недочеты в работе компилятора GCC ..."
 
Том 21 (2011) Поддержка команд с условным выполнением в селективном планировщике команд Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Александр Монаков
"... команд. Предложенный метод был реализован в селективном планировщике в компиляторе GCC. Тестирование ..."
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... реализации предлагаемого метода в промышленном компиляторе. Приводятся экспериментальные результаты ..."
 
Том 33, № 1 (2021) Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... скорости и низком уровне ложных срабатываний (< 20–35 %). Для поиска ошибок Svace с помощью компилятора ..."
 
Том 33, № 5 (2021) Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Аннотация  похожие документы
Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА
"... этого единого текста, зависит от того, каким компилятором он компилируется (обычным, таким, как gcc, icc ..."
 
Том 38, № 2: март-апрель Уроки эволюции С-кода и шаблоны архитектуры реального времени на основе проекта ioquake3 Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ
"... В современных компиляторах все сильнее действуют запреты на код, который может выполнять ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... В данной работе описывается проделанная с компилятором GCC работа по адаптации имеющегося алгоритма ..."
 
Том 29, № 3 (2017) Анализ программ на языке Java в инструменте Svace Аннотация  PDF (Rus)  похожие документы
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев
"... анализа Java, включая изменения в компоненте контролируемой сборки, доработки компилятора OpenJDK ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... о корректности компилятора. Однако это может быть неприемлемо для критически важных систем. Поскольку на данный ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... на работу компилятора в месте вызова. Реализация вызовов внешних функций в виде косвенных переходов ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... и компилятор языка Си. Си-программа может одинаково выполняться на различных процессорных архитектурах, если ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... [1]. Рассматривается методика замещения кода функций во время исполнения, реализованная в динамическом компиляторе LLVM ..."
 
1 - 27 из 27 результатов

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

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