1855 search results - page 93 / 371 » Composing model programs for analysis |
118
click to vote
TCAD
2010
15 years 1 months ago
2010
—With the scaling of complementary metal–oxide– semiconductor (CMOS) technology into the nanometer regime, the overshooting effect due to the input-to-output coupling capacit...
145
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
134
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
127
click to vote
EUC
2008
Springer
15 years 4 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
102
click to vote
SIAMMAX
2010
14 years 10 months ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...