Search Results for 'Misailovic Rinard'

Misailovic Rinard published presentations and documents on DocSlides.

Accuracy-Aware Program Transformations

Accuracy-Aware Program Transformations

sherrill-nordquist
0 Slides

Sasa . Misailovic. MIT CSAIL. Collaborators. Mart...

Programming Abstractions for Approximate Computing

Programming Abstractions for Approximate Computing

alexa-scheidler
35 Slides

Michael . Carbin. with . Sasa. . Misailovic. , H...

AcceptabilityOriented Computing Martin Rinard MIT Laboratory for Computer Science Cambridge MA ABSTRACT We discuss a new approach to the construction of software systems

AcceptabilityOriented Computing Martin Rinard MIT Laboratory for Computer Science Cambridge MA ABSTRACT We discuss a new approach to the construction of software systems

sherrill-nordquist
19 Slides

Instead of attempting to build a system that is a...

Proving Acceptability Properties of Relaxed Nondeterministi

Proving Acceptability Properties of Relaxed Nondeterministi

mitsue-stanley
46 Slides

Michael Carbin. Deokhwan. Kim, . Sasa. . Misail...

Copyright © 2024 DocSlides. All Rights Reserved