1256 search results - page 151 / 252 » Experiences with the DEVStone benchmark |
91
Voted
FMCAD
2009
Springer
15 years 7 months 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...
101
click to vote
IWMM
2009
Springer
15 years 7 months 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...
PDCAT
2009
Springer
15 years 7 months 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...
PKDD
2009
Springer
15 years 7 months 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...
113
click to vote
PKDD
2009
Springer
15 years 7 months 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...