Sciweavers

4164 search results - page 47 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
ICASSP
2011
IEEE
13 years 23 days ago
Video thumbnail extraction using video time density function and independent component analysis mixture model
In this paper, we propose a new vector quantization method to create video thumbnail. In particular, we employ video time density function (VTDF) to explore the temporal character...
Junfeng Jiang, Xiao-Ping Zhang
DATE
2008
IEEE
125views Hardware» more  DATE 2008»
14 years 3 months ago
Current source based standard cell model for accurate signal integrity and timing analysis
— The inductance and coupling effects in interconnects and non-linear receiver loads has resulted in complex input signals and output loads for gates in the modern deep submicron...
Amit Goel, Sarma B. K. Vrudhula
EMSOFT
2006
Springer
13 years 11 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
FM
2003
Springer
139views Formal Methods» more  FM 2003»
14 years 2 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
DATE
2003
IEEE
151views Hardware» more  DATE 2003»
14 years 2 months ago
Analysis and White-Box Modeling of Weakly Nonlinear Time-Varying Circuits
The architectural study of wireless communication systems typically requires simulations with high-level models for different analog and RF blocks. Among these blocks, frequency-t...
Petr Dobrovolný, Gerd Vandersteen, Piet Wam...