3688 search results - page 674 / 738 » Static analysis of aspects |
103
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
118
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
106
click to vote
DASFAA
2010
IEEE
15 years 6 months ago
2010
IEEE
Trajectory clustering has played a crucial role in data analysis since it reveals underlying trends of moving objects. Due to their sequential nature, trajectory data are often rec...
101
click to vote
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...