3639 search results - page 29 / 728 » Provenance as Dependency Analysis |
ISQED
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— As the semiconductor technology continues its marching toward the deep sub-micron domain, the strong relation between leakage current and temperature becomes critical i...
MCS
2001
Springer
15 years 2 months ago
2001
Springer
One of the main factors affecting the effectiveness of ECOC methods for classification is the dependence among the errors of the computed codeword bits. We present an extensive ...
WORDS
2003
IEEE
15 years 2 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
EUROMICRO
2007
IEEE
14 years 11 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
FSTTCS
2008
Springer
14 years 10 months ago
2008
Springer
For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the proof method that established termination. In this s...