Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China

First Page		Document Content
Date: 2013-07-18 23:10:16 Concurrency control Linearizability Non-blocking algorithm Monitor Lock Deadlock Synchronization Thread Liveness		Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Download Document from Source Website File Size: 387,49 KB Share Document on Facebook

	Hearing Your Voice is Not Enough: An Articulatory Gesture Based Liveness Detection for Voice Authentication DocID: 1xUCB - View Document
	Scanning the Internet for Liveness Shehar Bano Philipp Richter Mobin Javed DocID: 1xTku - View Document
	Why Liveness for Timed Automata Is Hard, and What We Can Do About It∗ Frédéric Herbreteau1 , B. Srivathsan2 , Thanh-Tung Tran3 , and Igor Walukiewicz4 1 2 DocID: 1v8Ox - View Document
	Virtual U: Defeating Face Liveness Detection by Building Virtual Models from Your Public Photos Yi Xu, True Price, Jan-Michael Frahm, and Fabian Monrose, The University of North Carolina at Chapel Hill https://www.usenix DocID: 1uA9G - View Document
	Ch. 10 Avoiding Liveness Hazards JESPER PEDERSEN NOTANDER Liveness and Safety •  A liveness property, –  something good eventually happens. DocID: 1tPq5 - View Document