Sciweavers

526 search results - page 63 / 106
» Improved Decomposition of STGs
Sort
View
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
14 years 4 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ICMCS
2006
IEEE
115views Multimedia» more  ICMCS 2006»
14 years 4 months ago
On Training Neural Network Algorithms for Odor Identification for Future Multimedia Communication Systems
Future multimedia communication system can be developed to identify, transmit and provide odors besides voice and image. In this paper, an improved odor identification method is i...
Ki-Hyeon Kwon, Namyong Kim, Hyung-Gi Byun, Krishna...
ISCAS
2006
IEEE
120views Hardware» more  ISCAS 2006»
14 years 4 months ago
Localization based audio source separation by sub-band beamforming
— In this paper, a localization based approach of audio signal separation from binary mixtures is carried out. The audio sources are localized in the spatial domain (azimuth plan...
M. Khademul Islam Molla, Keikichi Hirose, Nobuaki ...
ISPD
2006
ACM
103views Hardware» more  ISPD 2006»
14 years 3 months ago
High accurate pattern based precondition method for extremely large power/ground grid analysis
In this paper, we propose more accurate power/ground network circuit model, which consider both via and ground bounce effects to improve the performance estimation accuracy of on-...
Jin Shi, Yici Cai, Sheldon X.-D. Tan, Xianlong Hon...
ICMCS
2005
IEEE
131views Multimedia» more  ICMCS 2005»
14 years 3 months ago
A New Bit-Plane Entropy Coder for Scalable Image Coding
Compression ratio and computational complexity are two major factors for a successful image coder. By exploring the Laplacian distribution of the wavelet coefficients, a new bit ...
Rong Zhang, Rongshan Yu, Qibin Sun, Wai-Choong Won...