Search Results for 'Misailovic-Rinard'

Misailovic-Rinard published presentations and documents on DocSlides.

Accuracy-Aware Program Transformations

Accuracy-Aware Program Transformations

by sherrill-nordquist

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

Programming Abstractions for Approximate Computing

Programming Abstractions for Approximate Computing

by alexa-scheidler

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

by sherrill-nordquist

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

Proving Acceptability Properties of Relaxed Nondeterministi

Proving Acceptability Properties of Relaxed Nondeterministi

by mitsue-stanley

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