Sciweavers

9443 search results - page 8 / 1889
» Web-centric language models
Sort
View
PLDI
2011
ACM
12 years 10 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav