Atomicity - PDFSEARCH.IO - Document Search Engine

Atomicity
Results: 90

#	Item
71	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic
72	All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-02-26 08:46:19 Computing Ext3 File system Ext4 Btrfs Atomicity File locking Ext2 NTFS Disk file systems Data management System software
73	Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 ii Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 14:07:02 Symmetry Mathematical logic Theoretical computer science Program logic Proof theory Curry–Howard correspondence Predicate transformer semantics Mathematics Group action Group theory
74	MAMA: Mostly Automatic Management of Atomicity Christian DeLozier, Joseph Devietti, Milo M. K. Martin University of Pennsylvania March 2nd, 2014 Add to Reading List Source URL: wodet.cs.washington.edu Language: English - Date: 2014-03-04 13:05:47 Data Information Lock Linearizability Atomicity Parallel computing Transactional memory Deadlock Concurrency control Transaction processing Computing
75	MAMA: Mostly Automatic Management of Atomicity Christian DeLozier Joseph Devietti Milo M. K. Martin Add to Reading List Source URL: wodet.cs.washington.edu Language: English - Date: 2014-02-18 08:50:21 Concurrent computing Data management Computer memory Databases Deadlock Lock Linearizability Parallel computing Non-blocking algorithm Computing Concurrency control Transaction processing
76	Tandem TR[removed]The Transaction Concept: Virtues and Limitations Jim Gray Tandem Computers Incorporated Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-07-07 16:04:42 Information Schedule Database transaction Compensating transaction Database Durability NonStop Extensible Storage Engine Atomicity Transaction processing Data management Data
77	Computer Science Technical Report Mutual Exclusion Between Neighboring Nodes in a Tree That Stabilizes Using Read/Write Atomicity? Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 1999-06-22 14:29:51 Static single assignment form Self-stabilization Electromagnetism Topology Electronics Computing Fault-tolerant computer systems Concurrency control Mutual exclusion
78	Ensuring Required Failure Atomicity of Composite Web Services Sami Bhiri Olivier Perrin Add to Reading List Source URL: www2005.org Language: English - Date: 2005-03-31 03:34:18 Concurrency control Software Data management Data Database transaction ACID Spring Framework Enterprise JavaBeans Transaction processing Computing Java enterprise platform
79	CoherentPaaS CoherentPaaS aims at providing a full Atomicity, Consistency, Isolation and Durability (ACID) coherent, scalable and efficient environment integrating NoSQL, SQL and Complex Event Processing (CEP) data manag Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2013-10-24 09:26:01 Relational database management systems Database management systems Transaction processing NoSQL Database Scalability Graph database SQL Microsoft SQL Server Computing Data management Cloud computing
80	Automatic Atomicity Verification for Clients of Concurrent Data Structures Mohsen Lesani, Todd Millstein, and Jens Palsberg University of California, Los Angeles {lesani, todd, palsberg}@cs.ucla.edu Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-05-14 20:27:08 Concurrency control Transaction processing Concurrent computing Databases Linearizability Atomicity Concurrent data structure Mereology Serializability Computing Computer programming Data management

UPDATE