Sciweavers

503 search results - page 2 / 101
» Live Debugging of Distributed Systems
Sort
View
OTM
2007
Springer
13 years 11 months ago
An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems
After over thirty years of distributed computing, debugging distributed applications is still regarded as a difficult task. While it could be argued that this condition stems from ...
Giuliano Mega, Fabio Kon
SIGSOFT
2009
ACM
14 years 6 months ago
DebugAdvisor: a recommender system for debugging
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
B. Ashok, Joseph M. Joy, Hongkang Liang, Sriram K....
ECBS
1997
IEEE
118views Hardware» more  ECBS 1997»
13 years 9 months ago
A generic system for interactive real-time animation
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
Marita Dücker, Georg Lehrenfeld, Wolfgang M&u...
AICCSA
2001
IEEE
112views Hardware» more  AICCSA 2001»
13 years 9 months ago
Implementation of DDARC: Software Architecture for Debugging Distributed Programs
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
Sushma Rai, D. Sampath, Srivathsa N. S.
IC3
2009
13 years 3 months ago
Verification of Liveness Properties in Distributed Systems
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
Divakar Yadav, Michael Butler