686 search results - page 14 / 138 » Statistical Timing Analysis with Extended Pseudo-Canonical T... |
WSC
2007
13 years 11 months ago
2007
This paper reviews statistical methods for analyzing output data from computer simulations. Specifically, it focuses on the estimation of steady-state system parameters. The esti...
SSDBM
1994
IEEE
14 years 26 days ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
The timing models used in current Static Timing Analysis tools use gate delays only for single input switching events. It is well known that the temporal proximity of signals arriv...
ACL
2012
11 years 11 months ago
2012
Long-span features, such as syntax, can improve language models for tasks such as speech recognition and machine translation. However, these language models can be difficult to u...
CAV
2003
Springer
14 years 12 days ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...