4722 search results - page 283 / 945 » Representation-independent program analysis |
172
click to vote
ISSTA
2006
ACM
16 years 15 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
175
click to vote
ICS
2005
Tsinghua U.
16 years 1 days ago
2005
Tsinghua U.
Previous studies have shown that array regrouping and structure splitting significantly improve data locality. The most effective technique relies on profiling every access to eve...
167
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
151
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
175
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...