4164 search results - page 661 / 833 » Timing model reduction for hierarchical timing analysis |
153
click to vote
TSMC
2008
15 years 6 months ago
2008
This paper proposes a novel method to estimate the head yaw rotations based on the asymmetry of 2-D facial appearance. In traditional appearance-based pose estimation methods, feat...
261
click to vote
DATE
2011
IEEE
14 years 10 months ago
2011
IEEE
Current processors are optimized for average case performance, often leading to a high worst-case execution time (WCET). Many architectural features that increase the average case...
179
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
145
click to vote
MOBIHOC
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Conserved gene clusters are groups of genes that are located close to one another in the genomes of several species. They tend to code for proteins that have a functio...