2078 search results - page 118 / 416 » MetaCores: Design and Optimization Techniques |
181
click to vote
CASES
2006
ACM
16 years 11 days ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
164
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
165
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Robustness and correctness are essential criteria for SAT and QBF solvers. We develop automated testing and debugging techniques designed and optimized for SAT and QBF solver devel...
176
click to vote
ASPDAC
2005
ACM
15 years 12 months ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
170
click to vote
NSDI
2004
15 years 7 months ago
2004
Designing a wide-area distributed hash table (DHT) that provides high-throughput and low-latency network storage is a challenge. Existing systems have explored a range of solution...