The Relative Power of Synchronization Primitives Maurice Herlihy CS176 Fall 2003

First Page		Document Content
Date: 2007-04-11 12:16:44 Concurrency Linearizability Non-blocking algorithm Mutual exclusion Maurice Herlihy Herlihy Thread Queue FIFO Concurrency control Computing Concurrent computing		The Relative Power of Synchronization Primitives Maurice Herlihy CS176 Fall 2003 Add to Reading List Source URL: www.cs.nyu.edu Download Document from Source Website File Size: 1,03 MB Share Document on Facebook

	Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 DocID: 1xVYz - View Document
	C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell DocID: 1xVyg - View Document
	SDNRacer: Detecting Concurrency Violations in Software-Defined Networks DocID: 1xVts - View Document
	SDNRacer: Detecting Concurrency Violations in Software-Defined Networks DocID: 1xUY7 - View Document
	SDNRacer Concurrency Analysis for SDNs Ahmed El-Hassany Jeremie Miserez Pavol Bielik Laurent Vanbever DocID: 1xUyW - View Document