Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... to combine the pre- and postcondition specifications with the machine code behavior model. The paper presents ..."
 
Том 37, № 1 (2025) Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ПРОЦЕНКО
"... Nowadays, programming languages that use language virtual machines (VMs) in their infrastructure ..."
 
Том 33, № 5 (2021) Формальный язык первичных спецификаций криптографических протоколов Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич ПРОКОПЬЕВ
"... . Protocol specification is defined as a program of the C2-machine. This program consists of two parts ..."
 
Том 30, № 3 (2018) Нотация криптографической стековой машины версии один Аннотация  похожие документы
С. Е. Прокопьев
"... A worthy cryptographic protocol specification has to be human-readable (declarative and concise ..."
 
Том 37, № 2 (2025) Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования Аннотация  PDF (Rus)  похожие документы
Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН
"... using a combination of differentiable programming and machine learning methods. It is shown ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... , it disassembles the machine code, extracts its semantics, adapts the high-level specifications, and generates ..."
 
Том 28, № 5 (2016) Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов
"... The language FlexT (Flexible Types) is intended for specification of binary data formats ..."
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... software because even fully verified code cannot guarantee the correct generation of machine code ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... of decoder implementations. In this paper, we propose an approach to decoding machine instructions ..."
 
Том 33, № 4 (2021) Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН
"... менее востребованы средства фаззинга бинарного кода, обеспечивающие поиск критических дефектов в уже ..."
 
Том 33, № 6 (2021) Модель и декларативный язык спецификации бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН
"... of computability of fields. The paper also presents a domain-specific language for data format specification ..."
 
Том 19 (2010) Моделирование операционной семантики машинных инструкций Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, М. А. Соловьев, А. И. Кононов
"... This paper offers a model which allows describe operational semantics of machine instructions ..."
 
Том 29, № 4 (2017) Контрактный метод спецификации реактивных требований Аннотация  похожие документы
А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль
"... scheme from temporal specifications to contract-equipped object-oriented programs, expressed in Eiffel ..."
 
Том 35, № 6 (2023) Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич ПРОКОПЬЕВ
"... working on the basis of specifications written in a declarative interoperable domain-specific language ..."
 
Том 22 (2012) Финальные модели спецификации Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... against requirements given in specifications. Such testing is based on interaction semantics defining test ..."
 
Том 27, № 3 (2015) Бесшовная разработка программного обеспечения: применимость на примере Аннотация  PDF (Rus)  похожие документы
Александр Наумчев
"... framework to express both domain and machine properties. The paper describes the solution, discusses its ..."
 
Том 30, № 2 (2018) Автоматизированная генерация декодеров машинных команд Аннотация  PDF (Rus)  похожие документы
Н. Ю. Фокина, М. А. Соловьев
"... This paper proposes a method of automated generation of machine instruction decoders for various ..."
 
Том 35, № 3 (2023) Фреймворк для анализа использования машинных инструкций Аннотация  похожие документы
Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА
"... machine instructions or their groups in the machine code of programs. This paper describes a new framework ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... as “dispatching” can be used to transform application control flow similarly to virtual machine insertion. Our ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..."
 
Том 35, № 5 (2023) Извлечение именованных сущностей из рецензий к исходному коду Аннотация  PDF (Rus)  похожие документы
Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ
"... В данной статье рассматривается задача извлечения именованных сущностей из рецензий исходного кода ..."
 
Том 33, № 6 (2021) Технический долг в жизненном цикле разработки ПО: запахи кода Аннотация  PDF (Rus)  похожие документы
Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ
"... with a false positive filtering system based on machine learning methods. ..."
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
"... automatically generating Kotlin language tests from natural language specification.  ..."
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... устройств, составляет несколько миллионов строк кода на языке программирования Си/Си++ и языке ассемблера. С ..."
 
Том 27, № 4 (2015) Библиотека ограничений для спецификации индустриальных моделей данных Аннотация  PDF (Rus)  похожие документы
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан
"... and on development of new ones. Utilizing the constraint library users can improve clearness of the specifications ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... and optimized machine code execution. This requirement can be satisfied only when the amount of data ..."
 
Том 32, № 6 (2020) Мониторинг и тестирование на основе многоуровневых спецификаций программ Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ
"... specifications using incremental and iterative development methodologies. The presence of several levels ..."
 
Том 30, № 5 (2018) Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... The article describes TLA+ access control model specification for computer systems, ensuring ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... A lot of binary code analysis tools do not work directly with machine instructions, instead relying ..."
 
Том 36, № 3 (2024) Обнаружение вредоносной активности в проектах с открытым исходным кодом с помощью методов машинного обучения Аннотация  похожие документы
Станислав Александрович РАКОВСКИЙ
"... платформой с открытым исходным кодом: каждый может зарегистрировать пользователя в PyPI и опубликовать свой ..."
 
Том 18 (2010) Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций Аннотация  PDF (Rus)  похожие документы
М. М. Чупилко
"... . Brief analysis of the ways to develop test systems based on formal specifications is made in the paper ..."
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... by a non-standard virtual machine with bytecode format different from Java Virtual Machine specifications ..."
 
Том 36, № 3 (2024) Декларативный подход к задаче интроспекции виртуальной машины Аннотация  PDF (Rus)  похожие документы
Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА
"... The prominent problem in memory dump analysis and virtual machine introspection approaches ..."
 
Том 34, № 5 (2022) Способ оценки похожести программ методами машинного обучения Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ
"... . This vector is then used to decide on the similarity or dissimilarity of programs using machine learning ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... UniTESK (UNIfied TEsting and Specification toolKit) is a testing technology based on formal models ..."
 
Том 33, № 6 (2021) Возможности и ограничения инструментов верификации моделей программ Аннотация  похожие документы
Евгений Михайлович НОВИКОВ
 
Том 30, № 5 (2018) Проверка функциональных свойств смарт-контрактов методом символьной верификации модели Аннотация  PDF (Rus)  похожие документы
Е. С. Шишкин
"... properties of Ethereum smart contracts against its formal specification that can be given using four ..."
 
Том 27, № 2 (2015) Об особенностях детерминированного воспроизведения при минимальном наборе устройств Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян
"... of virtual machine which execution is being replayed. For replay to be deterministic the implementation must ..."
 
1 - 39 из 525 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> 

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

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