Specifying and checking semantic atomicity for multithreaded programs
- 期刊名称ACM SIGARCH Computer Architecture News
- 作者Burnim, Jacob; Necula, George; Sen, Koushik
- 卷第39卷
- 期第1期
- 印刷ISSN0163-5964
- 文件大小664.63KB
- 发表时间2011-03-17
- DOI10.1145/1961295.1950377
LettersHerman Benson, Gary Gerstle, Lois Weiner and Tom Mooney · New Labor Forum · 1999
Book ReviewsDalton, Timothy J.; Lynne, Gary D.; Hurd, Brian H.; Mooney, Siân · Journal of Natural Resources Policy Research · 2008
Anterolateral Ankle Dislocation Without FractureMOONEY, JAMES F.; NAYLOR, PAUL T.; POEHLING, GARY G. · Southern Medical Journal · 1991
Current Status of Intraneural Phenol InjectionsMOONEY, VERT; FRYKMAN, GARY; MCLAMB, JAMES · Clinical Orthopaedics and Related Research · 1969
Screening practices in cancer survivorsDeborah K. Mayer; Norma C. Terrin; Usha Menon; Gary L. Kreps; Kathy McCance; Susan K. Parsons; Kathleen H. Mooney · 2007
Crustal structure of northeastern CaliforniaZucca, John J.; Fuis, Gary S.; Milkereit, Bernd; Mooney, Walter D.; Catchings, Rufus D. · Journal of Geophysical Research · 1986
An Alternative Approach to Trade Area AnalysisHarris, Thomas R.; Smith, Gary W.; Mooney, Michael B. · Community Development Society. Journal · 1990
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