Год выпуска: 2012 Автор: Дмитрий Черемисинов Издательство: LAP Lambert Academic Publishing Страниц: 288 ISBN: 9783848443567
Описание
Круг рассматриваемых проблем связан с задачами проектирования микроэлектронных устройств с программным управлением, в которых программы и аппаратура не имеют жесткого разделения. Наряду с аппаратными компонентами программы и протоколы межкомпонентного взаимодействия составляют основу этих сложных устройств. Процессы, происходящие во время их работы, являются параллельными, и функционирование системы определяется взаимодействием компонентов. Взаимодействие как способ обеспечения согласованного поведения коллектива агентов, совместно решающих некоторую задачу, рассматривается как структура над событиями, являющимися результатом действий нескольких агентов. Описание поведения на основе составляющих его событий представляет собой логическую модель времени. Первые три главы содержат описание моделей поведения взаимодействующих параллельных процессов. Следующие две главы посвящены технологии проектирования аппаратуры и программ, реализующих описания поведения в виде протоколов. Последние...
