4164 search results - page 642 / 833 » Timing model reduction for hierarchical timing analysis |
143
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
176
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—In a reconfigurable network, lightpath connections can be dynamically changed to reflect changes in traffic conditions. This paper characterizes the gain in traffic capacity tha...
200
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Integration of multiple results from Quantitative Trait Loci (QTL) studies is a key point to understand the genetic determinism of complex traits. Up to now many effor...
163
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
To compare spatial patterns of gene expression, one must analyze a large number of images as current methods are only able to measure a small number of genes at a time. Bringing i...
190
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Most existing subspace analysis-based tracking algorithms utilize a flattened vector to represent a target, resulting in a high dimensional data learning problem. Recently, subspa...