16883 search results - page 3295 / 3377 » Generalized Non-Reducible Descriptors |
199
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
139
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
It is important to maintain high efficiency when charging electrical energy storage elements so as to achieve holistic optimization from an energy generation source (e.g., a solar...
178
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
Estimation of static and dynamic energy of caches is critical for high-performance low-power designs. Commercial CAD tools performing energy estimation statically are not aware of...
168
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
Energy consumption and the associated environmental impact are a pressing challenge faced by the transportation sector. Emerging electric-drive vehicles have shown promises for su...
188
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
This paper proposes a framework for (signal) interconnect power optimization at the global routing stage. In a typical design flow, the primary objective of global routing is mini...