Technical Report UCAM-CL-TR-579

First Page		Document Content
Date: 2004-02-13 14:20:06 Concurrency Non-blocking algorithm Lock Mutual exclusion Linearizability Readers–writer lock Parallel computing Memory barrier Deadlock Concurrency control Computing Data management		Technical Report UCAM-CL-TR-579 Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 662,76 KB Share Document on Facebook

	Auton Robot DOIs10514Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles Javier Alonso-Mora1,4 · Jonathan A. DeCastro2 · Vasumathi Raman3 · DocID: 1vhNQ - View Document
	Lockout: Efficient Testing for Deadlock Bugs ∗ Ali Kheradmand School of Computer and DocID: 1uLHk - View Document
	Breaking through the Digital Deadlock Meredith Whalen SVP, IT Executive, Industry, Software and Services Research © IDC Many Organizations Are at a DX Deadlock DocID: 1uKlI - View Document
	deadlock atto unico di Luca Viganò (1996) PERSONAGGI DocID: 1uBbf - View Document
	Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1 DocID: 1tGzX - View Document