Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
381	Introduction to Lock-Free Algorithms Through a case study Samy Al Bahra AppNexus, Inc. September 23, 2012 Add to Reading List Source URL: concurrencykit.org Language: English - Date: 2012-09-25 17:45:50 Concurrency Non-blocking algorithm FIFO Spinlock Lock Linearizability Concurrency control Computing Concurrent computing
382	Formal Analysis of a Space Craft Controller using S PIN Klaus Havelund, Mike Lowry and John Penix NASA Ames Research Center Moffett Field, California, USA Email: fhavelund,lowry,[removed] URL: http://i Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Computing Data Database management systems Daemon Lock Parallel computing Property Database Linearizability Concurrency control Data management Transaction processing
383	Phil Bernstein & Sudipto Das Microsoft Research July 10, 2013 Copyright © 2013 Microsoft Corp. 1 Add to Reading List Source URL: www.temple.edu Language: English - Date: 2013-07-18 23:33:32 Data Concurrency control Database management systems Fault-tolerant computer systems Data synchronization Linearizability Replication Consistency model Serializability Transaction processing Data management Computing
384	On Consistency of Encrypted Files Alina Oprea∗ Michael K. Reiter† March 2005 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-06-29 07:27:04 Data management Cryptographic software Special purpose file systems Concurrency control Consistency model File system Data integrity Linearizability Sequential consistency Computing Transaction processing Computer architecture
385	Microsoft Word - Prism[removed]doc Add to Reading List Source URL: www.open-std.org Language: English - Date: 2006-09-08 02:16:58 Computer memory Transaction processing Compiler construction Programming language design Memory barrier Linearizability Memory model Memory ordering Parallel computing Computing Software engineering Concurrency control
386	Massachusetts Institute of Technology, Cambridge, Massachusetts Laboratory for Computer Science Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2009-07-13 10:50:08 Transaction processing Data management Concurrency control Object-oriented programming Databases CLU Linearizability Serializability Barbara Jane Liskov Computing Software engineering Computer programming
387	RC24504 (W0802-087) February 22, 2008 Computer Science Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2010-07-16 17:06:51 Computer programming Software engineering Garbage collection Mutator Objective-C Pointer Non-blocking algorithm Real time Java Linearizability Computing Concurrency control Memory management
388	Technical Report UCAM-CL-TR-579 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - 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
389	Supporting Intel Transactional Synchronization Extensions in QEMU Sebastien Dabdoub Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-12-16 20:05:27 System software Computer architecture Computer memory Transactional memory Software transactional memory IBM PC compatibles Transactional Synchronization Extensions Linearizability CPU cache Concurrency control Transaction processing Computing
390	Locking in OS Kernels for SMP Systems From the seminar Hot Topics in Operating Systems Add to Reading List Source URL: irl.cs.ucla.edu Language: English - Date: 2010-11-30 19:28:54 Concurrency Lock Spinlock Linearizability Test-and-set Non-blocking algorithm Thread Mutual exclusion Critical section Concurrency control Computing Concurrent computing