Back to Results
First PageMeta Content
Computer programming / Lock / Monitor / Thread / Software bug / Non-blocking algorithm / Mutual exclusion / Deadlock / Linearizability / Concurrency control / Computing / Concurrent computing


Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang
Add to Reading List

Document Date: 2012-09-10 16:24:23

Open Document

File Size: 622,04 KB

Share Result on Facebook
UPDATE