Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... под управлением встроенной операционной системы реального времени (ОС). Надежность ОС чрезвычайно ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... системы реального времени JetOS, созданной для гражданских авиационных систем. Она предназначена для ..."
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... В этой статье мы расскажем о проекте по разработке отладчика для операционной системы реального ..."
 
Том 20 (2011) Планирование строго периодических задач в системах реального времени Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов
"... Одним из важнейших аспектов функционирования систем реального времени является планирование задач ..."
 
Том 29, № 6 (2017) Критерий существования бесконфликтного расписания для системы строго периодических задач Аннотация  PDF (Rus)  похожие документы
С. А. Зеленова, С. В. Зеленов
"... В критических системах выполнение жестких требований по времени взаимодействия между задачами ..."
 
Том 32, № 1 (2020) Система визуализации для авиационной ОС реального времени JetOS Аннотация  PDF (Rus)  похожие документы
Борис Хаимович Барладян, Лев Залманович Шапиро, Курбанмагомед Абдурагимович Маллачиев, Алексей Владимирович Хорошилов, Юрий Алексеевич Солоделов, Алексей Геннадьевич Волобой, Владимир Александрович Галактионов, Игорь Викторович Ковернинский
"... системах обеспечивается в перспективной российской операционной системе реального времени (ОСРВ) JetOS ..."
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
"... системе реального времени, устанавливаемой на таких модулях, и программный интерфейс между прикладным ..."
 
Том 29, № 4 (2017) Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков Аннотация  похожие документы
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина
"... реального времени с использованием MEMS датчиков. Авторы предполагают использование данного метода для ..."
 
Том 22 (2012) Автоматизация построения расписаний для периодических систем реального времени Аннотация  PDF (Rus)  похожие документы
Андрей Третьяков
"... времени работы. Это является одной из основных проблем при проектировании систем авионики. В работе ..."
 
Том 31, № 4 (2019) Средства трассировки ОС РВ семейства «Багет» Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Годунов, Федор Николаевич Чемерев
"... настоящее время практически в каждой операционной системе реального времени (ОС РВ) имеются программные ..."
 
Том 29, № 3 (2017) Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Аннотация  PDF (Rus)  похожие документы
Ю. А. Солоделов, Н. К. Горелиц
"... JetOS - перспективная бортовая операционная система реального времени (ОСРВ), разработка которой в ..."
 
Том 27, № 6 (2015) Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Аннотация  PDF (Rus)  похожие документы
Г. Р. Гарай, А. Черных, А. Ю. Дроздов
"... сравниваем метод, основанный на исчислении реального времени, с двумя классическими аналитическими подходами ..."
 
Том 31, № 5 (2019) Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Аннотация  PDF (Rus)  похожие документы
Александр Валерьянович Самонов
"... моделирования и проектирования SysML, FUML, OCL, а также математического аппарата сетей Петри, временных ..."
 
Том 29, № 4 (2017) Минимизация автоматов с таймаутами и временными ограничениями Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов
"... зависит от размеров исследуемой системы. Поведение временного автомата может быть достаточно точно описано ..."
 
Том 32, № 2 (2020) О минимизации инициальных автоматов с таймаутами Аннотация  похожие документы
Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО
"... позволяет уменьшить количество состояний конечного автомата, описывающего поведение дискретной системы, на ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... за счет горизонтального масштабирования системы оптимизации времени связывания. Во втором случае ..."
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... В данной работе мы продолжаем наши исследования параллельной композиции временных конечных ..."
 
Том 30, № 3 (2018) К проверке строго детерминированного поведения временных конечных автоматов Аннотация  похожие документы
Е. М. Винарский, В. А. Захаров
"... . Для описания поведения систем реального времени модель конечного автомата может быть расширена ..."
 
Том 31, № 4 (2019) Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций Аннотация  похожие документы
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
"... зависит от времени, классическая модель конечного автомата расширяется введением временных переменных ..."
 
Том 32, № 4 (2020) Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой Аннотация  похожие документы
Ирина Бонавентуровна ВИРБИЦКАЙТЕ, Алексей Юрьевич ЗУБАРЕВ
"... В данной статье предлагается метод редукции пространства состояний непрерывно-временных сетей ..."
 
Том 31, № 4 (2019) Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей
"... нарушая масштаб реального времени визуализации. Технология включает в себя построение в масштабе реального ..."
 
Том 30, № 1 (2018) О возможностях автоматного описания параллельной композиции временных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, А. В. Лапутенко
"... , поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вводится ..."
 
Том 28, № 6 (2016) Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов Аннотация  PDF (Rus)  похожие документы
И. С. Алимова, В. Д. Соловьев, И. З. Батыршин
"... Одним из главных вопросов при решении задачи классификации временных рядов является выбор меры ..."
 
Том 23 (2012) Обнаружение периодических наборов событий во временных базах данных Аннотация  PDF (Rus)  похожие документы
Е. A. Иванникова.
"... Повторяемость во временных данных это важное свойство, которое может быть использовано во многих ..."
 
Том 30, № 6 (2018) Система операторов для пространственно-временного анализа динамических сцен Аннотация  PDF (Rus)  похожие документы
К. С. Петрищев, В. А. Золотов, В. А. Семенов
"... В работе предлагается развитая система топологических, метрических, ориентационных и временных ..."
 
Том 28, № 1 (2016) Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн Аннотация  PDF (Rus)  похожие документы
М. Провидухина, И. Сибгатуллин
"... Гильберта и частотно-временных диаграмм к результатам численного моделирования аттракторов внутренних волн ..."
 
Том 27, № 1 (2015) Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными Аннотация  PDF (Rus)  похожие документы
В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв
"... документом. Изменение значений весов тематик во времени формирует многомерный временной ряд, описывающий ..."
 
Том 26, № 1 (2014) Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... требований к информационной системе в сервис-ориентированной архитектуре. Для этого предлагается ..."
 
Том 26, № 6 (2014) Решение автоматных уравнений для временных автоматов относительно параллельной композиции Аннотация  PDF (Rus)  похожие документы
О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли
"... системы в явном виде зависят от времени. Результаты, известные для решения параллельного автоматного ..."
 
Том 21 (2011) Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян
"... В работе рассматриваются методы оценки времени выполнения модели параллельной программы на ..."
 
Том 31, № 2 (2019) Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных Аннотация  PDF (Rus)  похожие документы
Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду
"... возможность поиска кратковременных событий микролинзирования (ML) в режиме реального времени на основе данных ..."
 
Том 31, № 5 (2019) Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid Аннотация  PDF (Rus)  похожие документы
Евгений Евгеньевич Ивашко, Валентина Степановна Литовченко
"... форма распределенной высокопроизводительной вычислительной системы, которая использует время простоя ..."
 
Том 27, № 6 (2015) Распределенные системы хранения данных: анализ, классификация и варианты выбора Аннотация  PDF (Rus)  похожие документы
Александр Тормасов, Анатолий Лысов, Эмиль Мазур
"... классифицировать системы на основе разных параметров, в частности, при наличии или отсутствии специфических функций ..."
 
Том 23 (2012) Расширение модели ParJava для случая кластеров с многоядерными узлами Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
 
Том 32, № 2 (2020) Исследование технологии RISC-V Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ
"... Система команд – это стержень, вокруг которого строится весь остальной процессор. Ошибки или ..."
 
Том 30, № 4 (2018) Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Аннотация  PDF (Rus)  похожие документы
В. Е. Сачков
"... обработки текста на естественном языке в диалоговых системах. Применение в препроцессоре ассоциаций ..."
 
Том 27, № 5 (2015) Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
"... Разработанная в ИСП РАН программная система Unihub является облачной вычислительной системой типа ..."
 
Том 29, № 2 (2017) Развитие ядра операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... Существующие исследования, которые посвящены анализу развития ядра операционной системы Linux ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... Встраиваемые системы с гетерогенной архитектурой, рассматриваемые в данной работе, состоят из ..."
 
1 - 40 из 151 результатов 1 2 3 4 > >> 

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

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