Sciweavers

3600 search results - page 396 / 720
» The settling-time reducibility ordering
Sort
View
DATE
2009
IEEE
90views Hardware» more  DATE 2009»
16 years 1 months ago
Property analysis and design understanding
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
Ulrich Kühne, Daniel Große, Rolf Drechs...
DATE
2009
IEEE
138views Hardware» more  DATE 2009»
16 years 1 months ago
Cache aware compression for processor debug support
—During post-silicon processor debugging, we need to frequently capture and dump out the internal state of the processor. Since internal state constitutes all memory elements, th...
Anant Vishnoi, Preeti Ranjan Panda, M. Balakrishna...
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
16 years 1 months ago
On hierarchical statistical static timing analysis
— Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the cor...
Bing Li, Ning Chen, Manuel Schmidt, Walter Schneid...
GLOBECOM
2009
IEEE
16 years 1 months ago
Channel Orthogonalizing Precoder for Open-Loop QO-STBC Systems
—This paper proposes a new preprocessing scheme for rate-one quasi-orthogonal space-time block code (QO-STBC), which requires no channel state information at the transmitter. We ...
Heejin Kim, Heunchul Lee, Inkyu Lee
GLOBECOM
2009
IEEE
16 years 1 months ago
Accelerating Initialization for Sensor Networks
—Initialization is an indispensable process for wireless sensor networks since newly deployed sensors lack a reliable infrastructure for communication. Many efforts have been mad...
Linghe Kong, Luoyi Fu, Xuemei Liu, Min-You Wu