Inferring locks for atomic sections
- 期刊名称ACM SIGPLAN Notices
- 作者Cherem, Sigmund; Chilimbi, Trishul; Gulwani, Sumit
- 卷第43卷
- 期第6期
- 印刷ISSN0362-1340
- 文件大小285.22KB
- 发表时间2008-05-30
- DOI10.1145/1379022.1375619
P-GridAberer, Karl; Cudré-Mauroux, Philippe; Datta, Anwitaman; Despotovic, Zoran; Hauswirth, Manfred; Punceva, Magdalena; Schmidt, Roman · ACM SIGMOD Record · 2003
Paper bricksDittrich, Jens · ACM SIGMOD Record · 2011
Cluster validity methodsHalkidi, Maria; Batistakis, Yannis; Vazirgiannis, Michalis · ACM SIGMOD Record · 2002
Ontologies and semantics for seamless connectivityUschold, Michael; Gruninger, Michael · ACM SIGMOD Record · 2004
Mining data streamsGaber, Mohamed Medhat; Zaslavsky, Arkady; Krishnaswamy, Shonali · ACM SIGMOD Record · 2005
Issues in data stream managementGolab, Lukasz; Özsu, M. Tamer · ACM SIGMOD Record · 2003
Understanding relationsCodd, E. F. · ACM SIGMOD Record · 1974
Clustering validity checking methodsHalkidi, Maria; Batistakis, Yannis; Vazirgiannis, Michalis · ACM SIGMOD Record · 2002