×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [interleaved execution]
Documents
Ch1
1.628 views
Documents
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study Sebastian Burckhardt Rajeev Alur Milo M. K. Martin Department of
216 views
Documents
1 Term 2, 2004, Lecture 6, TransactionsMarian Ursu, Department of Computing, Goldsmiths College Transactions 3
213 views
Documents
Types for Atomicity Authors: Cormac Flanagan, UC Santa Cruz Stephen Freund, Marina Lifshin, Williams College Shaz Qadeer, Microsoft Research Presentation
216 views
Documents
Transaction Management and Recovery, 2 nd Edition. R. Ramakrishnan and J. Gehrke1 Transaction Management Overview Chapter 18
213 views
Technology
Transaction & Concurrency Control
9.104 views
Education
operating system
4.483 views
Education
Operating Systems 1 (8/12) - Concurrency
313 views
Documents
Haucke
5 views
Documents
CSCD34 - Database Management Systems - A. Vaisman1 Transaction Management and Concurrency Control
216 views
Documents
Serializable Isolation for Snapshot Databases Michael J. Cahill, Uwe Röhm, and Alan D. Fekete University of Sydney ACM Transactions on Database Systems
272 views
Documents
OS Fall ’ 02 Processes Operating Systems Fall 2002
220 views
Next >