Model checking transactional memory John O’Leary Intel Bratin Saha Intel - Intel Memory Model - Document - PDFSEARCH.IO

First Page	Meta Content
	Model checking transactional memory John O’Leary Intel Bratin Saha Intel Add to Reading List Document Date: 2011-09-30 00:00:00 Open Document File Size: 47,95 KB Share Result on Facebook Company AMD / Intel / / IndustryTerm memory algorithms / message passing protocols / partial order reduction algorithm / software transactional memory / memory protocols / shared memory protocols / subtle shared memory protocol / / Person Mark R. Tuttle / / Position programmer / / ProgrammingLanguage Promela / / Technology partial order reduction algorithm / memory algorithms / shared memory / memory protocols / message passing protocols / shared memory protocols / subtle shared memory protocol / / SocialTag Data management Data Software transactional memory Transactional memory Model checking Linearizability Parallel computing Promela Lock Concurrency control

Model checking transactional memory John O’Leary Intel Bratin Saha IntelAdd to Reading List