Model checking transactional memory John O’Leary Intel Bratin Saha Intel

First Page		Document Content
Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Transactional memory Model checking Linearizability Parallel computing Promela Lock Concurrency control Transaction processing Computing		Model checking transactional memory John O’Leary Intel Bratin Saha Intel Add to Reading List Source URL: www.markrtuttle.com Download Document from Source Website File Size: 47,95 KB Share Document on Facebook

	An Evaluation of Distributed Concurrency Control Rachael Harding Dana Van Aken MIT CSAIL DocID: 1vdK1 - View Document
	Reference Capabilities for Concurrency Control Elias Castegren, Tobias Wrigstad ECOOP’16 sa DocID: 1tHRG - View Document
	Reference Capabilities for Concurrency Control Same code template safe for different use cases DocID: 1tFnO - View Document
	High Volume Transaction Processing Without Concurrency Control, Two Phase Commit, SQL or C++ Arthur Whitney Dennis Shasha Stevan Apter DocID: 1ti9e - View Document
	Engineering Tripos Part IIA THIRD YEAR Paper 3F6: Software Engineering and Design Relational Databases and Concurrency Control DocID: 1t3YU - View Document