Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца Olgsko со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

Корректность параллельных вычислительных процессов   С. М. Ачасова, О. Л. Бандман

Корректность параллельных вычислительных процессов

60x90/16 256 страниц. 1990 год.
Наука. Сибирское отделение
В монографии систематизировано излагаются теория и методы обеспечения корректности параллельных вычислений с точки зрения архитектурного проектирования. Понятие корректности раскрывается через поведенческие свойства вычислительных процессов (детерминированность, однозначность, завершаемость, беступиковость и др.). Условия корректности формулируются на языках параллельного микропрограммирования и параллельных граф-схем алгоритмов. Изучается корректность при синхронных и асинхронных интерпретациях. В качестве абстрактных моделей используются сети Петри и графы вычислений. Проверка условий корректности сводится к анализу поведенческих свойств сетей Петри. Большое внимание уделено методам анализа общих сетей Петри и сетей Петри, моделирующих параллельные граф-схемы алгоритмов. Приведены оригинальные результаты авторов по теории и проектированию архитектуры вычислительных устройств параллельного типа. Издание предназначено для специалистов по вычислительной технике.
 
- Генерация страницы: 0.04 секунд -