Synthesis of Randomized Accuracy-Aware Map-Fold Programs
We present Syndy, a technique for automatically synthesizing randomized map/fold computations that trade accuracy for performance. Given a specification of a fully accurate computation, Syndy automatically synthesizes approximate implementations of map and fold tasks, explores the approximate comput...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Published: |
2013
|
| Online Access: | http://hdl.handle.net/1721.1/83397 |