1256 search results - page 151 / 252 » Experiences with the DEVStone benchmark |
145
click to vote
FMCAD
2009
Springer
16 years 28 days ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
154
click to vote
IWMM
2009
Springer
16 years 28 days ago
2009
Springer
Good spatial locality alleviates both the latency and bandwidth problem of memory by boosting the effect of prefetching and improving the utilization of cache. However, convention...
158
click to vote
PDCAT
2009
Springer
16 years 28 days ago
2009
Springer
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...
160
click to vote
PKDD
2009
Springer
16 years 28 days ago
2009
Springer
Existing feature extraction methods explore either global statistical or local geometric information underlying the data. In this paper, we propose a general framework to learn fea...
176
click to vote
PKDD
2009
Springer
16 years 28 days ago
2009
Springer
This paper presents an interdisciplinary investigation of statistical information retrieval (IR) techniques for protein identification from tandem mass spectra, a challenging probl...