861 search results - page 51 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
105
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
239
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
147
Voted
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...