First Page | Document Content | |
---|---|---|
Date: 2013-04-15 04:52:48Data Information Data management Databases Linearizability Lock Parallel computing Serializability Mereology Concurrency control Transaction processing Computing | Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraithAdd to Reading ListSource URL: icaps11.icaps-conference.orgDownload Document from Source WebsiteFile Size: 189,53 KBShare Document on Facebook |