Название: Сетевые модели распределенных систем обработки, хранения и передачи данных. Монография
Автор: Дубинин В.Н., Зинкин С.А.
Год издания: 2013
Страниц: 452
Формат: pdf
Размер: 3,12 MB
Описание: Рассматриваются методы и инструментальные средства для спецификации, верификации, оценки производительности и проектирования вычислительных комплексов, систем и сетей. Основные этапы технологии сетевого моделирования проиллюстрированы на примерах систем массового обслуживания, вычислительных систем и сетей. Рассмотрены типовые задачи синхронизации и их модели. Особое внимание уделено системам управления массовой памятью и коммуникационным протоколам. Предлагается новая методология моделирования распределенных вычислительных систем, базирующаяся на принципе непосредственно исполняемых формальных спецификаций, в существенной степени облегчающая и ускоряющая создание аппаратного и программного обеспечения.
     Монография может быть рекомендована студентам, научным и инженернотехническим работникам компьютерных специальностей.