Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
301	Automatic Contention Detection and Amelioration for Data-Intensive Operations John Cieslewicz∗, Kenneth A. Ross†, Kyoho Satsumi, Yang Ye Department of Computer Science, Columbia University, New York NY (johnc,kar,ye Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:01 Parallel computing Concurrency control MapReduce Thread Data-intensive computing CPU cache Non-blocking algorithm Concurrent data structure Synchronization Cray MTA Lock Linearizability
302	More concurrency issues and synchronization mechanisms • DEADLOCK • READERS/WRITER LOCKS • CONDITION VARIABLES Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2015-11-24 06:45:41 Concurrency control Abstract data types Monitor Software design patterns Concurrency Concurrent computing Double-ended queue Queue Lock Synchronization Thread
303	Making Information Flow Explicit in HiStar Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David Mazi`eres Stanford and UCLA A BSTRACT Add to Reading List Source URL: www.eecs.harvard.edu Language: English Concurrency Process System call Thread Unix signal Kernel Synchronization Mach C dynamic memory allocation SIMPL NetBSD Linux kernel
304	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: www.macesystems.org Language: English - Date: 2007-03-11 23:28:24 Concurrent computing Liveness Safety Model checking Random walk Concurrency Models of computation
305	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
306	Tracing Snapshot Isolation in Transactions (Extended Abstract) Annette Bieniusa∗ Peter Thiemann† Abstract Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English Transaction processing Data management Concurrency control Databases Snapshot isolation Schedule Software transactional memory Isolation Snapshot Serializability Database transaction Transactional memory
307	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator
308	Towards Elastic Transactional Cloud Storage with Range Query Support Hoang Tam Vo #1 , Chun Chen §2 , Beng Chin Ooi #3 # Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2010-07-12 23:21:47 Transaction processing Data management NoSQL Fault-tolerant computer systems Databases Replication Apache Cassandra Distributed database Consistency model Concurrency control Quorum Scalability
309	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Lock-Free and Distributed Memory Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-11-30 16:07:53 Concurrency control Lock Non-blocking algorithm File locking Granularity Synchronization
310	PDF Document Add to Reading List Source URL: codex.cs.yale.edu Language: English - Date: 2013-07-28 11:23:43 Concurrency control Mach Thread Monitor Microkernel Spinlock Synchronization Kernel SIMPL Operating system Semaphore Mutual exclusion

UPDATE