Сортировать по:
Выпуск | Название | |
Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) похожие документы |
Евгений Анатольевич ГЕРЛИЦ | ||
"... without proper synchronization. Data races are hard to reveal and debug. This paper presents RaceHunter ..." | ||
Том 27, № 5 (2015) | Метод легковесного статического анализа для поиска состояний гонок | Аннотация PDF (Rus) похожие документы |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
"... The paper presents an approach to lightweight static data race detection, called CPALockator ..." | ||
Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... This article presents a dynamic analysis approach to automatic detection of race conditions ..." | ||
Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
В. Ю. Трифанов | ||
"... Data race occurs in multithreaded program when several threads simultaneously access same shared ..." | ||
Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Павел Сергеевич Андрианов | ||
"... actions over the shared data and synchronization primitives, and conditions for its application. Adjusting ..." | ||
Том 37, № 1 (2025) | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
"... , specifically data races. We design a test automation framework to develop data race revealing testing scenarios ..." | ||
Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
"... The paper presents a configurable method of static data race detection that is trying to keep ..." | ||
Том 30, № 4 (2018) | Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков | Аннотация похожие документы |
А. Р. Поляков, А. В. Корнилова, Я. А. Кириленко | ||
"... This article describes our ongoing research on auto-calibration and synchronization of camera ..." | ||
Том 33, № 4 (2021) | Об одном методе синхронизации состояния алгоритма обработки пакетов в сетевом процессорном устройстве | Аннотация похожие документы |
Ярослав Константинович КУЗЬМИН, Дмитрий Юрьевич ВОЛКАНОВ, Юлия Александровна СКОБЦОВА | ||
"... architecture modifications that allow to use stateful data-plane algorithms that require state synchronization ..." | ||
Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) похожие документы |
Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
Том 24 (2013) | Автоматический поиск ошибок синхронизации в приложениях на платформе Android | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, С. П. Вартанов, М. К. Ермаков | ||
"... В данной статье рассматривается задача автоматического поиска ошибок синхронизации при проведении ..." | ||
Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация похожие документы |
Р. А. Нестеров, И. А. Ломазова | ||
Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, А. В. Хорошилов | ||
"... to a specification of a synchronization discipline. The approach is demonstrated on examples of spinlock ..." | ||
Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
К. А. Батузов | ||
"... such synchronisation point. Synchronization points are connected components in graph GE which is a graph where arcs ..." | ||
Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
В. А. Платонов, А. В. Монаков | ||
"... each process has to stop until all others reach this point, like in a barrier synchronization. We ..." | ||
Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
Сергей Михайлович СТАРОЛЕТОВ | ||
"... for working with synchronization primitives and processes awaiting, user code which consists of several ..." | ||
Том 34, № 2 (2022) | Паттерны проектирования для аналитической платформы, основанной на знаниях | Аннотация похожие документы |
Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ | ||
"... , domain-specific languages (DSLs) generation and source code round-trip synchronization with DSL-models. ..." | ||
Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) похожие документы |
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
"... and synchronization of access to shared resources. The technology is proposed, which "encapsulates" the hybrid ..." | ||
Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
"... behavior caused by data races. To use this model in practice one has to prove the correctness of its ..." | ||
Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... to), specific (faults related to misuses of the Linux kernel API) and synchronization (faults related ..." | ||
Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) похожие документы |
Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
"... a specific benchmark for measuring the parameters that characterize the communication and synchronization ..." | ||
Том 29, № 4 (2017) | Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков | Аннотация похожие документы |
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина | ||
"... and sensors, synchronization of the camera and sensors, increasing the accuracy of determining the camera ..." | ||
Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
"... of semaphores, mutexes, and other synchronization tools, as well as the queue of control flows waiting ..." | ||
Том 35, № 5 (2023) | Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания | Аннотация PDF (Rus) похожие документы |
Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА | ||
"... of matrix-vector operations in a usual iterative solver. It requires several synchronization points ..." | ||
Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
"... shader generation, resource binding, and the use of synchronization mechanisms (Vulkan barriers ..." | ||
Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... поиска ошибок синхронизации. ..." | ||
Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
"... , но и необходимостью синхронизации строк запуска записи и воспроизведения. Машины могут иметь разный ..." | ||
Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков | ||
"... printing, taint trace dumping, and synchronization events trace generation. Coffee Machine uses BCEL ..." | ||
Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
"... that assume we know the full class hierarchy and specific Java checkers including synchronization issue ..." | ||
Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
А. В. Цыварев, В. А. Мартиросян | ||
"... with additional checks for data races. Fault scenarios with insufficient memory and faulty block devices using ..." | ||
Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
"... рассматривается применение особенности реализации инструмента обнаружения ошибок синхронизации параллельных ..." | ||
Том 33, № 1 (2021) | Цифровые двойники в туманных вычислениях: организация обработки данных с сохранением состояния на базе микропотоков работ | Аннотация PDF (Rus) похожие документы |
Амир Басим Абдуламир АЛААСАМ, Глеб Игоревич РАДЧЕНКО, Андрей Николаевич ЧЕРНЫХ, Хосе Луис ГОНСАЛЕС-КОМПЕАН | ||
"... синхронизации своего состояния с сущностями физического мира. Концепция потоковых вычислений позволяет ..." | ||
1 - 32 из 32 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)