Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
271	Eﬀective Concurrency with Algebraic Eﬀects Stephen Dolan1, Leo White2, KC Sivaramakrishnan1, Jeremy Yallop1, Anil Madhavapeddy1 1 Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Parallel computing Functional languages Concurrent programming languages Scala Haskell Concurrent computing Data parallelism Parallelism Scheduling
272	CrossStitch: An Efficient Transaction Processing Framework for Geo-Distributed Systems Sharon Choy, Bernard Wong, Xu Cui, Xiaoyi Liu Cheriton School of Computer Science, University of Waterloo s2choy, bernard, xcui, x298 Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2015-07-12 18:07:58 Transaction processing Data management Two-phase commit protocol Serializability Concurrency control Distributed transaction Timestamp-based concurrency control ACID Durability Database transaction Schedule Replication
273	A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1 Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2015-08-17 06:31:40 Concurrency control Transaction processing Linearizability Algorithm Concurrent computing Parallel computing
274	Program Chairs Malu Castellanos Ton Weijters Publication and coordination chair Manolo Carcia-Solaco Program Committee Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:44:40 Process management Diagrams Workflow technology Models of computation Process mining Concurrency Petri net Process modeling Conformance checking Business process management Business process modeling Conceptual model
275	Administrivia  Design of Parallel and High-Performance Computing Fall 2013 Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-11-30 16:07:53 Concurrency control Lock Mutual exclusion Non-blocking algorithm File locking Two-phase locking Tree traversal Parallel computing Linearizability Deadlock Synchronization Key
276	What is Safe in Transactional Memory Hagit Attiya1 Sandeep Hans1 Petr Kuznetsov2 Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English - Date: 2012-07-13 04:06:54 Transaction processing Concurrency control Data management Schedule Linearizability Transactional memory Database transaction
277	1 Institute of Information Systems Database Research Group ETH Zentrum CH-8092 Zurich, Switzerland Add to Reading List Source URL: www.dbs.ethz.ch Language: English - Date: 2002-12-12 05:09:34 Transaction processing Data management Concurrency control Database transaction Nested transaction Replication Database Schedule Transaction Isolation Concurrency Global serializability
278	Two Phase Commit on Persistent Key Value Store with Data ReplicationDistributed Systems Final Project Xiangyao Yu Shuotao Xu Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2015-01-21 21:28:03 Transaction processing Data management Fault-tolerant computer systems Two-phase commit protocol Paxos Distributed transaction Replication Transaction processing system Concurrency control Consensus Durability Virtual synchrony
279	Replication and Transaction Management in a Temporal Database Matthew Dillon Backplane, Inc. Transactional Consistency Add to Reading List Source URL: www.backplane.com Language: English - Date: 2002-11-25 12:57:01 Concurrency control Computing Data synchronization Replication Lock File locking
280	Review of last lecture  Architecture case studies  Memory performance is often the bottleneck  Parallelism grows with compute performance Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-11-03 08:27:59 Computer memory Transaction processing Parallel computing Compiler construction Concurrency Cache coherence Memory ordering Consistency model Linearizability Sequential consistency CPU cache Processor consistency

UPDATE