503 search results - page 41 / 101 » Live Debugging of Distributed Systems |
GAMEON
2001
13 years 11 months ago
2001
The field of multi-agent systems is an active area of research. One of the possible applications of a multi-agent system is the use of distributed techniques for problem solving. ...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
AP2PC
2004
Springer
14 years 3 months ago
2004
Springer
With the proliferation of content creation devices, sharing digital contents has become an increasingly common task in our daily lives. This research proposes the “Photo Agent”...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
CCGRID
2004
IEEE
14 years 1 months ago
2004
IEEE
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...