7197 search results - page 282 / 1440 » On the computational power of BlenX |
152
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
191
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
A low power wireless intercom system is designed and implemented. Two fully-operational ASICs, integrating custom and commercial IP, implement the entire digital portion of the pr...
141
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Speculatively issued instructions may be particularly sensitive to increases in pipeline depth. Our results indicate that as pipeline depth increases, speculation increases the pe...
174
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this work, we report on an unprecedented design where digital, analog, and MEMS technologies are combined to realize a generalpurpose single-chip CMOS microsystem. The converge...
149
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
The impact of technology scaling on three run-time leakage reduction techniques (Input Vector Control, Body Bias Control and Power Supply Gating) is evaluated by determining limit...