View Document Preview and Link Document Date: 2011-09-30 00:00:00 Open Document File Size: 119,27 KB Share Result on Facebook
Company Distributed Systems / MIT Press / Infinite State Systems / S. Marlow S. P. / Intel / / / IndustryTerm shared-memory software / nondeterministic protocols / shared memory protocols / transactional memory systems / performance software / lock-free queue algorithm / cache coherence protocols / memory protocols / software transactional memory / terascale computing / multi-threaded software / shared-memory protocols / type systems / model checking protocols / message-passing protocols / model checking technologies / shared memory algorithms / / Movie Spin / / OperatingSystem SUSE Linux / / Organization MIT / Stanford / / Person R. L. Hudson / V / M. Moir / B. T. Lewis / V / V. Luchangco / Scott / Mark R. Tuttle / I. William N. Scherer / Michael / M. Herlihy / V / Morgan Kauffman / L. Groves / V / / Position good computer scientist / guard / head / node.head / simple conflict manager / representative / remove list head / programmer / / Product Spin / / ProgrammingLanguage Java / C++ / / Technology Object-Oriented Programming / Xeon processor / Linux / shared memory algorithms / message-passing protocols / lock-free queue algorithm / shared memory / model shared memory algorithms / cache coherence protocols / Java / model checking protocols / Nonblocking algorithms / sequential consistency / model checking technologies / shared-memory protocols / memory protocols / shared memory protocols / / URL http / SocialTag 
Model checking transactional memory with Spin John O’Leary Intel [removed] Bratin Saha