Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 2 (2022) Система управления заданиями автоматизированного сбора данных из сети Интернет Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ЛАЗАРЕВ, Максим Игоревич ВАРЛАМОВ, Александр Константинович ЯЦКОВ
"... applications. In the course of the work, various existing services for automated data collection from ..."
 
Том 36, № 3 (2024) Автоматизированное извлечение фактов из табличных данных на основе семантического аннотирования таблиц Аннотация  похожие документы
Никита Олегович ДОРОДНЫХ, Александр Юрьевич ЮРИН
"... proposes an approach and a tool for automated extraction of specific entities (facts) from tabular data ..."
 
Том 37, № 2 (2025) Архитектура системы сбора и извлечения информации для интеллектуальной поисково-аналитической системы Аннотация  PDF (Rus)  похожие документы
Данил Сергеевич СЕРЕНКО, Егор Дмитриевич ТЕРЕНТЬЕВ, Денис Владимирович ЗУБАРЕВ, Илья Владимирович СОЧЕНКОВ
"... resources has become critically important. Traditional information collection and extraction methods based ..."
 
Том 30, № 2 (2018) Автоматизированная генерация декодеров машинных команд Аннотация  PDF (Rus)  похожие документы
Н. Ю. Фокина, М. А. Соловьев
"... This paper proposes a method of automated generation of machine instruction decoders for various ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
 
Том 29, № 4 (2017) Автоматизированная генерация типовых контрактов для языка Ruby Аннотация  похожие документы
Н. Ю. Вьюгинов, В. С. Фондаратов
 
Том 37, № 3 (2025) Тестирование в жизненном цикле автоматизированных систем Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН
"... Software testing of automated systems at different stages of their life cycle (LC) differs ..."
 
Том 31, № 6 (2019) Обзор методов автоматизированной генерации эксплойтов повторного использования кода Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов
"... This paper provides a survey of methods and tools for automated code-reuse exploit generation ..."
 
Том 33, № 3 (2021) Автоматизированная система тестирования инструментов статического анализа кода Аннотация  похожие документы
Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА
"... Automated testing frameworks are widely used for assuring quality of modern software in secure ..."
 
Том 31, № 4 (2019) Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах Аннотация  PDF (Rus)  похожие документы
Денис Владимирович Силаков
"... and virtualization technologies are actively used. Improvements include log collection from the whole cluster just ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
"... In this paper automated method for exploit generation is presented. This method allows to construct ..."
 
Том 31, № 5 (2019) Применение i-векторов для автоматизированного определения уровня близости языков Аннотация  PDF (Rus)  похожие документы
Анс-Атаол Улдович Берзинь
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... gained during development of the framework for automated testing of a real-time operating system kernel ..."
 
Том 33, № 3 (2021) Высокопроизводительный распределенный веб-скрапер Аннотация  похожие документы
Денис Сергеевич ЭЙЗЕНАХ, Антон Сергеевич РАМЕЙКОВ, Игорь Валерьевич НИКИФОРОВ
 
Том 32, № 3 (2020) Разработка автоматизированных алгоритмов компьютерного зрения для обработки медицинских изображений Аннотация  похожие документы
Даниэл Игоревич СЕРГЕЕВ, Александр Евгеньевич АНДРЕЕВ, Анна Олеговна ДРОБИНЦЕВА, Слободанка ЦЕНЕВСКА, Никола КУКАВИЦА, Павел Дмитриевич ДРОБИНЦЕВ
 
Том 36, № 3 (2024) Платформа для сбора дерматоскопических изображений новообразований пациентов Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Кирилл Вячеславович ЕЛЕЦКИЙ, Елена Сергеевна КОЗАЧОК
"... of dermatoscopic images are described. The architecture of the developed platform for data collection ..."
 
Том 31, № 5 (2019) Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Аннотация  PDF (Rus)  похожие документы
Александр Валерьянович Самонов
"... solutions formal models. They are intended to create complex critical automated information systems ..."
 
Том 33, № 2 (2021) Выполнимость мю-исчисления с арифметическими ограничениями Аннотация  PDF (Rus)  похожие документы
Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА
 
Том 32, № 2 (2020) Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
 
Том 21 (2011) Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... environment. Unfortunately, LLVM does not support dynamic profile collection and recompilation at the moment ..."
 
Том 36, № 3 (2024) Перспективы использования доверенной информационной аналитической системы на базе платформы Талисман с применением методов искусственного интеллекта для повышения эффективности эксплуатации сложных аппаратных систем Аннотация  PDF (Rus)  похожие документы
Филипп Аркадьевич КОЛОКОЛЬНИКОВ, Владимир Владимирович ОРЛОВ, Денис Юрьевич ТУРДАКОВ
"... of importing, automatic processing, structuring and analyzing information based on components of the Talisman ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
 
Том 30, № 3 (2018) Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе Аннотация  PDF (Rus)  похожие документы
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова
"... The developed system "AAUI" is aimed at the automated adaptation of interfaces to the needs ..."
 
Том 18 (2010) Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин
"... In this work, some issues of automated construction of test programs intended for functional ..."
 
Том 33, № 4 (2021) Полная решающая процедура для теории ограниченной адресной арифметики Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
"... arithmetic and operations on memory addresses. This promotes a need in developing various tools for automated ..."
 
Том 32, № 3 (2020) Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения Аннотация  похожие документы
Денис Игоревич САМОХВАЛОВ
"... , a tool for automated collection of the information about malicious accounts in the VKontakte online ..."
 
Том 36, № 2 (2024) TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт Аннотация  похожие документы
Артём Дмитриевич БЕЛОУСОВ
"... developing TQL (Talisman Query Language) – a domain-specific language used in Talisman platform. Talisman ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... on specifics of a given machine; and a method and software tool have been developed for automated recovery ..."
 
Том 34, № 2 (2022) Автоматизация процесса экологического мониторинга в особо охраняемых природных территориях Российской Федерации на базе системы управления контентом Directum RX Аннотация  PDF (Rus)  похожие документы
Иван Дмитриевич РУДЬКО, Леонид Леонидович ХОРОШКО, Павел Петрович КЕЙНО
"... is demonstrated. As a result, the process of environmental monitoring was automated in one of the reserves ..."
 
Том 33, № 5 (2021) Методика сбора обучающего набора данных для модели обнаружения компьютерных атак Аннотация  PDF (Rus)  похожие документы
Александр Игоревич ГЕТЬМАН, Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ
"... . Сделан вывод о необходимости сбора собственных обучающих данных в условиях отсутствия гарантий ..."
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
"... Automated test coverage is a widespread practice in long-live software development projects ..."
 
Том 27, № 3 (2015) Метод автоматической конкретизации символических тестовых сценариев Аннотация  PDF (Rus)  похожие документы
Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин
"... of automated software verification and testing technology. Tools for automated concretization process based ..."
 
Том 24 (2013) Автоматизация регрессионного тестирования при помощи анализа трасс событий Аннотация  PDF (Rus)  похожие документы
Владимир Федотов
 
Том 35, № 4 (2023) Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ Аннотация  PDF (Rus)  похожие документы
Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ
"... quality control, an automated control system can also collect statistical information to provide feedback ..."
 
Том 35, № 2 (2023) Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия Аннотация  похожие документы
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ
"... also includes the use of automated tests written in Python. The automated tests allow for faster ..."
 
Том 33, № 4 (2021) Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН
"... automated information systems in various areas of modern life. The need to meet security and reliability ..."
 
Том 30, № 5 (2018) Онтологический репозиторий для CFD-расчетов Аннотация  PDF (Rus)  похожие документы
В. А. Зенкин
"... an automated comparison of calculations with each other (a mechanism of "comparators" and "features ..."
 
Том 34, № 4 (2022) Автоматическое тестирование LLVM-программ со сложными входными структурами данных Аннотация  PDF (Rus)  похожие документы
Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ
 
1 - 39 из 173 результатов 1 2 3 4 5 > >> 

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

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