×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [thread updates]
PROVING THINGS ABOUT CONCURRENT PROGRAMS Lecture 24 – CS2110 – Spring 2013
215 views
DoublePlay: Parallelizing Sequential Logging and Replay Kaushik Veeraraghavan Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn,
218 views
Lecture 21 – CS2110 – Fall 2009 PROVING THINGS ABOUT CONCURRENT PROGRAMS
216 views
Proving things about concurrent programs
53 views