1901 search results - page 219 / 381 » Predicting Program Properties from |
195
click to vote
JMLR
2010
15 years 5 months ago
2010
Convolution kernels for trees provide simple means for learning with tree-structured data. The computation time of tree kernels is quadratic in the size of the trees, since all pa...
189
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
241
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—Online shopping has grown rapidly over the past few years. Besides the convenience of shopping directly from ones home, an important advantage of e-commerce is the great variety...
173
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
162
click to vote
CAL
2006
15 years 6 months ago
2006
Multiple core designs have become commonplace in the processor market, and are hence a major focus in modern computer architecture research. Thus, for both product development and ...