7225 search results - page 329 / 1445 » On the Computational Power of Biochemistry |
214
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
162
Voted
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
Electronic textiles, known as computational fabrics, offer an emerging method for constructing wearable and large area applications. Because e-textiles are battery-driven and faul...
175
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
This paper addresses battery-aware static scheduling in batterypowered distributed real-time embedded systems. As suggested by previous work, reducing the discharge current level ...
164
Voted
DAC
2004
ACM
16 years 7 months ago
2004
ACM
With process scaling, leakage power reduction has become one of the most important design concerns. Multi-threshold techniques have been used to reduce runtime leakage power witho...
137
Voted
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In bridging the digital divide, two important criteria are cost-effectiveness, and power optimization. While 802.11 is cost-effective and is being used in several installations in...