General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Baidu SEO

Challenges and Intricacies of Marketing in China

Small thumbnail

Asymmetric Alliances and Information Systems

Issues and Prospects

Small thumbnail

Technicity vs Scientificity

Complementarities and Rivalries

Small thumbnail

Freshwater Fishes

250 Million Years of Evolutionary History

Small thumbnail

Biostatistics and Computer-based Analysis of Health Data using SAS

Biostatistics and Health Science Set

Small thumbnail

Predictive Control

Small thumbnail

Fundamentals of Advanced Mathematics 1

Categories, Algebraic Structures, Linear and Homological Algebra

Small thumbnail

Swelling Concrete in Dams and Hydraulic Structures

DSC 2017

Small thumbnail

The Chemostat

Mathematical Theory of Microorganims Cultures

Small thumbnail

Earthquake Occurrence

Short- and Long-term Models and their Validation

Small thumbnail

Distributed Systems

Design and Algorithms

Edited by Serge Haddad, ENS de Cachan, France Fabrice Kordon, UPMC, Paris, France Laurent Pautet, Telecom ParisTech, France Laure Petrucci, University Paris 13, France

ISBN: 9781848212503

Publication Date: June 2011   Hardback   336 pp.

147.00 USD


Add to cart

eBooks


Ebook Ebook

Description

In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems.
Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues.
Distributed Systems: Design and Algorithms, is dedicated to engineers, students, and anyone familiar with algorithms and programming, who want to know more about distributed systems.
These systems are characterized by: several components with one or more threads, possibly running on different processors; asynchronous communications with possible additional assumptions (reliability, order preserving, etc.); local views for every component and no shared data between components. This title presents distributed systems from a point of view dedicated to their design and their main principles: the main algorithms are described and placed in their application context, i.e. consistency management and the way they are used in distributed file-systems.

Contents

1. Introduction, Serge Haddad, Fabrice Kordon, Laurent Pautet and Laure Petrucci.
Part 1. Large Scale Peer-to-Peer Distributed Systems
2. Introduction to Large-Scale Peer-to-Peer Distributed Systems, Fabrice Kordon.
3. Design Principles of Large-Scale Distributed System, Xavier Bonnaire and Pierre Sens.
4. Peer-to-Peer Storage, Olivier Marin, Sebastien Monnet and Gaël Thomas.
5. Large-Scale Peer-to-Peer Game Applications, Sébastien Monnet and Gaël Thomas.
Part 2. Distributed, Embedded and Real-Time Systems
6. Introduction to Distributed Embedded and Real-Time Systems, Laurent Pautet.
7. Scheduling in Distributed Real-Time Systems, Emmanuel Grolleau, Michaël Richard and Pascal Richard.
8. Software Engineering for Adaptative Embedded Systems, Etienne Borde.
9. The Design of Aerospace Systems, Maxime Perrotin, Julien Delange and Jérôme Hugues.
Part 3. Security in Distributed Systems
10. Introduction to Security Issues in Distributed Systems, Laure Petrucci.
11. Practical Security in Distributed Systems, Benoit Bertholon, Christophe Cerin, Camille Coti, Jean-Christophe Dubacq and Sébastien Varrette.
12. Enforcing Security with Cryptography, Sami Harari and Laurent Poinsot.

About the Authors

Serge Haddad is a full professor at Ecole Normale Supérieure de Cachan, France. His research is mainly focused on the verification of complex systems including multiple features like non-determinism, concurrency, distribution, time and probability.
Fabrice Kordon is a full professor at UPMC, Paris, France. He is the head of the MoVe (Modeling and Verification) team at the CNRS Laboratoire d'Informatique de Paris 6. His research mainly concerns the modeling of complex distributed systems to enable both formal analysis and automatic program generation.
Laurent Pautet is a full professor at Télécom ParisTech, France. His research is mainly concerned with the design and validation of distributed real-time embedded systems.
Laure Petrucci is a full professor at University Paris 13, France. She is head of the Networking and Telecommunication department at the Technology Institute. Her research is mainly focused on harnessing the complexity of systems verification, using modular approaches.

Downloads

DownloadTable of Contents - PDF File - 54 Kb

Related Titles



































0.05486 s.