TPHOL
2005
IEEE
14 years 5 months ago
2005
IEEE
TPHOL
2005
IEEE
14 years 5 months ago
2005
IEEE
We show that delaying fully-expansive proof reconstruction for non-interactive decision procedures can result in a more efficient workflow. In contrast with earlier work, our appr...
ISMVL
2005
IEEE
14 years 5 months ago
2005
IEEE
ISMVL
2005
IEEE
14 years 5 months ago
2005
IEEE
In digital signal processing, we often use higher radix system to achieve high-speed computation. In such cases, we require radix converters. This paper considers the design of LU...
ISMVL
2005
IEEE
14 years 5 months ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
ISMVL
2005
IEEE
14 years 5 months ago
2005
IEEE
In this paper, we propose three novel cache models using Multiple-Valued Logic (MVL) paradigm to reduce the cache data storage area and cache energy consumption for embedded syste...
ISMVL
2005
IEEE
14 years 5 months ago
2005
IEEE
A novel duplex asynchronous data-transfer scheme based on multiple-valued encoding is proposed for interleaving in Low-Density Parity-Check (LDPC) decoders, where high-throughput ...
ISMVL
2005
IEEE
14 years 5 months ago
2005
IEEE
ISMVL
2005
IEEE
14 years 5 months ago
2005
IEEE
As logic device sizes shrink towards the nanometer scale, a number of important physical limits threaten to soon halt further improvements in computer performance per unit cost. H...
ICTAI
2005
IEEE
14 years 5 months ago
2005
IEEE
Learning from noisy data is a challenging and reality issue for real-world data mining applications. Common practices include data cleansing, error detection and classifier ensemb...