26354 search results - page 5156 / 5271 » How we refactor, and how we know it |
109
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
139
click to vote
ECIR
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
106
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Traditional circuit design focuses on optimizing the static critical paths no matter how infrequently these paths are exercised dynamically. Circuit optimization is then tuned to ...
127
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Heat removal and power delivery have become two major reliability concerns in 3D stacked IC technology. For thermal problem, two possible solutions exist: thermal-through-silicon-...
111
click to vote
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
We propose a subspace learning algorithm for face recognition by directly optimizing recognition performance scores. Our approach is motivated by the following observations: 1) Di...