28888 search results - page 168 / 5778 » Computability and complexity in analysis |
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated. Spatial correlation and correlation caused by p...
IEEEPACT
2000
IEEE
14 years 18 days ago
2000
IEEE
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
DAC
1996
ACM
14 years 11 days ago
1996
ACM
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...
FORMATS
2006
Springer
13 years 12 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
Many Wyner-Ziv video coding (WZVC) schemes encode a video sequence into two types of frames, key frames and Wyner-Ziv frames. We have previously presented a Wyner-Ziv video coding...