Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Зорин, Д. А.$<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Зорин, Д. А.
Алгоритм синтеза архитектуры вычислительной системы реального времени с учетом требований к надежности [Текст] / Д. А. Зорин, В. А. Костенко // Известия РАН. Теория и системы управления. - 2012. - № 3. - С. 76-83. - Библиогр.: с. 83 (9 назв. ) . - ISSN 0002-3388

УДК

^a519.876

ББК 32.817
Рубрики: Радиоэлектроника
Теория сложных систем
Кл.слова (ненормированные):
вычислительные системы реального времени -- надежность -- аппаратные отказы -- программные отказы -- итерационные алгоритмы -- алгоритм синтеза -- архитектура вычислительных систем -- синтез архитектуры вычислительных систем -- построение расписания -- имитация отжига
Аннотация: Рассматривается задача построения вычислительной системы реального времени с минимальным числом процессоров. При этом требуется соблюдение директивных сроков на время выполнения программы, а также должны быть выполнены требования к надежности системы, которые подразумевают, что система должна выдерживать как аппаратные, так и программные отказы. Приведена формальная постановка данной задачи, предложен метод ее решения с использованием итерационного алгоритма построения расписания, основанного на методе имитации отжига, и проведено экспериментальное исследование предложенного алгоритма.

Доп.точки доступа:
Костенко, В. А.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Комбинированное средство верификации распределенных вычислительных систем реального времени [Текст] / Д. Ю. Волканов [и др.] // Программирование. - 2015. - № 6. - С. 72-86. - Библиогр.: с. 85-86 (22 назв.) . - ISSN 0132-3474

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
РВС РВ -- автоматы реального времени -- верификация РВС РВ -- иерархические временные автоматы -- распределенные вычислительные системы реального времени -- экспериментальные исследования
Аннотация: Проверка правильности функционирования распределенных программ - это одна из наиболее трудных и актуальных задач программирования. В статье описано комбинированное средство верификации РВС РВ.

Доп.точки доступа:
Волканов, Д. Ю.; Захаров, В. А.; Зорин, Д. А.; Подымов, В. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 20.08.2024
Число запросов	4164
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)