Картотека книг » Поиск по коду » Книги с ISBN13 9783845473031
На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Книга ISBN13 9783845473031 - Self-Stabilizing Autonomic Recoverers (Olga Brukman and Shlomi Dolev) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением
Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Где купить эту книгу?
Интернет-магазиныНазвание: Self-Stabilizing Autonomic Recoverers
Self-stabilization is a system property that implies the system convergence to the desired behavior from every possible system state. Self-stabilizing monitoring layer implies automatic recovery of a monitored system and enables automatic recovery of systems. In the first part of the book we suggest monitoring the safety and liveness properties of black box software packages by recording its IO trace. The monitoring layer continuesly analyzes the trace to identify the properties violations and executes appropriate recovery actions upon violation. In the second part of the book we present recovery oriented programming - a framework for creating recovery oriented software. The framework is a pre-compiler that produces augmented code from provided recovery tuples to monitor the recovery tuples safety and liveness properties and to invoke recovery actions upon the properties violations. In the third part of the book we suggest to create programs automatically instead of monitoring...
Авторы: Olga Brukman and Shlomi Dolev
Издательство: LAP Lambert Academic Publishing
Год: 2011
Местонахождение: OZON.ru
ISBN: 9783845473031
Поиск по сайту
Новости
10 января 2015 года: Запуск базы ISBN10 и ISBN13Запущена база данных ISBN и технический каталог кодов.
2015 - books.kartoteka.net
e-mail: books@kartoteka.net
e-mail: books@kartoteka.net