Show simple item record

dc.contributor.authorEsmaeilzadeh, Hadi
dc.contributor.authorNi, Kangqi
dc.contributor.authorNaik, Mayur
dc.date.accessioned2013-12-03T20:48:01Z
dc.date.available2013-12-03T20:48:01Z
dc.date.issued2013
dc.identifier.urihttp://hdl.handle.net/1853/49755
dc.descriptionResearch areas: Programming Languages, Computer Architectureen_US
dc.description.abstractThis paper describes ExpAX, a framework for automating approximate programming based on programmer-specified error expectations. Three components constitute ExpAX: (1) a programming model based on a new kind of program specification, which we refer to as expectations. Our programming model enables programmers to implicitly relax the accuracy constraints without explicitly marking operations approximate; (2) a novel approximation safety analysis that automatically identifies a safe-to-approximate subset of the program operations; and (3) an optimization that automatically marks a subset of the safe-to-approximate operations as approximate while considering the error expectation. Further, we formulate the process of automatically marking operations as approximate as an optimization problem and provide a genetic algorithm to solve it. We evaluate ExpAX using a diverse set of applications and show that it can provide significant energy savings while improving the quality-of-result degradation. ExpAX automatically excludes the safe-to-approximate operations that if approximated lead to significant quality degradation.en_US
dc.language.isoen_USen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.relation.ispartofseriesSCS Technical Report ; GT-CS-13-07en_US
dc.subjectApproximate computingen_US
dc.subjectConstraintsen_US
dc.subjectExpAXen_US
dc.subjectExpectation-oriented programmingen_US
dc.subjectGenetic algorithmsen_US
dc.subjectOptimizationen_US
dc.subjectProgram safety analysisen_US
dc.subjectProgram specificationen_US
dc.titleExpectation-Oriented Framework for Automating Approximate Programmingen_US
dc.typeTechnical Reporten_US
dc.contributor.corporatenameGeorgia Institute of Technology. College of Computingen_US
dc.contributor.corporatenameGeorgia Institute of Technology. School of Computer Scienceen_US
dc.embargo.termsnullen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record