Search Results for 'relaxed program'

relaxed program published presentations and documents on DocSlides.

Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs

Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs

by frogspyder

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

Proving Acceptability Properties of Relaxed Nondeterministi

Proving Acceptability Properties of Relaxed Nondeterministi

by mitsue-stanley

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

Reasoning about Relaxed Programs

Reasoning about Relaxed Programs

by karlyn-bohler

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

Abstractions for Relaxed Memory Models

Abstractions for Relaxed Memory Models

by olivia-moreira

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