Sciweavers

2266 search results - page 2 / 454
» Generalizing parametric timing analysis
Sort
View
DAC
2006
ACM
14 years 6 months ago
Criticality computation in parameterized statistical timing
Chips manufactured in 90 nm technology have shown large parametric variations, and a worsening trend is predicted. These parametric variations make circuit optimization difficult ...
Jinjun Xiong, Vladimir Zolotov, Natesan Venkateswa...
WSC
1998
13 years 6 months ago
A Parametric Version of Jackknife-after-Bootstrap
In this paper, we investigate the problem of deriving precision estimates for bootstrap quantities within parametric families. Efron's [1992] jackknife-after-bootstrap is a s...
Jin Wang
DAC
2003
ACM
14 years 6 months ago
Death, taxes and failing chips
In the way they cope with variability, present-day methodologies are onerous, pessimistic and risky, all at the same time! Dealing with variability is an increasingly important as...
Chandu Visweswariah
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
13 years 9 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
RTSS
2005
IEEE
13 years 11 months ago
ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
Sibin Mohan, Frank Mueller, William Hawkins, Micha...