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...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Misailovic, Sasa, Rinard, Martin
Kolejni autorzy: Martin Rinard
Wydane: 2013
Dostęp online:http://hdl.handle.net/1721.1/83397