Sciweavers

674 search results - page 61 / 135
» A method proposal for architectural reliability evaluation
Sort
View
DAC
1994
ACM
15 years 1 months ago
New Techniques for Efficient Verification with Implicitly Conjoined BDDs
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
Alan J. Hu, Gary York, David L. Dill
CASES
2009
ACM
15 years 2 months ago
Complete nanowire crossbar framework optimized for the multi-spacer patterning technique
Nanowire crossbar circuits are an emerging architectural paradigm that promises a higher integration density and an improved fault-tolerance due to its reconfigurability. In this...
M. Haykel Ben Jamaa, Gianfranco Cerofolini, Yusuf ...
ICPR
2008
IEEE
15 years 11 months ago
An adaptive-PCA algorithm for reflectance estimation from color images
This paper deals with the problem of spectral reflectance estimation from color camera outputs. Because the reconstruction of such functions is an inverse problem, stabilizing the...
Alamin Mansouri, Jon Yngve Hardeberg, Tadeusz Sliw...
ISQED
2005
IEEE
95views Hardware» more  ISQED 2005»
15 years 3 months ago
Power Supply Noise-Aware Scheduling and Allocation for DSP Synthesis
As technology scales down, power supply noise is becoming a performance and reliability bottleneck in modern VLSI. We propose a power supply noise-aware design methodology for hig...
Dongku Kang, Yiran Chen, Kaushik Roy
ICASSP
2010
IEEE
14 years 10 months ago
Voice activity detection using harmonic frequency components in likelihood ratio test
This paper proposes a new statistical model-based likelihood ratio test (LRT) VAD to obtain reliable speech / non-speech decisions. In the proposed method, the likelihood ratio (L...
Lee Ngee Tan, Bengt J. Borgstrom, Abeer Alwan