Сортировать по:
| Выпуск | Название | |
| Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
| "... рассматриваются особенности динамических оптимизаций в JIT-компиляторе для языка JavaScript, а также основные ..." | ||
| Том 28, № 1 (2016) | Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы | Аннотация PDF (Rus) похожие документы |
| В. Г. Варданян | ||
| "... программы. Метод был реализован в динамическом компиляторе языка JavaScript V8, разработанном компанией ..." | ||
| Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Евгений Шарыгин | ||
| "... Современные виртуальные машины для языка JavaScript используют многоуровневую компиляцию во время ..." | ||
| Том 27, № 6 (2015) | Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM | Аннотация PDF (Rus) похожие документы |
| В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян | ||
| "... программ на языке JavaScript. Для этого предлагается способ добавления в компилятор V8 нового уровня ..." | ||
| Том 34, № 4 (2022) | Настройка критериев планировщика СУБД с учётом динамической компиляции | Аннотация PDF (Rus) похожие документы |
| Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
| "... С разработкой динамического компилятора запросов актуальной становится задача настройки критериев ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Не LLVM единым: Исследование альтернативных методов быстрой генерации кода для компиляции запросов в PostgreSQL | Аннотация похожие документы |
| Михаил Вячеславович ПАНТИЛИМОНОВ, Рубен Артурович БУЧАЦКИЙ, Денис Владиславович ЗАВЕДЕЕВ | ||
| "... подходы изменились: вместо машинного кода начали генерировать код на языке С, который затем компилировался ..." | ||
| Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
| "... IR, что позволяет использовать один и тот же исходный код как для JIT-компилятора, так и для имеющегося ..." | ||
| Том 28, № 6 (2016) | Динамическая компиляция SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев | ||
| "... компилятор запросов реализован в виде расширения к СУБД PostgreSQL и не требует изменения исходного кода СУБД ..." | ||
| Том 33, № 4 (2021) | Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением | Аннотация PDF (Rus) похожие документы |
| Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ | ||
| "... С развитием оптимизирующих компиляторов стали возникать случаи появления уязвимостей в программах ..." | ||
| Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
| Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
| "... Многие современные СУБД предоставляют процедурное расширение декларативного языка программирования ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... . Производится обзор статических анализаторов программ на языках Python, Ruby и JavaScript. Показывается, что ..." | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| "... в виде автоматически распараллеливающего компилятора для программ на языках Си и Фортран. Для описания ..." | ||
| Том 26, № 3 (2014) | Обзор масштабируемых систем межмодульных оптимизаций | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова | ||
| "... Большинство приложений имеют модульную структуру, но оптимизация таких программ при сборке ..." | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
| И. А. Адамович, Анд. В. Климов | ||
| "... компьютерных экспериментов, чем в случае обычной оптимизации программы в компиляторах. Требуется погружение ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... В статье описываются работы, выполненные для поддержки анализа программ на языке Java в статическом ..." | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
| А. А. Белеванцев, Е. А. Велесевич | ||
| "... на языке Си или Си++, их метрики и связи между ними. Сущностями программы являются файлы, функции, классы ..." | ||
| Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
| В. Н. Игнатьев | ||
| "... Для достижения переносимости, надёжности и безопасности программ на С и С++ может применяться ..." | ||
| Том 22 (2012) | Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян | ||
| "... В статье описывается метод двухэтапной компиляции программ на языках общего назначения ..." | ||
| Том 21 (2011) | Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели | Аннотация PDF (Rus) похожие документы |
| Андрей Белеванцев, Алексей Кравец, Александр Монаков | ||
| "... циклов без зависимостей по данным между итерациями для программ на языках Си, Си++ и Фортран. Для ..." | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В работе описывается статический анализатор для поиска ошибок в программах на языке Scala ..." | ||
| Том 21 (2011) | Динамическое профилирование программы для системы LLVM | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев | ||
| "... интеграция сбора профиля и динамического компилятора LLVM, что позволило сохранять качество программ при ..." | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... для написания определенной программы, техника инструментирования кода на языке высокого уровня ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... программа компилируется в промежуточное представление LLVM компилятором Clang. По этому представлению ..." | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| "... Обнаружение мёртвого кода традиционно используется в компиляторах как один из видов оптимизации ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... корректность функций, написанных на высокоуровневых языках, таких как C или Java. Однако для критического ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... При разработке программ на языках высокого уровня, разработчикам приходится делать предположение ..." | ||
| Том 38, № 2: март-апрель | Направленный фаззинг Rust и Go с помощью LibAFL-DiFuzz | Аннотация похожие документы |
| Тимофей Павлович МЕЖУЕВ, Дарья Алексеевна ПАРЫГИНА, Даниил Олегович КУЦ | ||
| "... разработанный для приложений на языках Rust и Go. Мы предлагаем новые методы предварительной обработки программы ..." | ||
| Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация похожие документы |
| А. В. Головешкин, С. С. Михалкович | ||
| "... подробно описаны в грамматике языка, другие части программы могут быть не описаны совсем или описаны менее ..." | ||
| Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
| "... и компилятор языка Си. Си-программа может одинаково выполняться на различных процессорных архитектурах, если ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. А. Васильев | ||
| "... . Также мы допускаем отсутствие тела некоторых функций, что приводит к неполным программам, написанных ..." | ||
| 1 - 30 из 30 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
