Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 1 (2020) Разработка алгоритма распознавания движений человека методами компьютерного зрения в задаче нормирования рабочего времени Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Штехин, Денис Константинович Карачев, Юстина Алексеевна Иванова
"... : humans bounding boxes coordinates detection in video frames; human pose estimation: parametric points ..."
 
Том 32, № 4 (2020) Эффективные методы и алгоритмы синтеза видео 360 градусов на основе кубической проекции виртуального окружения Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК, Евгений Михайлович ВОЖЕГОВ
"... The paper deals with the task of creation and playback of panoramic video with 360-degree overview ..."
 
Том 29, № 4 (2017) Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков Аннотация  похожие документы
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина
"... This article describes our ongoing research on real-time digital video stabilization using MEMS ..."
 
Том 27, № 2 (2015) Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода Аннотация  PDF (Rus)  похожие документы
Севак Саргсян
"... The paper describes a method for semantic errors detection arising during incorrect code copy-paste ..."
 
Том 31, № 1 (2019) Методы идентификации человека по походке в видео Аннотация  PDF (Rus)  похожие документы
Анна Ильинична Соколова, Антон Сергеевич Конушин
"... in various areas where video surveillance systems can be used. With the development of computer vision ..."
 
Том 27, № 2 (2015) Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов
"... In this paper memory violation detection method is considered. This method applied to program ..."
 
Том 31, № 3 (2019) Поиск уязвимостей при помощи статического анализа помеченных данных Аннотация  похожие документы
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев
"... by a remote user via manipulation of program input. This paper presents the approach for automatic detection ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... для робота, перемещаемого в статическом и динамическом трехмерном окружении. Организация среды в виде ..."
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... . The described approach to the organization of concurrent error-detection (CED) systems allows to increase ..."
 
Том 25 (2013) Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге Аннотация  PDF (Rus)  похожие документы
Н. Г. Зельцер
"... The article discusses the possibility to combine automatic refactoring with detection of repeating ..."
 
Том 32, № 4 (2020) Двухшаговый метод объединения новостей в сюжеты Аннотация  PDF (Rus)  похожие документы
Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ
"... science. The paper is devoted to the part of the news stream analysis which is called “event detection ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... The paper describes static analysis techniques that are used for defect detection in C# programs ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
 
Том 31, № 4 (2019) Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах Аннотация  PDF (Rus)  похожие документы
Денис Владимирович Силаков
"... The paper is devoted to the problem of early error detection and analysis in hyperconverged ..."
 
Том 30, № 4 (2018) Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков Аннотация  похожие документы
А. Р. Поляков, А. В. Корнилова, Я. А. Кириленко
"... reconstruction, video compression, augmented reality), which use frames and sensor’s data, to a wider range ..."
 
Том 32, № 1 (2020) BSQ-rate: новый подход к сравнению производительности видеокодеков и недостатки существующих решений Аннотация  PDF (Rus)  похожие документы
Анастасия Всеволодовна Звездакова, Дмитрий Леонидович Куликов, Сергей Васильевич Звездаков, Дмитрий Сергеевич Ватолин
"... This paper is dedicated to the analysis of the existing approaches to video codecs comparisons ..."
 
Том 27, № 3 (2015) Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU Аннотация  PDF (Rus)  похожие документы
А. А. Цыганов
"... vector video with general-purpose computations on graphical processor unit (GPGPU) is discussed. The use ..."
 
Том 26, № 4 (2014) Лингвистический подход к определению суицида Аннотация  PDF (Rus)  похожие документы
Л. М. Ермакова, С. А. Ермаков
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... with summation of weighted transitions in comparison with Berger codes also have improved error detection ..."
 
Том 28, № 4 (2016) Обзор современных методов планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
 
Том 24 (2013) Автоматический поиск ошибок синхронизации в приложениях на платформе Android Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, С. П. Вартанов, М. К. Ермаков
"... This paper describes issues related to automatic detection of concurrency defects using dynamic ..."
 
Том 21 (2011) Применение алгебры подстановок для унификации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... detection, require an efficient toolset for detecting pieces of code that have similar behavior. Current ..."
 
Том 25 (2013) Определение демографических атрибутов пользователей микроблогов Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков
"... is proposed for automatic detection of demographic attributes of Twitter users by analyzing their textual ..."
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... Developed method, which is described in this paper, is capable of automated detection ..."
 
Том 30, № 3 (2018) Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах Аннотация  PDF (Rus)  похожие документы
В. Ю. Трифанов
"... data and at least of them writes. Two main approaches to automatic race detection - static and dynamic ..."
 
Том 28, № 6 (2016) Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Аннотация  похожие документы
Михаил Дробышевский, Антон Коршунов, Денис Турдаков
 
Том 25 (2013) Применение динамического анализа для поиска дефектов в программах на языке Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... implementation of these techniques for automatic software defect detection. The paper focuses on program dynamic ..."
 
Том 25 (2013) Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
 
Том 23 (2012) Комбинирование признаков для извлечения тематических цепочек в новостном кластере Аннотация  PDF (Rus)  похожие документы
А. А. Алексеев, Н. В. Лукашевич
"... expression extraction and main entity detection. At the end of cluster processing we obtain groups of near ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... predicate detection is extraction of predicate code via dynamic program slicing. Next, we apply some ..."
 
Том 30, № 6 (2018) Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Аннотация  похожие документы
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков
"... static path detection in the control flow graph of a program. Detected paths are used in dynamic symbolic ..."
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
"... An automatic program defect detection is extremely important direction of current research ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... The article describes new method of use after free bug detection using program dynamic analysis ..."
 
Том 26, № 3 (2014) Статический поиск ошибок повторной блокировки семафора Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин
 
Том 28, № 5 (2016) Поиск ошибок выхода за границы буфера в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан
 
Том 23 (2012) Обнаружение периодических наборов событий во временных базах данных Аннотация  PDF (Rus)  похожие документы
Е. A. Иванникова.
"... sets detection and suggest the method for its solution. The existing algorithms for the periodic event ..."
 
Том 30, № 5 (2018) Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, Н. Е. Малышев
"... . The aim of this study is to develop a detection algorithm that will cover such cases, will produce at most ..."
 
Том 31, № 4 (2019) Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей
"... . The format developed provides a compact representation of neighboring repeated frames. Transforming scenario ..."
 
1 - 40 из 208 результатов 1 2 3 4 5 6 > >> 

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

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