Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 5 (2024) Идентификация реквизитов сборки через отслеживание системных вызовов Аннотация  PDF (Rus)  похожие документы
Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ
"... In this work, we discuss methods for identifying build requisites, and describe their strengths ..."
 
Том 30, № 6 (2018) Конфигурационная сборка варианта ядра Linux для прикладных систем Аннотация  PDF (Rus)  похожие документы
С. В. Козин
"... of tasks of applied systems. This paper discusses how to build a ready-made version of the operating system ..."
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QEMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
"... В работе рассматривается подход к отслеживанию файловых операций с помощью перехвата запросов к ..."
 
Том 27, № 3 (2015) Метод поиска реквизитов физических лиц в базах данных на основе нечёткого сравнения Аннотация  PDF (Rus)  похожие документы
Наталия Лиманова, Максим Седов
"... физических лиц, у которых частично или полностью не совпадают реквизиты. В работе представлены метод и ..."
 
Том 34, № 5 (2022) Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ
"... повышенное внимание. В основе инструмента Natch лежат доработанные методы отслеживания помеченных данных и ..."
 
Том 33, № 1 (2021) Интеллектуальный метод автоматического отслеживания объектов путем интеграции лазерного сканирования и инерциальной навигации Аннотация  PDF (Rus)  похожие документы
Хулио Сезар РОДРИГЕС-КИНЬОНЕС
 
Том 36, № 3 (2024) Точный метод отслеживания объектов в реальном времени для устройств с ограниченными ресурсами Аннотация  похожие документы
Армен САРДАРЯН, Вардан СААКЯН, Ваагн МЕЛКОНЯН, Севак САРГСЯН
"... В данной статье рассматривается проблема отслеживания одиночных объектов на устройствах с ..."
 
Том 31, № 1 (2019) Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов
"... верифицируются и сохранятся в репозитории ГОР и интефейсов. Представлен метод сборки ГОР: Link в среде IBM, MS ..."
 
Том 22 (2012) Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования Аннотация  PDF (Rus)  похожие документы
В. Н. Игнатьев
"... ). We also provide analyzer integration with popular build systems so that the source files used ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
 
Том 29, № 3 (2017) Анализ программ на языке Java в инструменте Svace Аннотация  PDF (Rus)  похожие документы
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев
"... compiler builds the analyzer IR. The changes we made to the compiler include avoiding unnecessary bytecode ..."
 
Том 32, № 5 (2020) Модельный подход к обеспечению безопасности и надежности Web-сервисов Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ
"... systems and Web systems are created by the assembly build method in modern environments: IBM WSDK ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... This paper proposes the two different approaches to speed-up program build: making link-time ..."
 
Том 33, № 5 (2021) Управление требованиями при обучении профессиональных руководителей проектов Аннотация  похожие документы
Ванесса Атенеа ВАРГАС-ПЕРЕС, Лаура Сильвия ВАРГАС-ПЕРЕС, Агустин Франсиско ГУТЬЕРРЕС-ТОРНЕС, Ана Мария СОТО-ЭРНАНДЕС, Эдгардо Мануэль ФЕЛИПЕ-РИВЕРОН
"... отслеживание разнообразных требований всех пользователей от начала до конца проекта любого типа ..."
 
Том 28, № 4 (2016) Обзор современных методов планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... трехмерных сцен, роботизированная хирургия, навигация в динамическом окружении, автоматическая сборка ..."
 
Том 25 (2013) Применение динамического анализа для поиска дефектов в программах на языке Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... динамического анализа программ на основе инструментации, отслеживания потока помеченных данных и генерации ..."
 
Том 29, № 6 (2017) Трехмерный численный анализ прорыва плотины с использованием OpenFOAM Аннотация  похожие документы
Э. Санчес-Кордеро, М. Гомез, Э. Блейд
"... , а метод жидких объёмов (VOF, Volume of Fluid) используется для отслеживания свободной поверхности ..."
 
Том 34, № 3 (2022) Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider Аннотация  похожие документы
Владислав Игоревич МИРОШНИКОВ
"... Разработчику .NET иногда требуется сравнить скомпилированные программы или сборки, например, при ..."
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... преобразования программ для извлечения трасс выполнения, механизмы отслеживания потоков данных и построения ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... for writing code for software programs and considers optimized compilers, by which you can reduce the build ..."
 
Том 20 (2011) Планирование строго периодических задач в системах реального времени Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов
"... of the task. However, nowadays, some systems require a scheduler that can build schedules where release points ..."
 
Том 29, № 4 (2017) Использование модульного подхода во встраиваемых операционных системах Аннотация  похожие документы
К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов
"... конфигурируются на этапе сборки, позволяя создать образ ОС, предназначенный для выполнения на определенной ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... .Чарнецки для сборки артефактов в пространстве проблем и решений, логико-математическое моделирование ПС из ..."
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... ) для хранения и отслеживания состояния регистров и ячеек гостевой памяти. Также были сформулированы ..."
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... внутрипроцедурный алгоритм для отслеживания межпроцедурных связей между переменными. Кроме этого, приведен алгоритм ..."
 
Том 33, № 5 (2021) Гибкая разработка программного обеспечения для реконструкции жилья: землетрясение в Мексике в 2017 г. Аннотация  похожие документы
Хавьер ОРТИС-ЭРНАНДЕС, Виктор Хосуэ РУИС-МАРТИНЕС, Мария Ясмин ЭРНАНДЕС-ПЕРЕС, Рито МИЯРЕС-КАСТРО
"... пакетов помощи в соответствии с оценкой ущерба, логистика и отслеживание доставки пакетов помощи, принятие ..."
 
Том 36, № 3 (2024) О методах извлечения алгоритмов из бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН
"... слайсов. Метод базируется на алгоритме отслеживания потока данных в прямом или обратном направлениях и ..."
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... помощи отслеживания потока помеченных данных, построения ограничений пути и проверки их выполнимости. В ..."
 
Том 30, № 5 (2018) Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, Н. Е. Малышев
"... алгоритма отслеживания операций с целыми числами был предложен алгоритм отслеживания длин строк ..."
 
Том 34, № 1 (2022) Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования Аннотация  похожие документы
Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ
"... consists of a user API documentation while we need to identify functional requirements and build test suite ..."
 
Том 21 (2011) Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун
"... While many researchers attempt to build up different kinds of ontologies by means of Wikipedia ..."
 
Том 31, № 3 (2019) «Жизнь» в тензорах: реализация клеточных автоматов на видеокартах Аннотация  похожие документы
Наталья Андревна Шаляпина, Максим Леонидович Громов
"... graphics adapter processors, that is, to automatically build parallel software implementations of cellular ..."
 
Том 28, № 3 (2016) Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... (messages and lifelines) based on regular expressions and build hierarchical diagrams using nested fragments ..."
 
Том 28, № 6 (2016) Метод автоматического определения возраста пользователей с помощью социальных связей Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
"... user labels according to explicit profiles; build vector model that contains distributions ..."
 
Том 36, № 1 (2024) Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
"... of the “cost” type are proposed. In the latter case, one algorithm builds one path from each host to one host ..."
 
Том 27, № 3 (2015) Совмещенный классификатор для фильтрации сообщений на веб сайтах Аннотация  PDF (Rus)  похожие документы
Вениамин Тарасов, Екатерина Мезенцева, Данила Карбаев
"... , which allows us to build accurate and stable spam filter. In this paper we consider the organization ..."
 
Том 32, № 3 (2020) Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения Аннотация  похожие документы
Денис Игоревич САМОХВАЛОВ
"... feature engineering was conducted and the CatBoost classifier was used to build a classification model ..."
 
Том 26, № 4 (2014) Лингвистический подход к определению суицида Аннотация  PDF (Rus)  похожие документы
Л. М. Ермакова, С. А. Ермаков
"... to build a classifier that could determine, whether the person is about to commit a suicide. Our ..."
 
Том 26, № 3 (2014) Обзор масштабируемых систем межмодульных оптимизаций Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... Большинство приложений имеют модульную структуру, но оптимизация таких программ при сборке по ..."
 
1 - 39 из 84 результатов 1 2 3 > >> 

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

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