544 search results - page 104 / 109 » On the Complexity of Loop Fusion |
ISSTA
2004
ACM
14 years 29 days 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...
SIGMOD
2004
ACM
14 years 29 days 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 ...
CLEF
2004
Springer
14 years 28 days 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...
EMSOFT
2004
Springer
14 years 28 days 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...
VMCAI
2004
Springer
14 years 27 days 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...