General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Intelligence in Energy

Small thumbnail

Energy Autonomy of Real-Time Systems

Energy Management in Embedded Systems Set

Small thumbnail

Crystallization and Crystallizers

Industrial Equipment for Chemical Engineering Set

Small thumbnail

Advanced Graph Theory and Combinatorics

Small thumbnail

Power Systems-on-Chip

Practical Aspects of Design

Small thumbnail

Iron Cycle in Oceans

Focus Series in Earth System – Environmental Sciences

Small thumbnail

Liquid–Solid Separators

Industrial Equipment for Chemical Engineering Set

Small thumbnail

Stochastic Dynamics of Structures

Mathematical and Mechanical Engineering Set - Volume 2

Small thumbnail

Simulation of Transport in Nanodevices

Small thumbnail

Statistics for Bioinformatics

Statistics for Bioinformatics Set

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