Sciweavers

81 search results - page 17 / 17
» The Power and Performance of Proof Animation
Sort
View
PLDI
2011
ACM
12 years 7 months ago
EnerJ: approximate data types for safe and general low-power computation
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
Adrian Sampson, Werner Dietl, Emily Fortuna, Danus...