5138 search results - page 993 / 1028 » Randomized Algorithms for 3-SAT |
93
Voted
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
Quorums are a basic construct in solving many fundamental distributed computing problems. One of the known ways of making quorums scalable and efficient is by weakening their int...
114
click to vote
GLVLSI
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
121
click to vote
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract — Regularized block diagonalization (RBD) is a new linear precoding technique for the multi-antenna broadcast channel and has a significantly improved sum rate and dive...
ICDM
2008
IEEE
15 years 6 months ago
2008
IEEE
Set expansion refers to expanding a partial set of “seed” objects into a more complete set. One system that does set expansion is SEAL (Set Expander for Any Language), which e...
120
click to vote
ICSM
2008
IEEE
15 years 6 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...