4164 search results - page 407 / 833 » Timing model reduction for hierarchical timing analysis |
169
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
148
click to vote
VTS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we for the rst time present experimental evidence that the die surface can act as an RC interconnect, becoming an important factor in determining the voltage of a o...
253
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
In this paper, we introduce a simple, randomized dynamic data structure for storing multidimensional point sets, called a quadtreap. This data structure is a randomized, balanced ...
150
click to vote
IJBC
2010
15 years 4 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
208
click to vote
DAM
1999
15 years 6 months ago
1999
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...