242 search results - page 28 / 49 » Verification via Structure Simulation |
ICDCS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...
JMIV
2002
13 years 9 months ago
2002
We consider a median pyramidal transform for denoising applications. Traditional techniques of pyramidal denoising are similar to those in wavelet-based methods. In order to remove...
ASIAMS
2009
IEEE
14 years 3 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
HPCA
2000
IEEE
14 years 2 months ago
2000
IEEE
We are attacking the memory bottleneck by building a “smart” memory controller that improves effective memory bandwidth, bus utilization, and cache efficiency by letting appl...
ICCAD
2003
IEEE
14 years 6 months ago
2003
IEEE
The Y-architecture for on-chip interconnect is based on pervasive use of 0-, 120-, and 240-degree oriented semi-global and global wiring. Its use of three uniform directions explo...