| Document Date: 2008-04-08 00:54:02
Open Document File Size: 118,56 KBShare Result on Facebook
City London / New York / / Company Springer-Verlag New York Inc. / Distributed Systems / Cambridge University Press / / Country United States / United Kingdom / / IndustryTerm semi-automated search procedure / correct concurrent systems / concurrent algorithms / garbage collection algorithm / correct and efficient concurrent algorithm / lock-free stack algorithm / concurrent systems / impractical algorithms / sequential algorithms / concurrent garbage collection algorithms / concurrent algorithm / lazy concurrent list-based set algorithm / concurrent set algorithm / / Organization Cambridge University / pp. / IEEE Computer Society / / Person L UCHANGCO / V / Eran Yahav / VAN G ASTEREN / DAVE D ICE / / Position automatic garbage collector / algorithm designer / designer / algorithmic designer / programmer / / ProvinceOrState New York / / Technology existing algorithm / garbage collection algorithm / CAV / set algorithm / concurrent garbage collection algorithms / one algorithm / concurrent algorithm / lock-free stack algorithm / concurrent set algorithm / shared memory / lazy concurrent list-based set algorithm / /
SocialTag |
Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement,