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 |