Сортировать по:
Выпуск | Название | |
Том 31, № 2 (2019) | Эффективное сравнение чисел в системе остаточных классов на основе позиционной характеристики | Аннотация PDF (Rus) похожие документы |
Михаил Григорьевич Бабенко, Андрей Николаевич Черных, Николай Иванович Червяков, Виктор Андреевич Кучуков, Ванесса Миранда-Лопес, Рауль Ривера Родригес, Чжихуэй Ду | ||
"... . Реализация алгоритма сравнения чисел в системе остаточных классов (СОК) состоит из двух этапов. Первый этап ..." | ||
Том 31, № 5 (2019) | Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Абрамов, Денис Евгеньевич Хмельнов, Анна Андреевна Рябенко | ||
"... Обсуждаются задачи построения лорановых и регулярных решений линейных обыкновенных ..." | ||
Том 31, № 1 (2019) | Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет | Аннотация PDF (Rus) похожие документы |
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов | ||
Том 31, № 1 (2019) | Определение ограничений облачной платформы на миграцию ресурсов | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич Чадин, Григорий Андреевич Бизюкин | ||
"... ресурсами, их логические и физические ограничения в системе OpenStack. Для живой миграции рассмотрены такие ..." | ||
Том 31, № 3 (2019) | Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi | Аннотация похожие документы |
Дмитрий Вадимович Мельничук | ||
"... В настоящее время широкое распространение получают кластерные системы, в узлах которых ..." | ||
Том 31, № 4 (2019) | Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации | Аннотация похожие документы |
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга | ||
"... партицированные операционные системы реального времени, которые способны реагировать на события от оборудования с ..." | ||
Том 31, № 3 (2019) | Автономная верификация IOMMU с поддержкой виртуализации | Аннотация похожие документы |
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков | ||
"... с поддержкой виртуализации. Мы представляем базовую архитектуру тестовой системы. Рассматриваются ..." | ||
Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Павел Сергеевич Андрианов | ||
Том 31, № 1 (2019) | Управление требованиями к ответственным системам. Обзор решений | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев | ||
"... . Особенно тщательно относятся к требованиям при работе над ответственными системами, использование которых ..." | ||
Том 31, № 2 (2019) | Интеграция беспроводной связи для оптимизации распознавания окружения и расчёта траектории движения группы роботов | Аннотация PDF (Rus) похожие документы |
Михаил Валерьевич Иванов, Олег Юрьевич Сергиенко, Вера Валентиновна Тырса, Ларс Линднер, Хулио Сезар Родригес-Киньонес, Венди Флорес-Фуэнтес, Мойзес Ривас-Лопес, Даниэль Эрнандес-Бальбуэна, Хуан Иван Ньето Иполито | ||
"... системы технического зрения реального времени как основного инструмента взаимодействия роботов с ..." | ||
Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
"... настоящее время практически в каждой операционной системе реального времени (ОС РВ) имеются программные ..." | ||
Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
"... Современные микропроцессорные системы обычно включают сложную иерархию кэш-памяти. Протоколы ..." | ||
Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
Павел Викторович Фролов | ||
"... (контроллеров периферийных интерфейсов и коммутаторов), так и системы в целом. В статье представлен подход к ..." | ||
Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) похожие документы |
Ахмед Хан | ||
"... системы. Отличительной особенностью распределенных объектно-ориентированных систем является компетентное ..." | ||
Том 31, № 2 (2019) | Безопасная и надежная передача данных в MANET на основе принципов вычислительно стойкого разделения секрета | Аннотация PDF (Rus) похожие документы |
Николай Иванович Червяков, Максим Анатольевич Дерябин, Антон Сергеевич Назаров, Михаил Григорьевич Бабенко, Николай Николаевич Кучеров, Андрей Владимирович Гладков, Глеб Игоревич Радченко | ||
"... информации в системе остаточных классов. Распределенное кодирование позволяет использовать схемы разделения ..." | ||
Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
Александр Валерьянович Самонов | ||
"... требований, так и при проектировании системы, обнаружение и устранение дефектов посредством реализации ..." | ||
Том 31, № 3 (2019) | Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости | Аннотация похожие документы |
Михаил Михайлович Носовский, Константин Юрьевич Дегтярев | ||
1 - 17 из 17 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)