Сортировать по:
Выпуск | Название | |
Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
В. В. Никифоров, С. Н. Баранов | ||
"... под управлением встроенной операционной системы реального времени (ОС). Надежность ОС чрезвычайно ..." | ||
Том 29, № 4 (2017) | Отладчик для операционной системы реального времени: проблемы мультиплатформенности | Аннотация похожие документы |
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
"... системы реального времени JetOS, созданной для гражданских авиационных систем. Она предназначена для ..." | ||
Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
"... В этой статье мы расскажем о проекте по разработке отладчика для операционной системы реального ..." | ||
Том 20 (2011) | Планирование строго периодических задач в системах реального времени | Аннотация PDF (Rus) похожие документы |
С. В. Зеленов | ||
"... Одним из важнейших аспектов функционирования систем реального времени является планирование задач ..." | ||
Том 32, № 1 (2020) | Система визуализации для авиационной ОС реального времени JetOS | Аннотация PDF (Rus) похожие документы |
Борис Хаимович Барладян, Лев Залманович Шапиро, Курбанмагомед Абдурагимович Маллачиев, Алексей Владимирович Хорошилов, Юрий Алексеевич Солоделов, Алексей Геннадьевич Волобой, Владимир Александрович Галактионов, Игорь Викторович Ковернинский | ||
"... системах обеспечивается в перспективной российской операционной системе реального времени (ОСРВ) JetOS ..." | ||
Том 29, № 6 (2017) | Критерий существования бесконфликтного расписания для системы строго периодических задач | Аннотация PDF (Rus) похожие документы |
С. А. Зеленова, С. В. Зеленов | ||
"... В критических системах выполнение жестких требований по времени взаимодействия между задачами ..." | ||
Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
"... системе реального времени, устанавливаемой на таких модулях, и программный интерфейс между прикладным ..." | ||
Том 29, № 4 (2017) | Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков | Аннотация похожие документы |
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина | ||
"... реального времени с использованием MEMS датчиков. Авторы предполагают использование данного метода для ..." | ||
Том 22 (2012) | Автоматизация построения расписаний для периодических систем реального времени | Аннотация PDF (Rus) похожие документы |
Андрей Третьяков | ||
"... времени работы. Это является одной из основных проблем при проектировании систем авионики. В работе ..." | ||
Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
"... настоящее время практически в каждой операционной системе реального времени (ОС РВ) имеются программные ..." | ||
Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
Сергей Михайлович СТАРОЛЕТОВ | ||
"... многораздельная операционная система реального времени, которая способна реагировать на события от устройств с ..." | ||
Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
Ю. А. Солоделов, Н. К. Горелиц | ||
"... JetOS - перспективная бортовая операционная система реального времени (ОСРВ), разработка которой в ..." | ||
Том 27, № 6 (2015) | Сравнительный анализ методов оценки производительности многоуровневых облачных приложений | Аннотация PDF (Rus) похожие документы |
Г. Р. Гарай, А. Черных, А. Ю. Дроздов | ||
"... сравниваем метод, основанный на исчислении реального времени, с двумя классическими аналитическими подходами ..." | ||
Том 33, № 3 (2021) | Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память | Аннотация 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, № 6 (2020) | Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL | Аннотация похожие документы |
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ | ||
"... Сети Петри с временными дугами – это временное расширение сетей Петри (TaPN-сети), которое ..." | ||
Том 32, № 4 (2020) | Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой | Аннотация похожие документы |
Ирина Бонавентуровна ВИРБИЦКАЙТЕ, Алексей Юрьевич ЗУБАРЕВ | ||
"... В данной статье предлагается метод редукции пространства состояний непрерывно-временных сетей ..." | ||
Том 31, № 4 (2019) | Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен | Аннотация PDF (Rus) похожие документы |
Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей | ||
"... нарушая масштаб реального времени визуализации. Технология включает в себя построение в масштабе реального ..." | ||
Том 34, № 5 (2022) | Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах | Аннотация похожие документы |
Леонид Владимирович ДВОРЯНСКИЙ | ||
"... реальном времени. В недавних работах были получены асимптотические оценки на рост числа точек в DP-системах ..." | ||
Том 23 (2012) | Обнаружение периодических наборов событий во временных базах данных | Аннотация PDF (Rus) похожие документы |
Е. A. Иванникова. | ||
"... Повторяемость во временных данных это важное свойство, которое может быть использовано во многих ..." | ||
Том 30, № 6 (2018) | Система операторов для пространственно-временного анализа динамических сцен | Аннотация PDF (Rus) похожие документы |
К. С. Петрищев, В. А. Золотов, В. А. Семенов | ||
"... В работе предлагается развитая система топологических, метрических, ориентационных и временных ..." | ||
Том 30, № 1 (2018) | О возможностях автоматного описания параллельной композиции временных автоматов | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, А. В. Лапутенко | ||
"... , поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вводится ..." | ||
Том 28, № 6 (2016) | Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов | Аннотация PDF (Rus) похожие документы |
И. С. Алимова, В. Д. Соловьев, И. З. Батыршин | ||
"... Одним из главных вопросов при решении задачи классификации временных рядов является выбор меры ..." | ||
Том 28, № 1 (2016) | Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн | Аннотация PDF (Rus) похожие документы |
М. Провидухина, И. Сибгатуллин | ||
"... Гильберта и частотно-временных диаграмм к результатам численного моделирования аттракторов внутренних волн ..." | ||
1 - 30 из 209 результатов | 1 2 3 4 5 6 7 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)