Advanced Search

Synthesis of Randomized Accuracy-Aware Map-Fold Programs

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.advisor Martin Rinard Misailovic, Sasa en_US Rinard, Martin en_US
dc.contributor.other Computer Architecture en 2013-12-30T20:00:02Z 2013-12-30T20:00:02Z 2013-12-29
dc.description.abstract 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 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.extent 22 p. en_US
dc.relation.ispartofseries MIT-CSAIL-TR-2013-031
dc.title Synthesis of Randomized Accuracy-Aware Map-Fold Programs en_US 2013-12-30T20:00:02Z

Files in this item

Name Size Format Description
MIT-CSAIL-TR-2013 ... 284.5Kb PDF

This item appears in the following Collection(s)

Show simple item record