Tous les ebooks de la collection "Synthesis Lectures on Distributed Computing Theory" - Springer

2 Livre(s)
Télécharger le livre : Recoverable Mutual Exclusion
Ajouter à ma liste d'envies
Recoverable Mutual Exclusion
Sahil Dhoked , Wojciech Golab , Neeraj Mittal
This book discusses the recent research work on designing efficient fault-tolerant synchronization mechanisms for concurrent processes using the relatively new persistent memory technology that combines the low latency benefits of DRAM with the persistence of magnetic...

Editeur : Springer
Parution : 2023-04-17
Collection : Synthesis Lectures on Distributed Computing Theory
PDF, ePub

42,19 €
Télécharger le livre : The Theory of Timed I/O Automata, Second Edition
Ajouter à ma liste d'envies
The Theory of Timed I/O Automata, Second Edition
Dilsun Kaynar , Nancy Lynch , Roberto Segala , Frits Vaandrager
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the...

Editeur : Springer
Parution : 2022-06-01
Collection : Synthesis Lectures on Distributed Computing Theory
PDF

34,80 €