6059 search results - page 1150 / 1212 » A Technique for Verifying Measurements |
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
LATIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
Current developments in processing data streams are based on the best-effort principle and therefore not adequate for many application areas. When sensor data is gathered by inte...
102
click to vote
CGO
2003
IEEE
15 years 5 months ago
2003
IEEE
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of aggressive code transformations. Since most of these transformations are...
CSB
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a novel algorithm for identification and functional characterization of “key” genome features responsible for a particular biochemical process of interest....