General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Wireless Public Safety Networks 2

A Systematic Approach

Small thumbnail

Nanometer-scale Defect Detection Using Polarized Light

Reliability of Multiphysical Systems Set – Volume 2

Small thumbnail

Insight on Environmental Genomics

The High-throughput Sequencing Revolution

Small thumbnail

Mobile and Wireless Networks

Advanced Network Set – Volume 2

Small thumbnail

Dynemicin A, Uncialamycin and Analogues

Isolation, Biological Activities and Syntheses

Small thumbnail

The Wave Concept in Electromagnetism and Circuits

Theory and Applications

Small thumbnail

Nucleation and Growth of Metals

From Thin Films to Nanoparticles

Small thumbnail

Ultra Low Power Electronics and Adiabatic Solutions

Small thumbnail

Chipless RFID based on RF Encoding Particle

Realization, Coding, Reading System

Small thumbnail

Electrical Energy Storage in Transportation Systems

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.04784 s.