×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [lock n]
Home >
lock n
Spatial modeling in transportation (lock improvements and sequential congestion) Simon P. Anderson University of Virginia and Wesley W. Wilson University.
215 views
Summarizing Procedures in Concurrent Programs Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research.
216 views
Zing: A Systematic State Explorer for Concurrent Software Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research.
226 views
Summarizing Procedures in Concurrent Programs Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research.
219 views
Part II: Atomicity for Software Model Checking. Class Account { int balance; static int MIN = 0, MAX = 100; bool synchronized deposit(int n) { int t =
214 views