2673 search results - page 300 / 535 » Guided Static Analysis |
159
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
142
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
155
click to vote
AIIA
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a novel method for wide coverage parsing using an incremental strategy, which is psycholinguistically motivated. A recursive neural network is trained on treeba...
170
click to vote
PADO
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
162
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The widespread presence of errors in spreadsheets is now well-established. Quite a few methodological and software approaches have been suggested as ways to reduce spreadsheet err...