131 search results - page 22 / 27 » Theoretical and practical limits of dynamic voltage scaling |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
— Modern CPUs operate at GHz frequencies, but the latencies of memory accesses are still relatively large, in the order of hundreds of cycles. Deeper cache hierarchies with large...
DAC
2006
ACM
14 years 1 months ago
2006
ACM
Until recently, most 3D graphics applications had been regarded as too computationally intensive for devices other than desktop computers and gaming consoles. This notion is rapid...
MICCAI
2010
Springer
14 years 13 days ago
2010
Springer
The effectiveness and clinical benefits of image guided surgery are
well established for procedures where there is manageable tissue motion. In
minimally invasive cardiac, gastro...
GI
2004
Springer
14 years 1 months ago
2004
Springer
: Next to authentication, secure key exchange is considered the most critical and complex issue regarding ad-hoc network security. We present a low-cost, (i.e. low hardware-complex...