Deadlock - PDFSEARCH.IO - Document Search Engine

Deadlock
Results: 270

#	Item
241	JSR-133: JavaTM Memory Model and Thread Specification March 17, 2004, 9:21pm This document is the public review version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specificati Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-03-17 21:23:58 Java Memory Model Lock Memory barrier Monitor Memory model Deadlock Thread Volatile variable Java virtual machine Computing Concurrency control Software engineering
242	Using the Karp-Miller Tree Construction to Analyse Concurrent Finite-State Programs Haoxian Zhao Kellogg College Add to Reading List Source URL: www.cprover.org Language: English - Date: 2009-10-06 05:27:24 Thread Model checking Distributed computing Reachability Deadlock Computer programming Software engineering Computing Concurrency Concurrent computing
243	JSR-133: JavaTM Memory Model and Thread Specification October 17, 2003, 11:24am This document is a preliminary version of the public review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Speci Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-10-17 11:25:56 Java Memory Model Lock Memory barrier Monitor Memory model Volatile variable Thread Linearizability Deadlock Computing Concurrency control Software engineering
244	The constitutional crisis in Iraq: What can the Federal Supreme Court do? Wisdom suggests the FSC should not get dragged into breaking the government deadlock By Chibli Mallat Thursday, September 02, 2010 Contemplate th Add to Reading List Source URL: www.mallat.com Language: English - Date: 2011-03-04 07:20:26 Politics Court systems Separation of powers Constitution of Iraq Supreme court Judiciary of Russia Constitutional Council of France Judiciary United States Constitution Government Constitutional law Law
245	Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems∗ Bj¨orn B. Brandenburg and James H. Anderson Department of Computer Science, University of North Carolina at Chapel Hill Abstract Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2009-04-20 12:18:41 Computer programming Lock Readers–writer lock Deadlock Spinlock Atom Mutual exclusion Semaphore Priority ceiling protocol Concurrency control Computing Concurrency
246	Intellectual Property and Climate Change: Breaking the Doha Deadlock A Free Public Seminar presented by the Intellectual Property Research Institute of Australia (IPRIA) in association with the International Association Add to Reading List Source URL: www.ipria.org Language: English - Date: 2013-05-16 00:21:54 Patent law Civil law Property law Law in the United Kingdom Patent attorney Compulsory license Intellectual property Patent Clean tech law Intellectual property law Monopoly Law
247	Intellectual Property and Climate Change: Breaking the Doha Deadlock A Free Public Seminar presented by the Intellectual Property Research Institute of Australia (IPRIA) in association with the International Association Add to Reading List Source URL: www.ipria.org Language: English - Date: 2013-05-16 00:22:49 Patent law Civil law Property law Law in the United Kingdom Patent attorney Compulsory license Intellectual property Patent Clean tech law Intellectual property law Monopoly Law
248	ThreadSanitizer – data race detection in practice Konstantin Serebryany Timur Iskhodzhanov OOO Google Add to Reading List Source URL: static.googleusercontent.com Language: English - Date: 2012-04-01 20:13:23 Software engineering Concurrency Software bugs Lock Valgrind Thread Deadlock Parallel computing Monitor Concurrency control Computing Computer programming
249	Concurrent Hierarchical Reinforcement Learning Bhaskara Marthi, Stuart Russell, David Latham Computer Science Division University of California Berkeley, CA 94720 {bhaskara,russell,latham}@cs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-04-15 21:04:50 Concurrency control Concurrency Reinforcement learning Markov decision process Thread Q-learning Monitor Deadlock SARSA Statistics Computing Mathematics
250	Cliffhangers, One and Two November 5, 2012 The Presidential Election The Presidential election is too close to call and is now in a virtual deadlock. The stock market, in particular, does not like uncertainty and we will Add to Reading List Source URL: www.nicholsoncap.com Language: English - Date: 2012-11-05 18:06:33 Government Presidency of Barack Obama Finance Bush tax cuts Presidency of George W. Bush Income tax in the United States United States federal budget United States Congress Joint Select Committee on Deficit Reduction United States debt-ceiling crisis Taxation Public economics United States