Partial-coherence abstractions for relaxed memory models
- 期刊名称ACM SIGPLAN Notices
- 作者Kuperstein, Michael; Vechev, Martin; Yahav, Eran
- 卷第46卷
- 期第6期
- 印刷ISSN0362-1340
- 文件大小930.88KB
- 发表时间2011-06-04
- DOI10.1145/1993316.1993521
Ratten Im Labyrinth, oder: Lernen mit Theseus (Rats in Mazes, or: Learning with Theseus)Lehmann, Maren · The Design Journal · 2005
Theseus im Labyrinth aks TuringmaschinePeter Schreiber · 1971
Theseus im Forscherhimmel1997
Theseus: a hypermedia browsing toolMaureen A Blackmore · 1993
Was Theseus a matricide manqué?1979
Theseus and his parents and stepmother1979
BAKCHYLIDES, THESEUS AND A WOOLLY CLOAKJohn P. Barron · 1980
Cimon, Skyros and 'Theseus' Bones'A. J. Podlecki · The Journal of Hellenic Studies · 1971
WizWhyMeidan, Abraham · ACM SIGBIO Newsletter · 1998
BiopythonChapman, Brad; Chang, Jeffrey · ACM SIGBIO Newsletter · 2000
Abstract machine models of cell metabolismHolcombe, Mike · ACM SIGBIO Newsletter · 1992
The streaming organismZajicek, G. · ACM SIGBIO Newsletter · 1992
Analogy or identityNyce, James M. · ACM SIGBIO Newsletter · 1992
Computing dendritic growthHamilton, P. · ACM SIGBIO Newsletter · 1992
Genetics for genetic algorithmsSumida, Brian · ACM SIGBIO Newsletter · 1992
Computation and the immune systemForrest, Stephanie; Perelson, Alan S. · ACM SIGBIO Newsletter · 1992