2286 search results - page 119 / 458 » Statistical timing analysis based on a timing yield model |
140
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
151
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Change impact analysis aims at identifying software artifacts being affected by a change. In the past, this problem has been addressed by approaches relying on static, dynamic, a...
125
click to vote
ACL
2009
15 years 2 months ago
2009
Tree-based statistical machine translation models have made significant progress in recent years, especially when replacing 1-best trees with packed forests. However, as the parsi...
151
click to vote
NAR
2010
14 years 11 months ago
2010
Serial transcriptomics experiments investigate the dynamics of gene expression changes associated with a quantitative variable such as time or dosage. The statistical analysis of ...
147
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...