Partial-coherence abstractions for relaxed memory models
- 期刊名称ACM SIGPLAN Notices
- 作者Kuperstein, Michael; Vechev, Martin; Yahav, Eran
- 卷第47卷
- 期第6期
- 印刷ISSN0362-1340
- 文件大小930.88KB
- 发表时间2012-08-06
- DOI10.1145/2345156.1993521
Free the digital nativesCACM Staff, · Communications of the ACM · 2013
Visualizations make big data meaningfulCACM Staff, · Communications of the ACM · 2014
News trackCACM Staff, · Communications of the ACM · 2008
ACM A.M. Turing Award nominations solicitedCACM Staff, · Communications of the ACM · 2008
Human or machine?CACM Staff, · Communications of the ACM · 2015
Why open access?CACM Staff, · Communications of the ACM · 2012
News trackCACM Staff, · Communications of the ACM · 2008
Abolish software warranty disclaimersCACM Staff, · Communications of the ACM · 2015
Attentive documentsBuscher, Georg; Dengel, Andreas; Biedert, Ralf; Elst, Ludger V. · ACM Transactions on Interactive Intelligent Systems · 2012
Role Transitions, Objects, and IdentityIra Silver · Symbolic Interaction · 1996
Post-PragmatismReview by: Norman K. Denzin · Symbolic Interaction · 1996
The Semiotic Selfby Norbert WileyReview by: Ralph H. Turner · Symbolic Interaction · 1996
A Note from the New EditorMichael G. Flaherty · Symbolic Interaction · 1996
Managing the Emotions of OthersPeggy A. Thoits · Symbolic Interaction · 1996
Telling the Truth after Postmodernism1Dorothy E. Smith · Symbolic Interaction · 1996
Gender and Temporality in Interpersonal SystemsMajia Holmer Nadesan · Symbolic Interaction · 1997