Atomicity - PDFSEARCH.IO - Document Search Engine

Atomicity
Results: 90

#	Item
41	Atom-Aid: Detecting and Surviving Atomicity Violations∗ Brandon Lucia† Joseph Devietti† † Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2008-03-20 14:28:00
42	H5edit with Backup Virtual File Driver Atomicity Performance Study Albert Cheng Add to Reading List Source URL: www.hdfgroup.org Language: English - Date: 2014-11-15 00:20:51
43	COMPUTER SCIENCE TRIPOS Part IB – 2013 – Paper 5 8 Concurrent and Distributed Systems (RNW) (a) The ACID properties are often used to define transactional semantics. (i ) Define “atomicity” as used in the ACID co Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:42
44	Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-08-04 18:25:14 Computing Theoretical computer science Computer programming Logic in computer science Software testing Linearizability Race condition Atomicity Lock Software bugs Transaction processing Concurrency control
45	ConAir: Featherweight Concurrency Bug Recovery Via Single-Threaded Idempotent Execution Wei Zhang1 Marc de Kruijf1,2 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-01-24 18:23:37 Data Concurrency control Software bugs Databases Lock Atomicity Deadlock Idempotence Thread Computing Data management Transaction processing
46	Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-08-29 13:53:58 Data management Data Concurrent computing Linearizability Atomicity Lock Concurrent data structure Parallel computing Concurrency Concurrency control Transaction processing Computing
47	Automated Atomicity-Violation Fixing ∗ Guoliang Jin Linhai Song Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-07-05 11:53:12 Data management Lock Software bug Deadlock Linearizability Linux kernel Mutual exclusion Parallel computing Debugging Concurrency control Computing Software
48	Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:18:02 Computing Data Linearizability Serializability Transactional memory Lock Thread safety Non-blocking algorithm Atomicity Concurrency control Transaction processing Data management
49	Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Data Information Data management Databases Linearizability Lock Parallel computing Serializability Mereology Concurrency control Transaction processing Computing
50	Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:18:02 Computing Data Linearizability Serializability Transactional memory Lock Thread safety Non-blocking algorithm Atomicity Concurrency control Transaction processing Data management

UPDATE