544 search results - page 104 / 109 » On the Complexity of Loop Fusion |
93
Voted
ISSTA
2004
ACM
15 years 4 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
108
Voted
SIGMOD
2004
ACM
15 years 4 months ago
2004
ACM
An increasing number of data sources now become available on the Web, but often their contents are only accessible through query interfaces. For a domain of interest, there often ...
110
Voted
CLEF
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Recent research has suggested that there is no general similarity measure, which can be applied on arbitrary databases without any parameterization. Hence, the optimal co...
93
Voted
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
106
Voted
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...