323 search results - page 61 / 65 » Verify Your Runs |
ECOOP
1999
Springer
14 years 25 days ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
EUROSYS
2010
ACM
14 years 20 days ago
2010
ACM
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...
ISSTA
2010
ACM
14 years 14 days ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
CAV
2004
Springer
14 years 9 days ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
DELTA
2006
IEEE
14 years 7 days ago
2006
IEEE
This paper describes the concept, architecture, development and demonstration of a real time, high performance, software defined 4-receiver system and a space time decoder to be i...