6 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.PL2017★ 6 cited
An introduction to approximate computing
M. Ammar Ben Khadra
Approximate computing is a research area where we investigate a wide spectrum of techniques to trade off computation accuracy for better performance or energy consumption. In this…
cs.PL2017★ 1 cited
E3Solver: decision tree unification by enumeration
M. Ammar Ben Khadra
We introduce E3Solver, a unification-based solver for programming-by-example (PBE) participating in the 2017 edition of the SyGuS Competition. Our tool proceeds in two phases. Firs…