12272 search results - page 348 / 2455 » Experimental program analysis |
196
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
174
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
196
click to vote
ECML
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a decomposition method for efficiently constructing 1-norm Support Vector Machines (SVMs). The decomposition algorithm introduced in this paper possesses many d...
212
click to vote
ISMB
1996
15 years 8 months ago
1996
This study demonstratesthe use of decision tree classifiers as the basis for a general gene-finding system. The system uses a dynamic programmingalgorithm that. finds the optimal ...
179
click to vote
TCBB
2010
15 years 5 months ago
2010
— We present efficient cache-oblivious algorithms for some well-studied string problems in bioinformatics including the longest common subsequence, global pairwise sequence alig...