Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... model to an axiomatic ARMv8.3 memory model. The subset contains relaxed memory accesses and release ..."
 
Том 31, № 5 (2019) Компиляция модели памяти OCaml в Power Аннотация  PDF (Rus)  похожие документы
Егор Сергеевич Намаконов, Антон Викторович Подкопаев
"... The development of memory models aimed at solving various concurrency problems is an active ..."
 
Том 28, № 6 (2016) Динамическая компиляция SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев
"... In recent years, as performance and capacity of main and external memory grow, performance ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... with the same name. The newest architecture of this family, ARMv8, contains a large number of instructions ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... As the efficiency of main and external memory grows, alongside with decreasing hardware costs ..."
 
Том 29, № 3 (2017) Обзор методов динамической компиляции запросов Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий
"... планов запросов, является компиляция запросов в исполняемый код во время выполнения (динамическая ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... In recent years, as performance and capacity of main and external memory grow, performance ..."
 
Том 22 (2012) Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... on ARM embedded devices we have achieved the memory consumption reduction of up to 10% and 10-20% compile ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
"... Memory errors in Linux kernel drivers are a kind of serious bugs that can lead to dangerous ..."
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... that can be used for static verification is a tool called CPAchecker. The problem of the current memory ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... The paper presents a survey of existing approaches to modeling memory states of C programs with SMT ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... A method of direct memory access subsystem verification used for “Elbrus” series microprocessors ..."
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... При построении системы компиляции для языков общего назначения, учитывающей специфические ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... of the required specification is correct memory usage. The article describes an efficient method for static ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
 
Том 27, № 5 (2015) Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... on the analysis of these expressions. In the paper we describe the verification methods with memory models based ..."
 
Том 31, № 3 (2019) Автономная верификация IOMMU с поддержкой виртуализации Аннотация  похожие документы
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков
"... This article presents an approach to standalone verification of I/O Memory Management Unit ..."
 
Том 27, № 3 (2015) Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Аннотация  PDF (Rus)  похожие документы
Александр Камкин, Михаил Петроченков
"... The paper describes a method for constructing test oracles for memory subsystems of multicore ..."
 
Том 28, № 4 (2016) Проверка параметризованных Promela-моделей протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков, А. С. Камкин
"... and memory) do not depend on the number of processors in the system under verification. The method ..."
 
Том 30, № 6 (2018) Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 Аннотация  PDF (Rus)  похожие документы
А. М. Водовозов, Д. С. Полетаев
"... We consider the problem of using processors with an ARMv8 architecture to speed up the operation ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... итераций цикла. Все предложенные методы реализованы и используются в процессе компиляции оптимизирующими ..."
 
Том 32, № 2 (2020) Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» Аннотация  похожие документы
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ
"... Performance characteristics of any modern microprocessor largely depend on its memory subsystem ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... основном используется многоуровневая динамическая компиляция. В данной работе описываются разработанные ..."
 
Том 26, № 1 (2014) Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища Аннотация  PDF (Rus)  похожие документы
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян
"... В статье описывается метод двухфазной компиляции программ на языках Си/Си++, позволяющий ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... компиляции, позволяющей распространять такие приложения в промежуточном представлении LLVM [1 ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... State of the art microprocessor systems usually include complex hierarchy of a cache memory ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... memory requirements for parameterized verification are negligible and the amount of manual work needed ..."
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
"... предварительной компиляции программ на языке JavaScript с их сохранением в виде байткода, что позволяет сократить ..."
 
Том 27, № 6 (2015) Методы предварительной оптимизации программ на языке JavaScript Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Евгений Шарыгин
"... Современные виртуальные машины для языка JavaScript используют многоуровневую компиляцию во время ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... В статье предлагаются методы, делающие возможной компиляцию программ на языке JavaScript в ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... microprocessors caches. Common properties of memory subsystem devices and those specific to caches are described ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... новый метод инструментирования кода программы на этапе компиляции. Особенностью описываемого в статье ..."
 
Том 27, № 4 (2015) Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Аннотация  PDF (Rus)  похожие документы
Е. А. Велесевич
"... as a memory write issued by one thread between two consecutive memory accesses issued by another thread ..."
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... , it works only with buffers on stack or on static memory with compile-time known size. We propose a formal ..."
 
Том 28, № 1 (2016) Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... использованием моделей турбулентности Смагоринского, Спаларта - Аллмараса, , и SST в рамках RANS, LES и DES ..."
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
"... for program defect detection and implementation of analyzer of memory buffer bounds violation based ..."
 
Том 23 (2012) Расширение модели ParJava для случая кластеров с многоядерными узлами Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... At the beginning of 2000 each node of high performance cluster with distributed memory contained ..."
 
Том 26, № 3 (2014) Обзор масштабируемых систем межмодульных оптимизаций Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... applications because of significant time and memory consumption. Compiler frameworks that could solve ..."
 
Том 32, № 4 (2020) CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ
"... of a bug fix from the software developer. The article introduces CASR: a tool for analyzing a memory image ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... on different hardware; the hardware often has limited memory. Embedded OS contains many features and drivers ..."
 
1 - 40 из 370 результатов 1 2 3 4 5 6 7 8 9 10 > >> 

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

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