Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 20 (2011) Архитектура Linux Driver Verification Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед
"... tool for Linux device drivers. An architecture of a verification system implementing the requirements ..."
 
Том 25 (2013) Моделирование окружения драйверов устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... In static device driver verification of Linux operating system it is necessary to take into account ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... Linux driver verification is a large application area for software verification methods ..."
 
Том 22 (2012) Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... on device drivers from Linux kernel 3.0. Specifics of device drivers verification are discussed ..."
 
Том 24 (2013) Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... . To apply successfully existing tools for the Linux kernel one needs to perform componentwise verification ..."
 
Том 23 (2012) Тестирование драйверов файловых систем в ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, В. А. Мартиросян
"... The paper investigates issues of Linux file system driver testing. Linux file system drivers ..."
 
Том 27, № 5 (2015) Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, А. В. Хорошилов
"... fault injection in Linux kernel. The main goal is to test if kernel components correctly handle abnormal ..."
 
Том 22 (2012) Анализ типовых ошибок в драйверах операционной системы Linux Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... Fast evolution of the Linux operating system kernel and drivers, developed by a big programmers ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
"... Memory errors in Linux kernel drivers are a kind of serious bugs that can lead to dangerous ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... drivers, which due to various reasons have a significantly lower level of quality. One of the most ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... , board support package vendor, device driver developers, etc. These operating systems are designed to run ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... The Linux kernel is often used as a real world case study to demonstrate novel software product ..."
 
Том 32, № 3 (2020) Трассировка сетевых пакетов в ядре Linux с использованием eBPF Аннотация  похожие документы
Марк Германович КОВАЛЕВ
"... to troubleshoot such problems, their functionality is limited by the API that Linux kernel provides. Usually ..."
 
Том 23 (2012) Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков, А. В. Хорошилов
"... in the Linux Driver Verification project. The suggested approach is inferior to special querying tools ..."
 
Том 31, № 5 (2019) Анализ корректности синхронизации компонентов ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Павел Сергеевич Андрианов
"... каждого потока отдельно от всех остальных, но в некотором окружении, которое моделирует влияние потоков ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... The paper takes a look at the problem of deductive verification of Linux kernel code ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... was implemented on top of static verification framework Klever. It was evaluated by checking the Linux kernel TTY ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... in CPAchecker tool. Practical usage is demonstrated on Linux kernel modules. The practical contribution of our ..."
 
Том 27, № 5 (2015) Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... verification times on the industrial size benchmarks containing device drivers of Linux operating system. ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
"... vulnerabilities in both Linux and Windows programs, 3 of which were undocumented at the time this paper ..."
 
Том 27, № 2 (2015) Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов
"... present a tool implemented the method. We used this tool to find 11 bugs in both Linux and Windows ..."
 
Том 27, № 4 (2015) Метод поиска уязвимости форматной строки Аннотация  PDF (Rus)  похожие документы
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов
"... vulnerabilities in Linux programs. ..."
 
Том 27, № 2 (2015) Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода Аннотация  PDF (Rus)  похожие документы
Севак Саргсян
"... semantic errors for Linux kernel 2.6 and Android 4.3. For these systems, the true positive rate achieved ..."
 
Том 28, № 5 (2016) Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов
"... in Linux programs we implemented a tool based on LLVM compiler infrastructure and for Windows programs we ..."
 
Том 29, № 2 (2017) Развитие ядра операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... Existing research analyzing evolution of the Linux kernel considers the kernel together ..."
 
Том 32, № 4 (2020) Отладчик параллельных программ для ОС Linux Аннотация  PDF (Rus)  похожие документы
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ
"... / Linux operating systems, and it uses free software components such as SwingX, JHDF5, Jzy3D ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... applications, and devices’ drivers. Presented approaches differ by boundary line dividing non-deterministic ..."
 
Том 30, № 6 (2018) Конфигурационная сборка варианта ядра Linux для прикладных систем Аннотация  PDF (Rus)  похожие документы
С. В. Козин
"... The Linux operating system is a modern open operating system containing more than 10 ..."
 
Том 29, № 6 (2017) Формальная верификация библиотечных функций ядра Linux Аннотация  PDF (Rus)  похожие документы
Д. В. Ефремов, М. У. Мандрыкин
"... The paper presents result of a study on deductive verification of 26 Linux kernel library functions ..."
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... drivers consist of several million lines of code in the programming language C/C++ and in the assembly ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... В данной статье рассматриваются техника написания кода, с помощью которой можно сэкономить время ..."
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
"... various software like computer drivers, real-time systems, control procedures, online protocols etc ..."
 
Том 31, № 1 (2019) Анализ характера изменений программ и поиск неисправленных фрагментов кода Аннотация  PDF (Rus)  похожие документы
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев
"... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..."
 
Том 32, № 4 (2020) Эффективные методы и алгоритмы синтеза видео 360 градусов на основе кубической проекции виртуального окружения Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК, Евгений Михайлович ВОЖЕГОВ
"... виртуального окружения (СВО). Для решения этой задачи предлагается расширение метода проекции в кубическую ..."
 
Том 32, № 2 (2020) Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Аннотация  похожие документы
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... моделей, их преимущества и недостатки. В статье представлен подход к построению автономного окружения для ..."
 
Том 25 (2013) Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге Аннотация  PDF (Rus)  похожие документы
Н. Г. Зельцер
"... повторяющихся фрагментов исходного кода для программ на языках C/C++. Предложена классификация программных ..."
 
Том 32, № 6 (2020) Практическая абстрактная интерпретация бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН
"... для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных ..."
 
Том 32, № 4 (2020) CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ
"... OS and Linux-based OS, in particular Ubuntu. An important parameter is the severity of the error ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... , поиск ошибок производится только в той части кода, которая была непосредственно выполнена. Используется ..."
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... участка кода для достижения желаемого результата. Копирование кода может привести к появлению различных ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... код проблемных участков может отсутствовать. Приобретают популярность статические методы поиска ..."
 
Том 29, № 6 (2017) Декомпиляция объектных файлов *.dcuil Аннотация  PDF (Rus)  похожие документы
А. А. Михайлов, А. Е. Хмельнов
"... этой задачи, состоящий из ряда этапов: синтаксический анализ кода CIL; формирование графа потока ..."
 
Том 21 (2011) Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов Аннотация  PDF (Rus)  похожие документы
П. А. Клеменков
"... виртуализованного окружения из-за взаимодействий с гипервизором и другими виртуальными машинами. В этой статье ..."
 
1 - 44 из 254 результатов 1 2 3 4 5 6 > >> 

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

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