9842 search results - page 306 / 1969 » Compositional timing analysis |
121
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
144
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
135
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
189
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
140
click to vote
CSREAESA
2008
15 years 6 months ago
2008
This paper discusses why the extensive scientific results on predicting embedded systems temporal behavior never, or very seldom, reaches the industrial community. We also point ou...