↓ Skip to main content

Networked Systems

Overview of attention for book
Cover of 'Networked Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)
  3. Altmetric Badge
    Chapter 2 On the Complexity of Fault-Tolerant Consensus
  4. Altmetric Badge
    Chapter 3 Checking Causal Consistency of Distributed Databases
  5. Altmetric Badge
    Chapter 4 Liveness in Broadcast Networks
  6. Altmetric Badge
    Chapter 5 Formal Verification of UML State Machine Diagrams Using Petri Nets
  7. Altmetric Badge
    Chapter 6 Synthesize Models for Quantitative Analysis Using Automata Learning
  8. Altmetric Badge
    Chapter 7 Continuous vs . Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
  9. Altmetric Badge
    Chapter 8 Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems
  10. Altmetric Badge
    Chapter 9 Self-stabilization Overhead: A Case Study on Coded Atomic Storage
  11. Altmetric Badge
    Chapter 10 StakeCube : Combining Sharding and Proof-of-Stake to Build Fork-Free Secure Permissionless Distributed Ledgers
  12. Altmetric Badge
    Chapter 11 Dissecting Tendermint
  13. Altmetric Badge
    Chapter 12 CUDA-DTM: Distributed Transactional Memory for GPU Clusters
  14. Altmetric Badge
    Chapter 13 Towards Synthesis of Distributed Algorithms with SMT Solvers
  15. Altmetric Badge
    Chapter 14 Recoverable Mutual Exclusion with Abortability
  16. Altmetric Badge
    Chapter 15 An Efficient Network IDS for Cloud Environments Based on a Combination of Deep Learning and an Optimized Self-adaptive Heuristic Search Algorithm
  17. Altmetric Badge
    Chapter 16 Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis
  18. Altmetric Badge
    Chapter 17 A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks
  19. Altmetric Badge
    Chapter 18 How to Choose Its Parents in the Tangle
  20. Altmetric Badge
    Chapter 19 Bitcoin Security with Post Quantum Cryptography
  21. Altmetric Badge
    Chapter 20 Achieving Starvation-Freedom in Multi-version Transactional Memory Systems
  22. Altmetric Badge
    Chapter 21 Mutex-Based De-anonymization of an Anonymous Read/Write Memory
  23. Altmetric Badge
    Chapter 22 A Pragmatic Non-blocking Concurrent Directed Acyclic Graph
  24. Altmetric Badge
    Chapter 23 The Fake News Vaccine
  25. Altmetric Badge
    Chapter 24 Distributed Online Data Aggregation in Dynamic Graphs
  26. Altmetric Badge
    Chapter 25 A Multi-criteria Group Decision Making Method for Big Data Storage Selection
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
1 Dimensions