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

3 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 : Secure Multi-Party Computation Against Passive Adversaries
Ajouter à ma liste d'envies
Secure Multi-Party Computation Against Passive Adversaries
Ashish Choudhury , Arpita Patra
This book focuses on multi-party computation (MPC) protocols in the passive corruption model (also known as the semi-honest or honest-but-curious model). The authors present seminal possibility and feasibility results in this model and includes formal security...

Editeur : Springer
Parution : 2022-10-07
Collection : Synthesis Lectures on Distributed Computing Theory
PDF, ePub

58,01 €
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 €