4164 search results - page 128 / 833 » Timing model reduction for hierarchical timing analysis |
156
click to vote
LCN
1999
IEEE
15 years 10 months ago
1999
IEEE
A statistical analysis of Internet traffic measurements from a campus site is carried out to examine the influence of the constituent protocols and applications on the characteris...
197
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
169
click to vote
TASLP
2010
15 years 4 months ago
2010
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...
159
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
175
click to vote
BIOCOMP
2006
15 years 7 months ago
2006
A number of diseases, such as arthritis and cardiovascular disorders impacting the lives of many people have strong inflammatory components. To elucidate the antiinflammatory mecha...