Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 2 (2024) Онтологический подход к интеграции нейроинтерфейсов в инфраструктуру интернета вещей Аннотация  похожие документы
Иван Александрович ЛАБУТИН, Светлана Игоревна ЧУПРИНА
"... the upcoming challenges of unified integration of brain-computer interfaces into IoT ecosystems. We demonstrate ..."
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... of intelligent devices. The framework enables intelligent management of IoT devices in cyber-physical systems ..."
 
Том 31, № 2 (2019) Интернет вещей для оценки поведения крупного рогатого скота при поиске корма и кормлении в пастбищных системах земледелия: концепции и обзор сенсорных технологий Аннотация  похожие документы
Годофредо Рамон Гарай Альварес, Хосе Альберто Бертоm Вальдес, Карина Перес-Теруэль
"... as sensors technologies that could be embedded into an IoT-based platform for Precision Livestock Farming ..."
 
Том 33, № 5 (2021) Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... The sweeping evolution of the Internet of Things (IoT) requires the development of methods ..."
 
Том 36, № 6 (2024) Безопасная и эффективная модель данных для электрического освещения общественного пространства в Мексике с AMI/IoT: реализация сжатия LZ4, IPFS и блокчейна Аннотация  похожие документы
Рене ГАРСИЯ-РЕЙЕС, Хавьер ОРТИС-ЭРНАНДЕС, Рито МИХАРЕС, Хосе Альберто ЭРНАНДЕС-АГИЛАР, Ясмин ЭРНАНДЕС
"... The advent of digitalization and Internet of things (IoT) technologies brings new challenges ..."
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
"... программное обеспечение часто предоставляет программный интерфейс (Application programming interface) для ..."
 
Том 33, № 1 (2021) Изучение видов деятельности на основе машинного обучения в поведенческих контекстах Интернета вещей Аннотация  PDF (Rus)  похожие документы
Мухаммад САФЬЯН, Сохаил САРВАР, Зия УЛ КАЙЮМ, Муддессар ИКБАЛ, Шанцан ЛИ, Мухаммад КАШИФ
"... (IoT) such as smart homes, smart hospitals or smart communities etc. The prevalent challenges ..."
 
Том 34, № 4 (2022) Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... working with IoT devices. The article discusses the use of full-system symbolic execution for the analysis ..."
 
Том 30, № 3 (2018) Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе Аннотация  PDF (Rus)  похожие документы
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова
"... The developed system "AAUI" is aimed at the automated adaptation of interfaces to the needs ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... of the interfaces of the most important overloaded operations on the objects used are given. An example is given ..."
 
Том 33, № 4 (2021) Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН
 
Том 34, № 2 (2022) Подход к отображению данных для пользователей телемедицинских систем раннего обнаружения заболеваний по ЭКГ Аннотация  похожие документы
Алексей Александрович БУСЕНКОВ, Эдуард Андреевич ХОЛОДОВ, Роман Сергеевич НОВИКОВ, Борис Аронович ПОЗИН
"... of diseases by ECG. This approach can be used in the development of a graphical interface for telemedicine ..."
 
Том 34, № 3 (2022) Оценка пригодности к использованию нейрокомпьютерных интерфейсов: анализ состояния дел Аннотация  похожие документы
Йоселин Нохеми ОРТЕГА-ХИХОН, Кармен МЕЗУРА-ГОДОЙ
"... Brain Computer Interfaces – BCI allow users to communicate with the software system through ..."
 
Том 35, № 2 (2023) Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
"... of existing ontologies for “user interface” and “software” domains. The article describes the advantages ..."
 
Том 35, № 4 (2023) Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК
"... approach in a separate library module (VK-capsule) with a high-level interface that is dynamically linked ..."
 
Том 35, № 3 (2023) Подходы к развертыванию в распределенной обработке сложных событий Аннотация  похожие документы
Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ
"... (IoT) platforms. These interactions generate real-time data streams that are highly structured, often ..."
 
Том 30, № 2 (2018) Анализ баллистокардиограммы на граничных вычислительных узлах Аннотация  PDF (Rus)  похожие документы
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов
 
Том 34, № 1 (2022) Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования Аннотация  похожие документы
Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... of software that features a graphical user interface. Current tendencies in user interface development favour ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... testing) methods to applications with graphical user interfaces. Such applications inherently feature ..."
 
Том 24 (2013) Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... there are too many programming interfaces in the kernel and they are not stable. The given paper suggests a new ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... of static code analysis and prove that a user needs an interface for writing his own defect detectors ..."
 
Том 29, № 4 (2017) Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Аннотация  похожие документы
Р. А. Нестеров, И. А. Ломазова
"... interface patterns, which allow getting models of multi-agent processes with a clearly identified agent ..."
 
Том 28, № 3 (2016) Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере Аннотация  PDF (Rus)  похожие документы
Е. А. Ильченко
"... classes to the computing cluster in a zip-archive through the MathPartner web interface. We show examples ..."
 
Том 32, № 4 (2020) Модели процессов, сопровождающих кристаллизацию переохлажденных капель Аннотация  PDF (Rus)  похожие документы
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ
"... dynamic parameters of the impact of supercooled drops. Moving interface – the crystallization front ..."
 
Том 26, № 4 (2014) Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса Аннотация  PDF (Rus)  похожие документы
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан
"... Hand motion driven human-computer interface based on novel time-invariant gesture description ..."
 
Том 30, № 3 (2018) Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами Аннотация  похожие документы
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова
"... are described by means of an interface. It is a logical formula over atomic interaction constraints specifying ..."
 
Том 33, № 1 (2021) Путеводитель по проектированию удобных Web-API Аннотация  PDF (Rus)  похожие документы
Марибель ТЕЛЛО-РОДРИГЕС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Хуан Карлос ПЕРЕС-АРРИАГА, Ксавье ЛИМОН, Анхель Х. САНЧЕС-ГАРСИЯ
"... Interface (API). The success of a SaaS, and in some sense any distributed system, is greatly influenced ..."
 
Том 35, № 3 (2023) Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE Аннотация  похожие документы
Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ
"... of Program Structure Interface (PSI) - a special data structure, which provides API for development of IDE ..."
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
 
Том 29, № 4 (2017) Верификация контроллеров 10 гигабитного Ethernet Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд
"... was developed for a connector module between internal device buses and its external interface. Test systems were ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... the functional and interface objects by Object-Components Method (OCM), extraction of the functional elements ..."
 
Том 27, № 3 (2015) Проблемы обобщений C# и способы их решения с помощью концептов Аннотация  PDF (Rus)  похожие документы
Ю. В. Белякова, С. С. Михалкович
"... be simultaneously used with interfaces is proposed to solve the problems of generics; a design and translation ..."
 
Том 36, № 5 (2024) Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ
"... ) and a description of graphic user interface (GUI) logical structure generates a set of particular layouts. Each ..."
 
Том 34, № 3 (2022) Унифицированная система типов для современного языка программирования общего назначения Аннотация  похожие документы
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ
 
Том 30, № 4 (2018) Динамическая верификация контроллеров шин систем-на-кристалле Аннотация  похожие документы
М. М. Чупилко, Е. А. Дроздова
"... . The core idea is to verify bus controllers and supporting interface parts connected to a reference model ..."
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... -simulation, as it can help to identify undesired behaviour. The Functional Mock-up Interface describes a tool ..."
 
1 - 39 из 111 результатов 1 2 3 > >> 

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

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