376 search results - page 48 / 76 » Improved Design Debugging Using Maximum Satisfiability |
160
click to vote
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL redu...
128
Voted
PE
2007
Springer
15 years 3 months ago
2007
Springer
This paper develops time-based rejuvenation policies to improve the performability measures of a cluster system. Three rejuvenation policies, namely standard rejuvenation, delayed...
162
click to vote
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
The emergence of global-scale online services has galvanized scale-out software, characterized by splitting vast datasets and massive computation across many independent servers. ...
138
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
142
click to vote
MOBISYS
2011
ACM
14 years 7 months ago
2011
ACM
This paper is motivated by two observations: (1) cellular network operators are actively exploring advertisement delivery as a new means of revenue generation, and (2) cellular ba...