5855 search results - page 898 / 1171 » Test generation and minimization with |
NDSS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
101
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...
126
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
105
click to vote
GLVLSI
2005
IEEE
15 years 7 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
108
click to vote
APPROX
2005
Springer
15 years 7 months ago
2005
Springer
An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword...