4164 search results - page 95 / 833 » Timing model reduction for hierarchical timing analysis |
144
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
A new model-order reduction technique for linear dynamic systems is presented. The idea behind this technique is to transform the dynamic system function from the s-domain into th...
181
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
151
click to vote
SIGMETRICS
1999
ACM
15 years 10 months ago
1999
ACM
ded Abstract This paper introduces a new technique for compressing memory address traces. The technique relies on the simple observation that most programs spend their time execut...
196
click to vote
FOCI
2007
IEEE
16 years 19 days ago
2007
IEEE
— We evaluate the average waiting time between observing the price of financial markets and the next price change, especially in an on-line foreign exchange trading service for ...
236
click to vote
LCN
2005
IEEE
15 years 12 months ago
2005
IEEE
—Wireless sensor networks afford a new opportunity to observe and interact with physical phenomena at an unprecedented fidelity. To fully realize this vision, these networks have...