Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 3 (2024) Точный метод отслеживания объектов в реальном времени для устройств с ограниченными ресурсами Аннотация  похожие документы
Армен САРДАРЯН, Вардан СААКЯН, Ваагн МЕЛКОНЯН, Севак САРГСЯН
"... This paper addresses the challenge of single-object tracking on resource-constrained devices ..."
 
Том 33, № 1 (2021) Интеллектуальный метод автоматического отслеживания объектов путем интеграции лазерного сканирования и инерциальной навигации Аннотация  PDF (Rus)  похожие документы
Хулио Сезар РОДРИГЕС-КИНЬОНЕС
 
Том 36, № 5 (2024) Идентификация реквизитов сборки через отслеживание системных вызовов Аннотация  PDF (Rus)  похожие документы
Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ
"... and weaknesses. The buildography tool is presented that provides logging of the build process by tracking system ..."
 
Том 34, № 5 (2022) Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ
"... attention during an analysis. At the heart of the Natch tool lay improved methods of tainted data tracking ..."
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QEMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
"... В работе рассматривается подход к отслеживанию файловых операций с помощью перехвата запросов к ..."
 
Том 26, № 1 (2014) Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов
"... scheduling tools like fundamental Critical Path Method (CPM) and various methods for Resource Constrained ..."
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... attention is paid to resource-constrained project scheduling problems. These problems are widely used ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... Tracking and verification of data flows includes set of techniques that can be applied to make ..."
 
Том 26, № 4 (2014) Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса Аннотация  PDF (Rus)  похожие документы
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... . This algorithm is path-sensitive and supports tracking several kinds of value relations such as arithmetic ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... for these tasks. In the context of this work a new method of using shadow memory for storing and tracking register ..."
 
Том 36, № 3 (2024) О методах извлечения алгоритмов из бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН
"... is implemented in the form of analysis of dynamic slices. The method is based on an algorithm for tracking data ..."
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
"... handling are essential. An analysis can really benefit from tracking affine relations between variables ..."
 
Том 29, № 5 (2017) Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Аннотация  похожие документы
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев
"... as the development of plugin for JIRA tracking system. ..."
 
Том 30, № 6 (2018) Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... ThreadSanitizer Offline tool utilizing two distinct methods: happens-before relation tracking and lock set ..."
 
Том 33, № 5 (2021) Управление требованиями при обучении профессиональных руководителей проектов Аннотация  похожие документы
Ванесса Атенеа ВАРГАС-ПЕРЕС, Лаура Сильвия ВАРГАС-ПЕРЕС, Агустин Франсиско ГУТЬЕРРЕС-ТОРНЕС, Ана Мария СОТО-ЭРНАНДЕС, Эдгардо Мануэль ФЕЛИПЕ-РИВЕРОН
"... отслеживание разнообразных требований всех пользователей от начала до конца проекта любого типа ..."
 
Том 29, № 2 (2017) Математическая формализация задач проектного планирования в расширенной постановке Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... mathematical statement of RCPSP problems (Resource-Constrained Project Scheduling Problem) and a short ..."
 
Том 25 (2013) Применение динамического анализа для поиска дефектов в программах на языке Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... динамического анализа программ на основе инструментации, отслеживания потока помеченных данных и генерации ..."
 
Том 29, № 6 (2017) Трехмерный численный анализ прорыва плотины с использованием OpenFOAM Аннотация  похожие документы
Э. Санчес-Кордеро, М. Гомез, Э. Блейд
"... , а метод жидких объёмов (VOF, Volume of Fluid) используется для отслеживания свободной поверхности ..."
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... преобразования программ для извлечения трасс выполнения, механизмы отслеживания потоков данных и построения ..."
 
Том 33, № 5 (2021) Гибкая разработка программного обеспечения для реконструкции жилья: землетрясение в Мексике в 2017 г. Аннотация  похожие документы
Хавьер ОРТИС-ЭРНАНДЕС, Виктор Хосуэ РУИС-МАРТИНЕС, Мария Ясмин ЭРНАНДЕС-ПЕРЕС, Рито МИЯРЕС-КАСТРО
"... пакетов помощи в соответствии с оценкой ущерба, логистика и отслеживание доставки пакетов помощи, принятие ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... , the framework enables to set and solve so-called RCPSP problems (Resource-Constrained Project Scheduling Problem ..."
 
Том 30, № 3 (2018) Верификация контроллеров связи в системах на кристалле Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев
"... : principles of test system design, constrained random test stimuli generation and checking of device behavior ..."
 
Том 36, № 3 (2024) Автоматизация подготовки ответов на требования налоговых органов с использованием обучения со слабым контролем Аннотация  PDF (Rus)  похожие документы
Артур Дмитриевич СОСНОВИКОВ, Денис Юрьевич ТУРДАКОВ
"... of innovative approaches in data-constrained environments. ..."
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... помощи отслеживания потока помеченных данных, построения ограничений пути и проверки их выполнимости. В ..."
 
Том 30, № 5 (2018) Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, Н. Е. Малышев
"... алгоритма отслеживания операций с целыми числами был предложен алгоритм отслеживания длин строк ..."
 
Том 33, № 3 (2021) Обзор моделей работы статических анализаторов Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... and historic data tracking. The usage recommendations, advantages and disadvantages are listed for each ..."
 
Том 29, № 1 (2017) Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Аннотация  PDF (Rus)  похожие документы
Д. И. Романова
"... Herschel-Balkley fluid as a model of snow. Air is a newtonian fluid. For tracking and locating the free ..."
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... probability heuristics to control speculative movements, register renaming limitations with tracking register ..."
 
Том 31, № 4 (2019) Средства трассировки ОС РВ семейства «Багет» Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Годунов, Федор Николаевич Чемерев
"... . Currently, almost every real-time operating system (RV OS) has event tracking software. The goal ..."
 
Том 31, № 3 (2019) Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости Аннотация  похожие документы
Михаил Михайлович Носовский, Константин Юрьевич Дегтярев
"... является использование репутационных систем для отслеживания степени доверия в среде пользователей сети ..."
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
"... существует большое множество различных средств отладки, отслеживания, трассировки написанных программ. Одним ..."
 
Том 33, № 1 (2021) Цифровые двойники в туманных вычислениях: организация обработки данных с сохранением состояния на базе микропотоков работ Аннотация  PDF (Rus)  похожие документы
Амир Басим Абдуламир АЛААСАМ, Глеб Игоревич РАДЧЕНКО, Андрей Николаевич ЧЕРНЫХ, Хосе Луис ГОНСАЛЕС-КОМПЕАН
"... эффективно обрабатывать события, генерируемые такими датчиками. Однако необходимость отслеживания состояния ..."
 
Том 27, № 1 (2015) Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... in comparison to popular dynamic instrumentation framework Valgrind and low overhead for system-wide tracking ..."
 
1 - 36 из 36 результатов

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

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