Software Fault Tolerance of Distributed Programs Using Computation Slicing
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
ACM SIGACT News distributed computing column 12
ACM SIGACT News
Optimal early stopping uniform consensus in synchronous systems with process omission failures
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
A Critique of Java for Concurrent Programming
IEEE Distributed Systems Online
Techniques and applications of computation slicing
Distributed Computing
Algorithmic combinatorics based on slicing posets
Theoretical Computer Science
Formal Verification of Simulation Traces Using Computation Slicing
IEEE Transactions on Computers
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems
Estimating Metabolic Pathways Parameters Using Distributed Monte Carlo Method
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Revisiting simultaneous consensus with crash failures
Journal of Parallel and Distributed Computing
Separability to help parallel simulation of distributed computations
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Global predicate detection in distributed systems with small faults
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Model-driven construction of embedded applications based on reusable building blocks: an example
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Modeling and analyzing periodic distributed computations
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Architectural Requirements for Cloud Computing Systems: An Enterprise Cloud Approach
Journal of Grid Computing
Concurrency-oriented verification and coverage of system-level designs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Federate Fault Tolerance in HLA-Based Simulation
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Host-Based security sensor integrity in multiprocessing environments
ISPEC'10 Proceedings of the 6th international conference on Information Security Practice and Experience
Composable reliability for asynchronous systems
USENIX ATC'12 Proceedings of the 2012 USENIX conference on Annual Technical Conference
From clarity to efficiency for distributed algorithms
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Detecting temporal logic predicates on distributed computations
DISC'07 Proceedings of the 21st international conference on Distributed Computing
High-Level executable specifications of distributed algorithms
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
F2FMI: A toolkit for facilitating face-to-face mobile interaction
Expert Systems with Applications: An International Journal
Modeling, analyzing and slicing periodic distributed computations
Information and Computation
Hi-index | 0.01 |
Departing from the focus on shared memory and synchronous systems commonly taken by other texts, this is the first useful reference based on an asynchronous model of distributed computing, the most widely used in academia and industry. The emphasis of the book is on developing general mechanisms that can be applied to a variety of problems. Its examples-clocks, locks, cameras, sensors, controllers, slicers, and synchronizers-have been carefully chosen so that they are fundamental and yet useful in practical contexts.