Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
141	BCC: Reducing False Aborts in Optimistic Concurrency Control with Low Cost for In-Memory Databases Yuan Yuan1 , Kaibo Wang1 , Rubao Lee1 , Xiaoning Ding2 , Jing Xing3 , Spyros Blanas1 , Xiaodong Zhang1 1 The Add to Reading List Source URL: web.cse.ohio-state.edu Language: English - Date: 2016-03-12 10:48:30 Computing Transaction processing Data management Concurrency control Data Databases Serializability Schedule Snapshot isolation Two-phase locking Isolation Extensible Storage Engine
142	Dynamic Thread Mapping Based on Machine Learning for Transactional Memory Applications Márcio Castro1, Luís Fabrício Wanderley Góes,2 Luiz Gustavo Fernandes,3 Jean-François Méhaut1 Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2012-04-18 12:46:07 Computing Concurrency control Transaction processing Computer memory Computer architecture Parallel computing Transactional memory Thread Multi-core processor
143	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
144	IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, MONTHSoftware Support and Evaluation of Hardware Transaction Memory on Blue Gene/Q Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2013-10-17 10:42:37 Computing Transaction processing Concurrency control Data management Computer memory Parallel computing Software transactional memory Transactional memory CPU cache Benchmark Blue Gene Linearizability
145	GPU concurrency Weak behaviours and programming assumptions Jade Alglave1,2 Mark Batty3 Alastair F. Donaldson4 Ganesh Gopalakrishnan5 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2015-01-21 09:17:43 Computing Concurrent computing Computer architecture Parallel computing GPGPU Video cards Graphics hardware Video game hardware Parallel Thread Execution OpenCL Fermi Single instruction multiple threads
146	Safely Accessing Time Stamps in Transactions Stephan Diestelhorst Advanced Micro Devices, Inc. Martin Pohlack Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English - Date: 2012-07-13 04:03:02 Transaction processing Computing Data management Concurrency control Data Transactional Synchronization Extensions Transactional memory Serializability Schedule Time Stamp Counter Linearizability Isolation
147	Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie Department of Electrical and Computer Engineering Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2010-02-12 11:46:54 Computing Concurrency control Computer programming Transaction processing Concurrent computing Data management Parallel computing Debugging Linearizability Monitor Atomicity Serializability
148	UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java ANDREW A. TOKMAKOFF Add to Reading List Source URL: www.itr.unisa.edu.au Language: English - Date: 1999-01-26 18:27:05 Economy Software engineering Finance Financial markets Concurrency Diagrams Models of computation Petri nets RM-ODP Option Iterator Trader
149	Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2016-08-23 12:57:43 Computing Data management Data Transaction processing Database management systems Databases Concurrency control Paxos Spanner Bigtable Two-phase commit protocol Replication
150	Good Programming in Transactional MemoryI Game Theory Meets Multicore Architecture Raphael Eidenbenz, Roger Wattenhofer Computer Engineering and Networks Laboratory (TIK), ETH Zurich, CH-8092 Zürich, Switzerland Abstra Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:08 Rigid body dynamics Rotational symmetry Differential geometry Concurrency control Transaction processing

UPDATE