351 search results - page 20 / 71 » Generating Java trace data |
PLDI
2012
ACM
13 years 14 days ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The coming generation of mobile phones will enable objects from enterprise systems to be distributed across a range of devices of different scales. This object mobility will provi...
RV
2010
Springer
14 years 8 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
120
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
ATVA
2004
Springer
15 years 3 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...