Search Results for 'relaxed program'

relaxed program published presentations and documents on DocSlides.

Proving Acceptability Properties of Relaxed Nondeterministi

by mitsue-stanley

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

Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs

by frogspyder

Michael Carbin. Deokhwan. Kim, . Sasa. . Misailo...

Reasoning about Relaxed Programs

by karlyn-bohler

Michael . Carbin. Deokhwan. Kim, . Sasa. . Misa...

Abstractions for Relaxed Memory Models

by olivia-moreira

Andrei Dan, Yuri . Meshman. , Martin . Vechev. , ...