Angebote zu "Distributed" (34 Treffer)

Kategorien

Shops

Distributed Algorithms
104,99 € *
ggf. zzgl. Versand

In Distributed Algorithms , Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers. Distributed Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others. The material is organized according to the system model-first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference. The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms-to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.

Anbieter: buecher.de
Stand: 15.09.2019
Zum Angebot
Designing Distributed Systems
30,99 € *
ggf. zzgl. Versand
Anbieter: buecher.de
Stand: 15.09.2019
Zum Angebot
Principles of Concurrent and Distributed Progra...
53,99 € *
ggf. zzgl. Versand

From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Introduction to Reliable and Secure Distributed...
58,99 € *
ggf. zzgl. Versand

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of ´´Introduction to Reliable Distributed Programming´´. Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name ´´Byzantine fault-tolerance´´. In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of ´´Introduction to Reliable Distributed Programming´´. Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name ´´Byzantine fault-tolerance´´.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Parallel Programming
74,99 € *
ggf. zzgl. Versand
Anbieter: buecher.de
Stand: 10.09.2019
Zum Angebot
Large-Scale Scrum
26,99 € *
ggf. zzgl. Versand

In Large-Scale Scrum, Craig Larman and Bas Vodde offer the most direct, concise, actionable guide to reaping the full benefits of agile in distributed, global enterprises. Larman and Vodde have distilled their immense experience helping geographically distributed development organizations move to agile. Going beyond their previous books, they offer today´s fastest, most focused guidance: ´´brass tacks´´ advice and field-proven best practices for achieving value fast.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Principles of Computer System Design
68,99 € *
ggf. zzgl. Versand

Examines and illustrates fundamental concepts in computer system design that are common across operating systems, networks, database systems, distributed systems, programming languages, software engineering, security, fault tolerance, and architecture. This title presents numerous pseudocode fragments that provide examples of abstract concepts.

Anbieter: buecher.de
Stand: 09.09.2019
Zum Angebot
Transaction Processing: Concepts and Techniques
63,99 € *
ggf. zzgl. Versand

The key to client/server computing. Transaction processing techniques are deeply ingrained in the fields of databases and operating systems and are used to monitor, control and update information in modern computer systems. This book will show you how large, distributed, heterogeneous computer systems can be made to work reliably. Using transactions as a unifying conceptual framework, the authors show how to build high-performance distributed systems and high-availability applications with finite budgets and risk. The authors provide detailed explanations of why various problems occur as well as practical, usable techniques for their solution. Throughout the book, examples and techniques are drawn from the most successful commercial and research systems. Extensive use of compilable C code fragments demonstrates the many transaction processing algorithms presented in the book. The book will be valuable to anyone interested in implementing distributed systems or client/server architectures.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
ZooKeeper
23,99 € *
ggf. zzgl. Versand

Building distributed applications is difficult enough without having to coordinate the actions that make them work. This practical guide shows how Apache ZooKeeper helps you manage distributed systems, so you can focus mainly on application logic. Even with ZooKeeper, implementing coordination tasks is not trivial, but this book provides good practices to give you a head start, and points out caveats that developers and administrators alike need to watch for along the way. In three separate sections, ZooKeeper contributors Flavio Junqueira and Benjamin Reed introduce the principles of distributed systems, provide ZooKeeper programming techniques, and include the information you need to administer this service. * Learn how ZooKeeper solves common coordination tasks * Explore the ZooKeeper API?s Java and C implementations and how they differ * Use methods to track and react to ZooKeeper state changes * Handle failures of the network, application processes, and ZooKeeper itself * Learn about ZooKeeper?s trickier aspects dealing with concurrency, ordering, and configuration * Use the Curator high-level interface for connection management * Become familiar with ZooKeeper internals and administration tools

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot