Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 2 (2022) Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» Аннотация  похожие документы
Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ
"... One of the key aspects of the correctness of the memory subsystem of a microprocessor is its ..."
 
Том 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 ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... memory requirements for parameterized verification are negligible and the amount of manual work needed ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... State of the art microprocessor systems usually include complex hierarchy of a cache memory ..."
 
Том 32, № 2 (2020) Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» Аннотация  похожие документы
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ
"... Performance characteristics of any modern microprocessor largely depend on its memory subsystem ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... microprocessors caches. Common properties of memory subsystem devices and those specific to caches are described ..."
 
Том 18 (2010) Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин
"... The article is devoted to core-level functional verification of memory management units ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... A method of direct memory access subsystem verification used for “Elbrus” series microprocessors ..."
 
Том 28, № 4 (2016) Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций Аннотация  похожие документы
А. С. Камкин, А. М. Коцыняк
"... In this paper, a tool for automatically generating test programs for MIPS64 memory management units ..."
 
Том 27, № 4 (2015) Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Аннотация  PDF (Rus)  похожие документы
Е. А. Велесевич
"... as a memory write issued by one thread between two consecutive memory accesses issued by another thread ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... Обеспечение корректности микропроцессоров и другой микроэлектронной аппаратуры является ..."
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... In this work, an approach to generate test programs for functional verification of memory ..."
 
Том 27, № 3 (2015) О реализации формального метода верификации масштабируемых систем с когерентной памятью Аннотация  PDF (Rus)  похожие документы
Владимир Буренков
"... В работе приведен анализ существующих методов верификации протоколов когерентности кэш-памяти ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... of various types and is notable for its complex organization of virtual memory, which includes hardware ..."
 
Том 37, № 3 (2025) Поиск утечек памяти и ресурсов в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ
"... The paper presents an approach to detecting memory and other resource leaks in the Svace static ..."
 
Том 33, № 6 (2021) Обзор методов функционального онлайн-тестирования микропроцессоров Аннотация  PDF (Rus)  похожие документы
Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО
"... , пропущенные при функциональной верификации на до-производственном этапе. Тесты для микропроцессоров обычно ..."
 
Том 35, № 3 (2023) Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти Аннотация  похожие документы
Игорь Андреевич ПАРФЕНОВ
"... with direct memory access and address arithmetic, and a simple static analyzer for memory leaks. Our study ..."
 
Том 31, № 5 (2019) Компиляция модели памяти OCaml в Power Аннотация  PDF (Rus)  похожие документы
Егор Сергеевич Намаконов, Антон Викторович Подкопаев
"... The development of memory models aimed at solving various concurrency problems is an active ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
"... Memory errors in Linux kernel drivers are a kind of serious bugs that can lead to dangerous ..."
 
Том 36, № 3 (2024) Статическое распределение памяти для операционных систем реального времени Аннотация  PDF (Rus)  похожие документы
Софья Анатольевна ЗЕЛЕНОВА
"... in this direction through the memory management facilities. In this paper we present a new approach of static memory ..."
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... that can be used for static verification is a tool called CPAchecker. The problem of the current memory ..."
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... memory model. To show that the model might be used as a part of an industrial language standard ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... The paper presents a survey of existing approaches to modeling memory states of C programs with SMT ..."
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... of standard Android applications, identifying several memory usage trends; lastly, we discuss possible future ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... of the required specification is correct memory usage. The article describes an efficient method for static ..."
 
Том 33, № 3 (2021) Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич КУЗНЕЦОВ, Павел Евгеньевич ВЕЛИХОВ, Цян ФУ
"... with other popular terms, hybrid transactional/analytical processing (HTAP) and in-memory data processing ..."
 
Том 27, № 6 (2015) Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... : in spite of growth of performance and memory volume of modern computers programs grow in size ..."
 
Том 27, № 5 (2015) Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... on the analysis of these expressions. In the paper we describe the verification methods with memory models based ..."
 
Том 29, № 2 (2017) Размер памяти для хранения упорядоченного корневого графа Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... The paper considers boundaries of memory necessary and sufficient for storage of undirected ordered ..."
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
"... создания тестов на основе формальных моделей. Суммируется опыт использования UniTESK в крупных проектах по ..."
 
Том 32, № 1 (2020) В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов
"... -addressable main memory (NVM) available for practical use will lead to the development of a new type of ultra ..."
 
Том 34, № 1 (2022) Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус Аннотация  PDF (Rus)  похожие документы
Александр Викторович СУРЧЕНКО
"... The tendency to increase core count in modern processor systems leads to a higher strain on memory ..."
 
Том 27, № 6 (2015) Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Аннотация  PDF (Rus)  похожие документы
И. И. Кулагин, М. Г. Курносов
"... In this paper, we investigate efficiency of software transactional memory implementation in GCC ..."
 
Том 23 (2012) Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. А. Прохоров
"... and writing to the hard disc are equal. Gradual technology improvement and cost reduction of flash memory have ..."
 
Том 31, № 5 (2019) Автоматическое доказательство корректности программ с динамической памятью Аннотация  PDF (Rus)  похожие документы
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник
"... are investigated. We introduce a novel concept of compositional symbolic memory and its relevant properties. We ..."
 
Том 37, № 3 (2025) Обзор механизмов усиления защищенности операционных систем и пользовательских приложений Аннотация  PDF (Rus)  похожие документы
Денис Валентинович ЕФРЕМОВ, Александр Константинович ПЕТРЕНКО, Борис Аронович ПОЗИН, Виталий Адольфович СЕМЕНОВ
"... applications. Various types of protection mechanisms are discussed, including memory protection mechanisms ..."
 
Том 35, № 6 (2023) Инструмент для поиска гонок по данным RaceHunter Аннотация  PDF (Rus)  похожие документы
Евгений Анатольевич ГЕРЛИЦ
"... Data races are a class of concurrency errors where two threads access a shared memory location ..."
 
Том 30, № 1 (2018) Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша Аннотация  PDF (Rus)  похожие документы
Е. И. Гусев
"... This article is based on a thesis “Techniques of organizations shared access to distributed memory ..."
 
1 - 39 из 233 результатов 1 2 3 4 5 6 > >> 

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

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