503 search results - page 25 / 101 » Live Debugging of Distributed Systems |
ICFP
2009
ACM
14 years 4 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
PPPJ
2003
ACM
14 years 3 months ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
CLUSTER
2007
IEEE
13 years 9 months ago
2007
IEEE
— In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this in...
PODC
1994
ACM
14 years 1 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
The society in which we live today is increasingly a knowledge society. Organizations are turning more and more to knowledge creation and management for the development of their c...