<--- Back to Details
First PageDocument Content
Theoretical computer science / Logic in computer science / Mathematical analysis / Mathematics / Formal methods / Probability / Semantics / Approximate computing / Mathematical optimization / Pi / Operational semantics
Date: 2015-07-07 16:12:39
Theoretical computer science
Logic in computer science
Mathematical analysis
Mathematics
Formal methods
Probability
Semantics
Approximate computing
Mathematical optimization
Pi
Operational semantics

H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the

Add to Reading List

Source URL: homes.cs.washington.edu

Download Document from Source Website

File Size: 1,06 MB

Share Document on Facebook

Similar Documents

Generating Approximate Geographic Descriptions Ross Turner, Yaji Sripada and Ehud Reiter Dept of Computing Science, University of Aberdeen, UK {r.turner,yaji.sripada,e.reiter}@abdn.ac.uk

Generating Approximate Geographic Descriptions Ross Turner, Yaji Sripada and Ehud Reiter Dept of Computing Science, University of Aberdeen, UK {r.turner,yaji.sripada,e.reiter}@abdn.ac.uk

DocID: 1viKp - View Document

A Tunable Cache for Approximate Computing Magnus Sj¨alander, Nina Shariati Nilsson, and Stefanos Kaxiras Uppsala University, Department of Information Technology P.O. Box 337, SEUppsala, Sweden {magnus.sjalander

A Tunable Cache for Approximate Computing Magnus Sj¨alander, Nina Shariati Nilsson, and Stefanos Kaxiras Uppsala University, Department of Information Technology P.O. Box 337, SEUppsala, Sweden {magnus.sjalander

DocID: 1uwuc - View Document

Exploring Floating-Point Trade-Offs in ML Rocco Salvia Zvonimir Rakamarić  School of Computing, University of Utah, USA

Exploring Floating-Point Trade-Offs in ML Rocco Salvia Zvonimir Rakamarić School of Computing, University of Utah, USA

DocID: 1tLim - View Document

The What’s Next Computing Architecture Karthik Ganesan Joshua San Miguel  Natalie Enright Jerger

The What’s Next Computing Architecture Karthik Ganesan Joshua San Miguel Natalie Enright Jerger

DocID: 1tK63 - View Document

1  A Taxonomy of General Purpose Approximate Computing Techniques Thierry Moreau† , Joshua San Miguel‡ , Mark Wyse† , James Bornholt† , Armin Alaghi† , Luis Ceze† , Natalie Enright Jerger‡ and Adrian Sampso

1 A Taxonomy of General Purpose Approximate Computing Techniques Thierry Moreau† , Joshua San Miguel‡ , Mark Wyse† , James Bornholt† , Armin Alaghi† , Luis Ceze† , Natalie Enright Jerger‡ and Adrian Sampso

DocID: 1tHxp - View Document