![Transaction processing / Mathematics / Thread / Linearization / Algorithm / Concurrency / Concurrency control / Computing / Linearizability Transaction processing / Mathematics / Thread / Linearization / Algorithm / Concurrency / Concurrency control / Computing / Linearizability](https://www.pdfsearch.io/img/7178af30a3c1720280fed1c12c72dd94.jpg)
| Document Date: 2011-10-04 10:30:20 Open Document File Size: 39,75 KBShare Result on Facebook
Facility Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Abstract In / / IndustryTerm optimistic concurrent algorithms / optimistic concurrent algorithm / optimistic set algorithm / optimistic algorithm / concurrent set algorithms / automatic verification tool / optimistic algorithms / / Organization Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Abstract In / MIT / / Position designated sentinel Head / algorithm designer / head / designer / T.k head / / ProgrammingLanguage R / / PublishedMedium Communications of the ACM / IEEE Transactions on Software Engineering / / Technology Verifying Optimistic Algorithms / concurrent set algorithms / optimistic concurrent algorithm / optimistic concurrent algorithms / optimistic algorithm / shared memory / optimistic set algorithm / /
SocialTag |