112
Voted
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
163
click to vote
CAV
2004
Springer
15 years 7 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...
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
130
Voted
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
Inspired by Feige (36th STOC, 2004), we initiate a study of sublinear randomized algorithms for approximating average parameters of a graph. Specifically, we consider the average ...