4164 search results - page 554 / 833 » Timing model reduction for hierarchical timing analysis |
159
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
169
click to vote
MM
2006
ACM
16 years 20 days ago
2006
ACM
This paper presents a novel approach to object recognition involving a sparse 2D model and matching using video. The model is generated on the basis of geometry and image measurab...
170
click to vote
NOSSDAV
2005
Springer
16 years 5 days ago
2005
Springer
This paper analyses the traffic characteristics of, and proposes a traffic model for, the Xbox game Halo 2. Our goal is to help players and network providers to estimate the amoun...
154
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- For sub-90nm technology nodes and below, random fluctuations of within-die physical process properties are also known as random on-chip variation (OCV). It impacts on the VLSI/So...
237
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...