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

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

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

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

Реклама

На сайте снова проблемы - решаем - ждите.
Не работает АВТОРИЗАЦИЯ - вход для пользователей не возможен.
Скорее всего, проблемы решить можно только переездом на другой сервер, другой компании.
А такой переезд возможен только в следующем месяце.
Пока других решений не вижу.
Извиняюсь за неудобства.

Ваш администратор.

КНИЖНЫЙ МИР

Self-Stabilizing Autonomic Recoverers   Olga Brukman and Shlomi Dolev

Self-Stabilizing Autonomic Recoverers

124 страниц. 2011 год.
LAP Lambert Academic Publishing
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...
 
- Генерация страницы: 0.05 секунд -