1632 search results - page 48 / 327 » Topological Analysis of Refinement |
ISQED
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper presents a methodology for the statistical analysis of clock tree structures. It allows to accurately predict and analyze the impact of process variation on clock skew....
CAV
2006
Springer
15 years 2 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— We consider the synchronization problem of an arbitrary number of coupled nonlinear oscillators with delays in the interconnections. The emphasis is on coupled Lorenz s...
APNOMS
2006
Springer
15 years 2 months ago
2006
Springer
Many research works address detection and identification of network anomalies using traffic analysis. This paper considers large topologies, such as those of an ISP, with traffic a...
VISUALIZATION
2005
IEEE
15 years 3 months ago
2005
IEEE
Analysis of degenerate tensors is a fundamental step in finding the topological structures and separatrices in tensor fields. Previous work in this area have been limited to ana...