25 search results - page 3 / 5 » pacs 2004 |
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
PACS
2004
Springer
13 years 10 months ago
2004
Springer
The purpose of this work was to obtain a componentwise breakdown of the power consumption a modern laptop. We measured the power usage of the key components in an IBM ThinkPad R40...
PACS
2004
Springer
13 years 10 months ago
2004
Springer
Management of power in data centers is driven by the need to not exceed circuit capacity. The methods employed in the oversight of these power circuits are typically static and ad...
PACS
2004
Springer
13 years 10 months ago
2004
Springer
There has been intensive research on data prefetching focusing on performance improvement, however, the energy aspect of prefetching is relatively unknown. Our experiments show th...
PACS
2004
Springer
13 years 10 months ago
2004
Springer
Technology scaling trends and the limitations of packaging and cooling have intensified the need for thermally efficient architectures and architecture-level temperature managemen...