Шифр: W9679 (Журнал) Аннотация: Статьи по исследованиям в области распределенных вычислений (от отчетов о проектировании, реализации и использовании систем до теоретических работ по формальной спецификации, верификации и синтеза распределенных систем): новые архитектуры распределенных систем (напр., распределенные базы данных, автоматизация офиса, распределенное управление в режиме реального времени); архитектуры компьютерных сетей; протоколы связи, иерархии протоколов, стандарты; распределенные операционные системы; распределенные алгоритмы (распределение ресурса, отказоустойчивость и др.); алгоритмы для массивов СБИС; формальное моделирование, верификация и синтез распределенных систем. Зарегистрированы поступления: journal link (full text - из читальных залов ГПНТБ) |
