503 search results - page 29 / 101 » Live Debugging of Distributed Systems |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
ICMCS
2009
IEEE
13 years 7 months ago
2009
IEEE
Peer-to-peer content distribution provides high network throughput with relatively low server cost and scales better than traditional content distribution networks with respect to...
PPNA
2008
13 years 9 months ago
2008
Abstract Video-over-IP applications have recently attracted a large number of users on the Internet. Traditional client-server based video streaming solutions incur expensive bandw...
CCS
2005
ACM
14 years 3 months ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...
BIRTHDAY
2007
Springer
14 years 4 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...