16 citations · 29 across the 10 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017★ 2 cited
Capri: A Control System for Approximate Programs
Swarnendu Biswas, Yan Pei, Donald S. Fussell +1
Approximate computing trades off accuracy of results for resources such as energy or computing time. There is a large and rapidly growing literature on approximate computing that h…
cs.PL2000
Fractal Symbolic Analysis
Nikolay Mateev, Vijay Menon, Keshav Pingali
Restructuring compilers use dependence analysis to prove that the meaning of a program is not changed by a transformation. A well-known limitation of dependence analysis is that it…