151
click to vote
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
We consider Glauber dynamics on finite spin systems. The mixing time of Glauber dynamics can be bounded in terms of the influences of sites on each other. We consider three parame...
138
Voted
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
117
Voted
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
Given an m
135
click to vote
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
Given two binary linear codes R and C, their tensor product R C consists of all matrices with rows in R and columns in C. We analyze the "robustness" of the following te...
131
click to vote
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
We prove that any real matrix A contains a subset of at most 4k/ + 2k log(k + 1) rows whose span "contains" a matrix of rank at most k with error only (1 + ) times the er...