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...
| Główni autorzy: | , |
|---|---|
| Kolejni autorzy: | |
| Wydane: |
2013
|
| Dostęp online: | http://hdl.handle.net/1721.1/83397 |