Stem ener$ (all stems)
2 papers:
- WCRE-2013-SaeidiHKJ #analysis #legacy #modelling #named #tool support
- Gelato: GEneric language tools for model-driven analysis of legacy software systems (AS, JH, RK, SJ), pp. 481–482.
- PLDI-2011-SampsonDFGCG #approximate #data type #named #power management
- EnerJ: approximate data types for safe and general low-power computation (AS, WD, EF, DG, LC, DG), pp. 164–174.