Distributed Systems

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude By Peter Csaba Ölveczky
English | PDF,EPUB | 2017 | 326 Pages | ISBN : 1447166868 | 9.85 MB

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.

Rendezvous in Distributed Systems: Theory, Algorithms and Applications  eBooks & eLearning

Posted by hill0 at Feb. 5, 2018
Rendezvous in Distributed Systems: Theory, Algorithms and Applications

Rendezvous in Distributed Systems: Theory, Algorithms and Applications by Zhaoquan Gu
English | 24 Sept. 2017 | ISBN: 9811036799 | 284 Pages | PDF | 4.16 MB
Transactions on Computational Science XXXI: Special Issue on Signal Processing and Security in Distributed Systems

Transactions on Computational Science XXXI: Special Issue on Signal Processing and Security in Distributed Systems (Lecture Notes in Computer Science) by Marina L. Gavrilova
English | 8 Mar. 2018 | ISBN: 366256498X | 155 Pages | PDF | 14.94 MB

This, the 31st issue of the Transactions on Computational Science, focusses on signal processing and security in distributed systems. The areas of application include facial recognition, musical analysis,

Continuous and Distributed Systems: Theory and Applications  eBooks & eLearning

Posted by AvaxGenius at Jan. 14, 2018
Continuous and Distributed Systems: Theory and Applications

Continuous and Distributed Systems: Theory and Applications By Mikhail Z. Zgurovsky
English | PDF(Repost),EPUB | 2014 | 334 Pages | ISBN : 3319031457 | 12.14 MB

In this volume, the authors close the gap between abstract mathematical approaches, such as abstract algebra, number theory, nonlinear functional analysis, partial differential equations, methods of nonlinear and multi-valued analysis, on the one hand, and practical applications in nonlinear mechanics, decision making theory and control theory on the other.
Stabilization, Safety, and Security of Distributed Systems: 19th International Symposium

Stabilization, Safety, and Security of Distributed Systems: 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings by Paul Spirakis, Philippas Tsigas
English | 2017 | ISBN: 3319690833 | 496 Pages | PDF | 28.5 MB

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017.

Distributed Systems with Persistent Memory: Control and Moment Problems (Repost)  eBooks & eLearning

Posted by insetes at Jan. 4, 2018
Distributed Systems with Persistent Memory: Control and Moment Problems (Repost)

Distributed Systems with Persistent Memory: Control and Moment Problems By Luciano Pandolfi
2014 | 164 Pages | ISBN: 3319122460 | PDF | 4 MB

Principles of Distributed Systems [Repost]  eBooks & eLearning

Posted by tanas.olesya at Dec. 13, 2017
Principles of Distributed Systems [Repost]

Principles of Distributed Systems (Lecture Notes in Computer Science) by Marcos K. Aguilera
English | 15 Dec. 2014 | ISBN: 3319144715 | 520 Pages | PDF | 9 MB

The papers are organized in topical sections on consistency; distributed graph algorithms; fault tolerance; models; radio networks; robots; self-stabilization; shared data structures; shared memory; synchronization and universal construction.

Controllability, Identification, and Randomness in Distributed Systems (Repost)  eBooks & eLearning

Posted by DZ123 at Nov. 29, 2017
Controllability, Identification, and Randomness in Distributed Systems (Repost)

Marzieh Nabi-Abdolyousefi, "Controllability, Identification, and Randomness in Distributed Systems"
English | 2014 | ISBN: 3319024280 | PDF | pages: 155 | 4.3 mb
The Practice of Cloud System Administration, Volume 2: Designing and Operating Large Distributed Systems

The Practice of Cloud System Administration, Volume 2: Designing and Operating Large Distributed Systems by Thomas A. Limoncelli, Christina J. Hogan, Strata R. Chalup
English | 2015 | ISBN: 032194318X | 559 Pages | PDF | 5.60 MB

"There's an incredible amount of depth and thinking in the practices described here, and it's impressive to see it all in one place." –Win Treese, coauthor of Designing Systems for Internet Commerce

Rendezvous in Distributed Systems: Theory, Algorithms and Applications  eBooks & eLearning

Posted by arundhati at Oct. 26, 2017
Rendezvous in Distributed Systems: Theory, Algorithms and Applications

Zhaoquan Gu, "Rendezvous in Distributed Systems: Theory, Algorithms and Applications"
2017 | ISBN-10: 9811036799 | 284 pages | EPUB | 4 MB