4164 search results - page 126 / 833 » Timing model reduction for hierarchical timing analysis |
183
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
The performance of timing-driven placement methods depends strongly on the choice of the net model. In this paper a more precise net model is presented that does not increase nume...
191
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Graphical models are useful for capturing interdependencies of statistical variables in various fields. Estimating parameters describing sparse graphical models of stationary mul...
157
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
180
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
149
click to vote
VTC
2006
IEEE
16 years 11 days ago
2006
IEEE
— In this paper, a semi-analytical approach for the performance analysis of the random time slot (TS) hopping (RTSH) algorithm applied to code division multiple access time divis...