Sciweavers

4440 search results - page 486 / 888
» The space of design
Sort
View
DAC
2005
ACM
16 years 8 months ago
Multi-threaded reachability
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer,...
150
Voted
ICCAD
2007
IEEE
122views Hardware» more  ICCAD 2007»
16 years 4 months ago
Engineering change using spare cells with constant insertion
—In the VLSI design process, a design implementation often needs to be corrected because of new specifications or design constraint violations. This correction process is referre...
Yu-Min Kuo, Ya-Ting Chang, Shih-Chieh Chang, Malgo...
172
Voted
APSCC
2008
IEEE
16 years 1 months ago
Implementing Speech-Recognition Microprocessor into Intelligent Control-System of Home-Appliance
This study is a creative and initial work focused on designing an intelligent living-space with automatic control system to control all home appliances in the living space. First ...
Chun-Liang Hsu, Sheng-Yuan Yang, Wei-Bin Wu
CODES
2007
IEEE
16 years 1 months ago
Performance improvement of block based NAND flash translation layer
With growing capacities of flash memories, an efficient layer to manage read and write access to flash is required. NFTL is a widely used block based flash translation layer de...
Siddharth Choudhuri, Tony Givargis
197
Voted
HPDC
2007
IEEE
16 years 1 months ago
PeerStripe: a p2p-based large-file storage for desktop grids
In desktop grids the use of off-the-shelf shared components makes the use of dedicated resources economically nonviable and increases the complexity of design of efficient storag...
Chreston Miller, Patrick Butler, Ankur Shah, Ali R...