Atomicity

Results: 90



#Item
51Data management / Data / Concurrent computing / Linearizability / Atomicity / Lock / Concurrent data structure / Parallel computing / Concurrency / Concurrency control / Transaction processing / Computing

Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2011-08-29 18:26:40
52Sheaf / Mathematics / Computing / Concurrency control / Linearizability / Transaction processing

Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2014-07-08 18:07:14
53Concurrency control / Computer memory / Compiler construction / Programming language implementation / Transaction processing / Memory barrier / Volatile variable / TinyOS / Memory model / Computing / Software engineering / Computer programming

Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider David Gay

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2007-07-12 19:27:44
54Information / Atomicity / Consistency model / Durability / Transaction processing / Data management / Data

Data Semantics of the Real-time Web Bryan Cantrill VP, Engineering

Add to Reading List

Source URL: dtrace.org

Language: English - Date: 2010-09-30 13:45:30
55Group theory / Algorithm / Applied mathematics / Mathematics / Elliptic curves / Analytic number theory

Low-Cost Solutions for Preventing Simple Side-Channel Analysis: Side-Channel Atomicity [Cryptology ePrint Archive, ReportBenoˆıt Chevallier-Mames1 , Mathieu Ciet2 , and Marc Joye1 1

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2003-11-12 11:22:51
56

Gagnasafnsfræði Samskeiða vinnsla hreyfinga Hallgrímur H. Gunnarsson Eiginleikar hreyfinga Atomicity (A): (all-or-nothing atomicity)

Add to Reading List

Source URL: gsf.hhg.to

Language: Norwegian - Date: 2012-04-03 10:30:31
    57Concurrency / Data management / Information / Concurrent computing / Deadlock / Lock / Parallel computing / Petri net / Linearizability / Concurrency control / Computing / Transaction processing

    Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints Peng Liu Charles Zhang

    Add to Reading List

    Source URL: www.cse.ust.hk

    Language: English - Date: 2012-09-05 04:11:28
    58Data / Information / Computing / Linearizability / Atomicity / Lock / Isolation / Transaction processing / Concurrency control / Data management

    Detecting and Avoiding Atomicity Violations Luis Ceze, University of Washington sa pa

    Add to Reading List

    Source URL: www.nii.ac.jp

    Language: English - Date: 2010-01-12 02:04:58
    59Data / Information / Software transactional memory / Transactional memory / Linearizability / Database transaction / Lock / Kernel Transaction Manager / Atomicity / Transaction processing / Concurrency control / Data management

    Microsoft PowerPoint - HC18.0120.T1.tutorialAM_part4.ppt

    Add to Reading List

    Source URL: www.hotchips.org

    Language: English - Date: 2013-07-27 23:48:34
    60Concurrency control / Data / Software bugs / Databases / Parallel computing / Atomicity / Linearizability / Lock / Debugging / Transaction processing / Computing / Data management

    © 2012 Abdullah Al Muzahid EFFECTIVE ARCHITECTURAL SUPPORT FOR DETECTING CONCURRENCY BUGS BY ABDULLAH AL MUZAHID

    Add to Reading List

    Source URL: iacoma.cs.uiuc.edu

    Language: English - Date: 2012-09-12 16:38:51
    UPDATE