Publication | Closed Access
EnerJ
382
Citations
25
References
2011
Year
Unknown Venue
Mathematical ProgrammingPower-aware ComputingEngineeringProgram AnalysisApproximate ComputingEnergy-accuracy Trade-offsProgram FunctionsFormal MethodsComputer EngineeringSystems EngineeringComputer ArchitectureRobustness (Computer Science)Computer ScienceProgram OptimizationSoftware AnalysisFirst-order ConcernPower-aware SoftwareFormal Verification
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. Recent work has explored exposing this trade-off in programming models. A key challenge, though, is how to isolate parts of the program that must be precise from those that can be approximated so that a program functions correctly even as quality of service degrades.
| Year | Citations | |
|---|---|---|
Page 1
Page 1