2945 search results - page 503 / 589 » Designing and Implementing Malicious Hardware |
166
click to vote
MSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Disk drives are now available with capacities on the order of hundreds of gigabytes. What has not become available is an easy way to manage storage. With installed machines locate...
185
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
173
Voted
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
164
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
The use of nanometer technologies is making it increasingly important to consider transient characteristics of a circuit’s power dissipation (e.g., peak power, and power gradien...
173
click to vote
SOSP
2007
ACM
16 years 2 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...