A programming language for precision--cost tradeoffs
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/53149 |
| _version_ | 1811079790024720384 |
|---|---|
| author | Steele, Matthew D., M. Eng. (Matthew David). Massachusetts Institute of Technology |
| author2 | Saman Amarasinghe. |
| author_facet | Saman Amarasinghe. Steele, Matthew D., M. Eng. (Matthew David). Massachusetts Institute of Technology |
| author_sort | Steele, Matthew D., M. Eng. (Matthew David). Massachusetts Institute of Technology |
| collection | MIT |
| description | Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009. |
| first_indexed | 2024-09-23T11:20:29Z |
| format | Thesis |
| id | mit-1721.1/53149 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T11:20:29Z |
| publishDate | 2010 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/531492019-04-11T13:42:07Z A programming language for precision--cost tradeoffs Steele, Matthew D., M. Eng. (Matthew David). Massachusetts Institute of Technology Saman Amarasinghe. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009. Includes bibliographical references (p. 81-82). Many computational systems need to deal with various forms of imprecision and uncertainty in their data; it is also the case that many systems, especially mobile and distributed systems, must be able to trade off the precision of their data and operations against the cost of performing those operations. Unfortunately, for many applications, trying to make these tradeoffs severely complicates the program, because there does not yet exist a programming model that gives the programmer the ability to easily describe the relevant tradeoffs between precision and cost of operations or to express in an algorithm what tradeoffs are appropriate under what circumstances. This paper lays a solid foundation for exploring such programming models by introducing and analyzing a simple core abstraction on which others can be based. We determine what sorts of strategies are and are not possible within this abstraction, and discuss what specific difficulties must be overcome in future work in order to extend the abstraction to encompass a larger class of programs. by Matthew D. Steele. M.Eng. 2010-03-25T15:07:19Z 2010-03-25T15:07:19Z 2009 2009 Thesis http://hdl.handle.net/1721.1/53149 505551965 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 82 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Steele, Matthew D., M. Eng. (Matthew David). Massachusetts Institute of Technology A programming language for precision--cost tradeoffs |
| title | A programming language for precision--cost tradeoffs |
| title_full | A programming language for precision--cost tradeoffs |
| title_fullStr | A programming language for precision--cost tradeoffs |
| title_full_unstemmed | A programming language for precision--cost tradeoffs |
| title_short | A programming language for precision--cost tradeoffs |
| title_sort | programming language for precision cost tradeoffs |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/53149 |
| work_keys_str_mv | AT steelematthewdmengmatthewdavidmassachusettsinstituteoftechnology aprogramminglanguageforprecisioncosttradeoffs AT steelematthewdmengmatthewdavidmassachusettsinstituteoftechnology programminglanguageforprecisioncosttradeoffs |