Login / Signup
Accurate timing analysis using SAT and pattern-dependent delay models.
Desta Tadesse
D. Sheffield
E. Lenge
R. Iris Bahar
Joel Grodstein
Published in:
DATE (2007)
Keyphrases
</>
accurate models
model selection
statistical models
genetic algorithm
probabilistic model
pattern matching
sat solvers
autoregressive
web services
search algorithm
prior knowledge
quality of service
process model
search strategies
mathematical models