Sciweavers

9507 search results - page 19 / 1902
» Time-based language models
Sort
View
PLDI
2011
ACM
14 years 5 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav