Sciweavers

21342 search results - page 191 / 4269
» Structured language modeling
Sort
View
PLDI
2011
ACM
14 years 9 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav