214 search results - page 19 / 43 » An Experimental Evaluation on Reliability Features of N-Vers... |
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
101
click to vote
DIMVA
2006
15 years 1 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
113
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: The reliable extraction of features from mass spectra is a fundamental step in the automated analysis of proteomic mass spectrometry (MS) experiments. Results: This co...
108
click to vote
NIPS
2000
15 years 29 days ago
2000
We propose a novel approach for categorizing text documents based on the use of a special kernel. The kernel is an inner product in the feature space generated by all subsequences...
96
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...