Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
311	Mobius: Unified Messaging and Data Serving for Mobile Apps Byung-Gon Chun Carlo Curino Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2012-11-21 00:36:03 Data Structured storage Extensible Storage Engine Cache Amazon SimpleDB Consistency model Linearizability Coda Client-side Data management Computing Transaction processing
312	Hardware Support for Unbounded Transactional Memory by Sean Lie Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:50 Computing Data Transactional memory Software transactional memory Linearizability Snapshot Cache Rock Transaction processing Concurrency control Data management
313	Location-Based Memory Fences Edya Ladan-Mozes I-Ting Angelina Lee Dmitry Vyukov∗ Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:50 Computer memory Central processing unit Concurrency control Instruction set architectures CPU cache Memory barrier Parallel computing Linearizability Cache Computer architecture Computing Computer hardware
314	Algorithms for Data-Race Detection in Multithreaded Programs by Guang-Ien Cheng Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:49 Cilk Concurrency Charles E. Leiserson Parallel computing Algorithm Lock Linearizability Concurrency control Computing Concurrent computing
315	Data-Race Detection in TransactionsEverywhere Parallel Programming by Kai Huang B.S. Computer Science and Engineering, B.S. Mathematics Massachusetts Institute of Technology, June 2002 Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:51 Transaction processing Computer programming Cilk Software transactional memory Parallel computing Linearizability Lock Thread Transactional memory Computing Concurrency control Software engineering
316	Unbounded Transactional Memory C. Scott Ananian Krste Asanovi´c Bradley C. Kuszmaul Charles E. Leiserson Sean Lie MIT Computer Science and Artificial Intelligence Laboratory The Stata Center, 32 Vassar St., Cambridge, M Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:52 Data Information Computer memory Programming language implementation Software transactional memory Transactional memory CPU cache Linearizability Extensible Storage Engine Transaction processing Concurrency control Data management
317	Dag-Consistent Distributed Shared Memory Robert D. Blumofe Matteo Frigo Christopher F. Joerg Charles E. Leiserson Keith H. Randall MIT Laboratory for Computer Science 545 Technology Square Cambridge, MA 02139 Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:50 Parallel computing Cilk Thread CPU cache Charles E. Leiserson Speedup Shared memory Linearizability Intel Cilk Plus Computing Concurrent computing Computer programming
318	Detecting Data Races in Cilk Programs that Use Locks Guang-Ien Cheng Mingdong Feng† Charles E. Leiserson Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:49 Computer programming Cilk Lock Parallel computing Non-blocking algorithm Thread Deadlock Linearizability Charles E. Leiserson Computing Concurrent computing Concurrency control
319	A Proposal for a UPC Memory Consistency Model, v1.0 Lawrence Berkeley National Lab Tech Report LBNL[removed]Katherine Yelick Dan Bonachea University of California, Berkeley Charles Wallace Add to Reading List Source URL: upc.lbl.gov Language: English - Date: 2010-05-06 00:14:40 Transaction processing Software engineering Computer memory Compiler construction Memory model Programming language design Consistency model Linearizability Universal Product Code Computing Concurrency control Computer architecture
320	Page 1 of[removed]Spring 2014, Quiz 2 Department of Electrical Engineering and Computer Science Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-05-27 10:54:51 Data management Concurrency Futures and promises Lock Extensible Storage Engine Readers–writer lock ALGOL 68 Linearizability Concurrency control Computing Transaction processing

UPDATE