3 search results - page 1 / 1 » Execution suppression: An automated iterative technique for ... |
TOPLAS
2010
13 years 2 months ago
2010
CAV
2004
Springer
13 years 8 months 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...
IWMM
2009
Springer
13 years 11 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...