Green

MaRDI QIDQ41634swMATHFDO

Official website https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/green.pdf

Cited in

(11)

• Verifying relative safety, accuracy, and termination for program approximations
• crs
• CLTune
• ACCEPT
• Chisel
• EnerJ
• FlexJava
• ADAPT
• SAGE
• Rely
• mARGOt: A Dynamic Autotuning Framework for Self-Aware Approximate Computing

This page was built for software: Green