|
|
libcats.org
Protocols by InvariantsAnneke A. SchooneAlgorithms are a set of rules that specify a sequence of actions to be taken to solve a problem. Distributed algorithms, which are designed to solve many problems at once, are conceptually far more complex than algorithms in a single processing unit environment. When the number of simultaneous events becomes large, human minds cannot keep track of all of them. Naturally, it is necessary to know whether a distributed algorithm will have the desired effect. In this book, Dr. Schoone discusses assertational verification by system-wide invariants for use in verifying the behavior of distributed algorithms. The approach is entirely pragmatic; the author considers many different examples, over a wide range of algorithms and protocols. This volume will be an essential purchase for all those with an interest in distributed algorithms.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5Автор: Ю. Г. Карпов
Размер книги: 5.74 Mb
Основы металлургического производства (чёрная металлургия)Автор: Бабич В. К.
Размер книги: 57.37 Mb
Эксплуатация и техническое обслуживание дорожных машин, автомобилей и тракторов.Автор: С. Ф. Головин, Автор: В. М. Коншин, Автор: А. В. Рубайлов, Автор: Е. С. Локшин, Автор: А. О. Белобров
Размер книги: 3.94 Mb
Лекарственные средства. В 2 томах. Том 2Автор: М. Д. Машковский (Авт.)Категория: Книги, Нехудожественная литература, Медицинская литература, Фармакология. Рецептура. Токсикология
Размер книги: 34.54 Mb
|
|
|