Show simple item record

Synthesis of Randomized Accuracy-Aware Map-Fold Programs

dc.date.accessioned2013-12-30T20:00:02Z
dc.date.accessioned2018-11-26T22:27:08Z
dc.date.available2013-12-30T20:00:02Z
dc.date.available2018-11-26T22:27:08Z
dc.date.issued2013-12-29
dc.identifier.urihttp://hdl.handle.net/1721.1/83397
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/83397
dc.description.abstractWe 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 computation space that these approximations induce, and derives an accuracy versus performance tradeoff curve that characterizes the explored space. Each point on the curve corresponds to an approximate randomized program configuration that realizes the probabilistic error and time bounds associated with that point.en_US
dc.format.extent22 p.en_US
dc.titleSynthesis of Randomized Accuracy-Aware Map-Fold Programsen_US


Files in this item

FilesSizeFormatView
MIT-CSAIL-TR-2013-031.pdf291.3Kbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record