Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

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

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

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

Поисковый запрос: (<.>K=отказоустойчивость<.>)

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

Шифр: V4816 (Журнал)

Applicable Algebra in Engineering, Communication and Computing [Текст]. - Berlin : springer, 1990 - . - Выходит ежеквартально. - ISSN 0938-1279

Аннотация: Cтатьи по исследованиям в области алгебраических методов, применяемых во всех областях, связанных с компьютерами, интеллектуальными системами и коммуникациями: зрение, роботика, проектирование систем, отказоустойчивость и надежность систем, технология СБИС, обработка сигнала, кодирование, методы контроля ошибок, криптография, спецификация протокола, сети, проектирование программного обеспечения, арифметика, алгоритмы, сложность, компьютерная алгебра, языки программирования, логическое и функциональное программирование, алгебраическая спецификация, перезаписывающие системы, доказательство теорем, графика, моделирование, инженерия знаний, экспертные системы, методология искусственного интеллекта. При этом предпочтение отдается не теории, а работам связанным с проблемами в таких областях, как коммутативная или некоммутативная алгебра, теория групп, теория поля и реальная алгебраическая геометрия, а также исследованиям в области технологий и разработкам ноу-хау, связанным с применением прикладной алгебры.
Зарегистрированы поступления:

1992

journal link (full text - НТО-3)
Найти похожие

()

Distributed and Parallel Databases [Электронный ресурс]. - Berlin : springer, 1993 - (Springer). - Выходит ежеквартально. - ISSN 0926-8782

Аннотация: Статьи по результатам новых исследований, разработок и опыта пользователей распределенных и параллельных систем баз данных: модели транзакций, обработка и управление; обработка запроса; фрагментация и размещение данных; протоколы репликации; надежность и отказоустойчивость; новые технологии распределенных и параллельных баз данных; альтернативные архитектуры программного и аппаратного обеспечения, связанные с управлением данными; интероперабельность систем мультибаз данных; управление неоднородностью и автономностью в распределенных системах; управление взаимозависимыми данными; базы знаний; объектно-ориентированные базы данных; операционные системы поддержки систем баз данных; машины баз данных; группа поддержки/коллективная работа; поддержка нетрадиционных применений; семантическая гетерогенность; использование технологии распределенных и параллельных баз данных в управлении научными и статистическими данными; поддержка системы и интерфейс управления данными (операционные системы, системы коммуникации и поддержка времени прогона).
journal link (full text - НТО-3)
Найти похожие

Шифр: W9679 (Журнал)

Distributed Computing [Текст]. - Berlin : springer, 1986 - . - Выходит ежеквартально. - ISSN 0178-2770

Аннотация: Статьи по исследованиям в области распределенных вычислений (от отчетов о проектировании, реализации и использовании систем до теоретических работ по формальной спецификации, верификации и синтеза распределенных систем): новые архитектуры распределенных систем (напр., распределенные базы данных, автоматизация офиса, распределенное управление в режиме реального времени); архитектуры компьютерных сетей; протоколы связи, иерархии протоколов, стандарты; распределенные операционные системы; распределенные алгоритмы (распределение ресурса, отказоустойчивость и др.); алгоритмы для массивов СБИС; формальное моделирование, верификация и синтез распределенных систем.
Зарегистрированы поступления:

1993

journal link (full text - из читальных залов ГПНТБ)
Найти похожие

()

International Journal of Parallel, Emergent and Distributed Systems [Электронный ресурс]. - London : Taylor and Francis Ltd. - Выходит раз в два месяца. - ISSN 1744-5760
СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание
В 2005г. переименовано из Parallel Algorithms and Applications. - ISSN 1063-7192 (Шифр vr=P535287)

Аннотация: Международный научно-технический журнал. Статьи по исследованиям и разработкам в области параллельных, эмергентных и распределённых систем: параллельные алгоритмы (проектирование, анализ и применение); мультипроцессорные системы и архитектуры; эмергентные вычислительные структуры (напр., генетические, эволюционные системы); нейронные сети; сложные распределённые системы; распределённые системы и алгоритмы; отказоустойчивость; мобильный компьютинг; аd hoc (специальные) и сенсорные беспроводные сети; имитационное моделирование и оценка выполнения; научное, промышленное и коммерческое применение.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие

Шифр: V4699 ()

Journal of Electronic Testing [Электронный ресурс]. - Dordrecht : Springer Netherlands, 1990 - (Springer). - Выходит ежеквартально. - ISSN 0923-8174

Аннотация: Статьи, обзоры и материалы конференций по результатам теоретических и прикладных исследований в области электронного тестирования: тестирование СБИС-устройств (печатных плат и систем), аналоговых и цифровых электронных схем, микропроцессоров, устройств памяти, устройств обработки сигнала, математическое и имитационное моделирование неисправностей, формирование теста, анализ на тестопригодность, проектирование тестопригодности, синтез тестопригодности, встроенное самотестирование, тестовое техническое задание, отказоустойчивость, формальная верификация аппаратного обеспечения, имитационное моделирование верификации, устранение дефектов проекта, методы искусственного интеллекта и экспертные системы для тестирования и диагностики, автоматическое испытательное оборудование, фиксирование теста, система тестирования с помощью пучка электронов, программирование теста, анализ данных теста, экономика тестирования, качество и надежность средств автоматизированного проектирования, тестирование устройств в масштабе пластины, тестирование надежных систем, производство изделий и проектирование усовершенствования продукции, анализ состояний отказа и технологического процесса.
journal link (full text - НТО-3)
Найти похожие

Шифр: V4714 ()

Real-Time Systems [Электронный ресурс]. - Berlin : springer, 1989 - (Springer). - Выходит раз в два месяца. - ISSN 0922-6443

Аннотация: Статьи, отчеты о выполнении проектов, дискуссии, стандарты, циклы учебных статей по компьютерным системам реального времени: разработка технических условий, методы спецификации и верификации, методы и средства проектирования, языки программирования, операционные системы алгоритмы планирования, архитектура и аппаратное обеспечение (главным образом, интерфейсинг), отказоустойчивость, распределенная и другие новые архитектуры, связь, распределенные базы данных, искусственный интеллект, экспертные системы, разборы конкретных случаев; применение систем реального времени в системах команд и управления, системах управления процессами, автоматизированном производстве, управлении полетом, авионике (в т.ч. для космических аппаратов) и оборонных системах, бортовых системах судов, машинном зрении и роботехнике, работе группы роботов в опасной среде.
journal link (full text - НТО-3)
Найти похожие

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

Статистика обращений

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