2068 search results - page 299 / 414 » On Effectiveness of Application-Layer Coding |
135
Voted
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
131
click to vote
PDCAT
2009
Springer
15 years 11 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...
118
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
137
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
130
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
An important yet largely uncharted problem in malware defense is how to automate generation of infection signatures for detecting compromised systems, i.e., signatures that charac...