Architecture support for disciplined approximate programming 论文
2012引用 387
Parallel Computing and Optimization TechniquesLow-power high-performance VLSI designNumerical Methods and Algorithms
详细信息
- 发表日期
- 2012-03-03
- 发表年份
- 2012
关键词
Parallel Computing and Optimization TechniquesLow-power high-performance VLSI designNumerical Methods and Algorithms
摘要
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves statically that all approximate computation is properly isolated from precise computation. The hardware is then free to selectively apply approximate storage and approximate computation with no need to perform dynamic correctness checks.