Сортировать по:
| Выпуск | Название | |
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... -formulas in context of static verification. The paper highlights the essential problems of C memory model ..." | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| "... The development of memory models aimed at solving various concurrency problems is an active ..." | ||
| Том 35, № 3 (2023) | Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти | Аннотация похожие документы |
| Игорь Андреевич ПАРФЕНОВ | ||
| "... for imperative programming languages with decidable pointer arithmetic but differs by memory address model – we ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| "... A method of direct memory access subsystem verification used for “Elbrus” series microprocessors ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... model used by the tool is that if a function returning a pointer to program's memory lacks a body ..." | ||
| Том 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 ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
| А. А. Васильев | ||
| "... an on-demand memory conception for simplification of kernel API models and implemented this conception ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... and memory) do not depend on the number of processors in the system under verification. The method ..." | ||
| Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... on the analysis of these expressions. In the paper we describe the verification methods with memory models based ..." | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
| Александр Камкин, Михаил Петроченков | ||
| "... The paper describes a method for constructing test oracles for memory subsystems of multicore ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... that verification efforts do not depend on the model size (that is, the number of processors in the system under ..." | ||
| Том 32, № 2 (2020) | Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» | Аннотация похожие документы |
| Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ | ||
| "... . Naturally, the memory subsystem software model is an important component of the cycle-accurate simulator ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| "... invariants, hard enough to model using existing logic theories, despite it is not a problem for concrete ..." | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... verification of memory subsystem units is presented. Classification of checking model types ..." | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| "... One of the key aspects of the correctness of the memory subsystem of a microprocessor is its ..." | ||
| Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
| Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
| "... of the required specification is correct memory usage. The article describes an efficient method for static ..." | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| "... microprocessors caches. Common properties of memory subsystem devices and those specific to caches are described ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... and memory between isolated partitions. Model-based Checking is a formal verification technique in which ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... performance of parallel application due to usage of shared memory and lower overhead. An extension of model ..." | ||
| Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
| Е. А. Велесевич | ||
| "... as a memory write issued by one thread between two consecutive memory accesses issued by another thread ..." | ||
| Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
| Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
| "... and shadow memory model. As a practical application for theoretical basis an implementation of the analysis ..." | ||
| Том 31, № 3 (2019) | Автономная верификация IOMMU с поддержкой виртуализации | Аннотация похожие документы |
| Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков | ||
| "... This article presents an approach to standalone verification of I/O Memory Management Unit ..." | ||
| Том 30, № 5 (2018) | Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... The article describes TLA+ access control model specification for computer systems, ensuring ..." | ||
| Том 36, № 3 (2024) | Статическое распределение памяти для операционных систем реального времени | Аннотация PDF (Rus) похожие документы |
| Софья Анатольевна ЗЕЛЕНОВА | ||
| "... in this direction through the memory management facilities. In this paper we present a new approach of static memory ..." | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| "... . The contribution of this work is as follows: (1) a formal model of compositional symbolic memory is proposed; (2 ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... the «memory leak», the dynamics of the processor states and control flows (profiling), the states ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... of standard Android applications, identifying several memory usage trends; lastly, we discuss possible future ..." | ||
| Том 37, № 4: часть 1. июль-август | Управление батареей электромобиля на основе машинного обучения и ПЛИС | Аннотация PDF (Rus) похожие документы |
| Ратинараджан Дейзи МЕРИНА, Радхакришнан Саравана РАМ, Лордвин Сесил Прабхакер МАЙКЛ | ||
| "... estimating the SoC of the Li-ion battery using a Long Short-Term Memory Neural Network (LSTM-NN) model while ..." | ||
| Том 31, № 2 (2019) | Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных | Аннотация PDF (Rus) похожие документы |
| Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду | ||
| "... Average) with LSTM (Long-Short Time Memory) and GRU (Gated Recurrent Unit) recurrent neural networks (RNN ..." | ||
| Том 33, № 3 (2021) | Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич КУЗНЕЦОВ, Павел Евгеньевич ВЕЛИХОВ, Цян ФУ | ||
| "... with other popular terms, hybrid transactional/analytical processing (HTAP) and in-memory data processing ..." | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| "... and algorithms for discovery and analysis of business process models based on event logs. Process mining has ..." | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
| Владимир Буренков | ||
| "... and examination of the corresponding Promela model of the German cache coherence protocol and discusses extension ..." | ||
| Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The paper considers boundaries of memory necessary and sufficient for storage of undirected ordered ..." | ||
| Том 37, № 4: часть 2. июль-август | Распределенная платформа для анализа масштабных данных с использованием биоподобных сенсомоторных алгоритмов | Аннотация похожие документы |
| Данил Петрович ПОТАПОВ, Сергей Михайлович СТАРОЛЕТОВ | ||
| "... streaming data is complex and necessitates the development of effective models that can adaptively retrain ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... on different hardware; the hardware often has limited memory. Embedded OS contains many features and drivers ..." | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... process model, typically represented by a Petri net, and a corresponding event log fit each other ..." | ||
| Том 37, № 3: май-июнь | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| "... The paper presents an approach to detecting memory and other resource leaks in the Svace static ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... without losing the model's semantics is proposed. Existing problem of generating test cases for real ..." | ||
| Том 32, № 1 (2020) | В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Кузнецов | ||
| "... -addressable main memory (NVM) available for practical use will lead to the development of a new type of ultra ..." | ||
| Том 32, № 2 (2020) | Векторные модели на основе символьных н-грамм для морфологического анализа текстов | Аннотация PDF (Rus) похожие документы |
| Цолак Гукасович ГУКАСЯН | ||
| "... , as a result of storing vectors for whole words, fastText models usually require a lot of memory for storage ..." | ||
| Том 34, № 1 (2022) | Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус | Аннотация PDF (Rus) похожие документы |
| Александр Викторович СУРЧЕНКО | ||
| "... The tendency to increase core count in modern processor systems leads to a higher strain on memory ..." | ||
| 1 - 41 из 644 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
