4797 search results - page 354 / 960 » The complexity of partition tasks |
155
click to vote
GLVLSI
2003
IEEE
16 years 11 hour ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
173
click to vote
ICCAD
2003
IEEE
16 years 8 hour ago
2003
IEEE
As research begins to explore potential nanotechnologies for future post-CMOS integrated systems, modeling and simulation environments must be developed that can accommodate the c...
184
click to vote
IPPS
2003
IEEE
16 years 2 hour ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...
199
click to vote
ISCA
2003
IEEE
16 years 1 hour ago
2003
IEEE
This work examines dynamic cluster assignment for a clustered trace cache processor (CTCP). Previously proposed cluster assignment techniques run into unique problems as issue wid...
167
click to vote
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...