×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [thread updates]
Home >
thread updates
PROVING THINGS ABOUT CONCURRENT PROGRAMS Lecture 24 – CS2110 – Spring 2013.
214 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.
215 views
Proving things about concurrent programs
48 views