Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 2 (2023) Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ
"... of interaction between the system and scripts. Scripts using this API can be used to modeling automation as well ..."
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
"... provides an API for extending its functionality by third-party developers; since an API is an entry point ..."
 
Том 28, № 3 (2016) Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Аннотация  похожие документы
Д. И. Самохвалов, Л. В. Дворянский
"... level to Telegram Bot API calls on the implementation level. The suggested approach is illustrated ..."
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... управляющих систем. В работе предложен инструментарий детализации тестовых сценариев, позволяющий не только ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... critical and widespread bugs in kernel modules are violations of rules of correct usage of a kernel API ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... Системы поддержки принятия решений, в которых результаты вывода по правилам дополняют результаты ..."
 
Том 33, № 1 (2021) Путеводитель по проектированию удобных Web-API Аннотация  PDF (Rus)  похожие документы
Марибель ТЕЛЛО-РОДРИГЕС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Хуан Карлос ПЕРЕС-АРРИАГА, Ксавье ЛИМОН, Анхель Х. САНЧЕС-ГАРСИЯ
"... Interface (API). The success of a SaaS, and in some sense any distributed system, is greatly influenced ..."
 
Том 36, № 5 (2024) Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН
"... with the characteristics stated during their design. The article discusses a script-based runtime environment developed ..."
 
Том 34, № 4 (2022) Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... символьного выполнения для анализа IoT-систем, построенных на базе ядер Linux, описывается способ интеграции ..."
 
Том 26, № 1 (2014) Инструментальные средства проектирования систем интегрированной модульной авионики Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов
"... документации. В настоящей статье представлена отечественная разработка открытой системы поддержки ..."
 
Том 19 (2010) Обмен данными в распределенной системе поддержки решений Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... Обмен данными - расширение возможностей локальной системы поддержки решений с целью привлечения ..."
 
Том 32, № 2 (2020) Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения Аннотация  похожие документы
Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ
"... поддержки процессов разработки. Активный курс государства в сторону цифровизации экономики не способствует ..."
 
Том 36, № 1 (2024) Фаззинг полиморфных систем в структурах микросервисов Аннотация  PDF (Rus)  похожие документы
Артемий Сергеевич ЮРЬЕВ
"... of various API (Application Programming Interface) functions that operate with various types of data ..."
 
Том 31, № 4 (2019) Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей
"... времени сценария процесса визуализации и офлайн-преобразование сценария в стереоролик. В работе ..."
 
Том 26, № 4 (2014) Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов
"... to genome processing API of different underlying services. The article also covers methods for scalable ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... необходимости появления версий (релизов) систем. Кроме того, у большой системы всегда есть несколько, а иногда ..."
 
Том 29, № 6 (2017) Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack Аннотация  PDF (Rus)  похожие документы
Е. Л. Аксенова, В. В. Швецова, О. Д. Борисенко, И. В. Богомолов
"... -Availability not the performance scale. Our approach is based on API Gateway Kong and its scalability through ..."
 
Том 21 (2011) Детерминированное воспроизведение процесса выполнения программ в виртуальной машине Аннотация  PDF (Rus)  похожие документы
Павел Довгалюк
"... The paper describes a technology that allows to capture and rerun scripts of program execution ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... систем. Вычислительный процесс рассматривается как наложение управляющего графа, определяющего ..."
 
Том 27, № 3 (2015) Создание приватного сервиса с использованием приложения CRYP2CHAT Аннотация  PDF (Rus)  похожие документы
Андрей Кирьянцев, Ирина Стефанова
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
"... Programming Interfaces (APIs). However, to use them, a software engineer must first learn of their existence ..."
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
"... На разных этапах проектирования аппаратуры используются разные представления целевой системы (общее ..."
 
Том 28, № 3 (2016) Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях Аннотация  похожие документы
А. Р. Топчян
"... выглядит, что содержат, и как их следует обрабатывать в контексте существующих систем. В этой статье мы ..."
 
Том 32, № 2 (2020) Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Аннотация  похожие документы
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ
"... микропроцессорах с аппаратной поддержкой виртуализации. Описаны некоторые определения и характеристики систем ..."
 
Том 30, № 4 (2018) Динамическая верификация контроллеров шин систем-на-кристалле Аннотация  похожие документы
М. М. Чупилко, Е. А. Дроздова
"... В работе представлен подход к верификации коммутационных компонентов систем на кристалле. Основной ..."
 
Том 28, № 6 (2016) Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов
"... in Openstack. There exist three approaches to do it. The first one is to use Openstack REST APIs to create ..."
 
Том 27, № 3 (2015) Метод автоматической конкретизации символических тестовых сценариев Аннотация  PDF (Rus)  похожие документы
Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин
"... В данной работе описывается подход к конкретизации символических тестовых сценариев в рамках ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... programming API are used to avoid full barrier synchronization and reduce latency. Experimental results on 2 ..."
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... У большинства современных, повсеместно используемых операционных систем архитектура ядра в той или ..."
 
Том 35, № 4 (2023) Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК
"... In this paper, the task of embedding computer visualization, performed using the Vulkan API ..."
 
Том 34, № 1 (2022) Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования Аннотация  похожие документы
Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ
"... consists of a user API documentation while we need to identify functional requirements and build test suite ..."
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
"... , выявления и предупреждения финансовых манипуляций, биржи устанавливают системы контроля и мониторинга данных ..."
 
Том 30, № 5 (2018) Информатика: становление программного обеспечения и технологий программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... Рассматривается становление информатики и аспектов компьютерной поддержки создания программного ..."
 
Том 33, № 1 (2021) Цифровые двойники в туманных вычислениях: организация обработки данных с сохранением состояния на базе микропотоков работ Аннотация  PDF (Rus)  похожие документы
Амир Басим Абдуламир АЛААСАМ, Глеб Игоревич РАДЧЕНКО, Андрей Николаевич ЧЕРНЫХ, Хосе Луис ГОНСАЛЕС-КОМПЕАН
"... to redistribute computational activity across cloud and fog nodes using Kafka middleware and its Stream DSL API. ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... поддержать и обеспечить сертифицируемость разработки критичных по безопасности сложных систем в соответствии ..."
 
Том 37, № 3 (2025) Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения Аннотация  PDF (Rus)  похожие документы
Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО
"... обучения на основе SIR-прогнозирования масштаба угроз и рисков при различных сценариях развития ..."
 
Том 35, № 3 (2023) Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE Аннотация  похожие документы
Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ
"... of Program Structure Interface (PSI) - a special data structure, which provides API for development of IDE ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... систем. Данный метод был реализован в системе статической верификации Klever и применен для проверки ..."
 
Том 22 (2012) О построении аппроксимирующих функций характеристик малого числа систем Аннотация  PDF (Rus)  похожие документы
Я. А. Хетагуров
"... Выявляется взаимное влияние характеристик на показатели системы, части, устройства посредством ..."
 
1 - 39 из 448 результатов 1 2 3 4 5 6 7 8 9 10 11 12 > >> 

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

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