Concurrency

Results: 2238



#Item
641Computer programming / Software quality / Concurrency control / Transaction processing / Actor model / Concurrency / Thread / Time of check to time of use / Vulnerability / Computing / Software bugs / Concurrent computing

Concurrency Attacks Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan {junfeng, ang, sal, simha}cs.columbia.edu Department of Computer Science Columbia University

Add to Reading List

Source URL: www.redballoonsecurity.com

Language: English - Date: 2014-02-27 21:40:35
642Concurrency control / Consensus / Probabilistic complexity theory / Algorithm / Synchronizer / Non-blocking algorithm / PP / Distributed computing / Randomized algorithm / Theoretical computer science / Computational complexity theory / Applied mathematics

Notes on Theory of Distributed Systems CS: Spring 2014 James Aspnes:02

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2014-05-02 18:02:39
643Data management / Databases / Concurrency control / Global serializability / Serializability / Replication / Service-oriented architecture / Communications protocol / Scalability / Data / Information / Transaction processing

Life beyond Distributed Transactions: an Apostate’s Opinion Position Paper Pat Helland Amazon.Com 705 Fifth Ave South

Add to Reading List

Source URL: adrianmarriott.net

Language: English - Date: 2009-06-11 17:55:10
644Data management / Software bug / Lock / Linearizability / Parallel computing / Thread / Serializability / Mutual exclusion / Kernel / Concurrency control / Computing / Transaction processing

AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang1 Yongwei Wu1 Shan Lu2,∗ Shanxiang Qi3,† Jinglei Ren1 Weimin Zheng1 1 Tsinghua National Laboratory for Information Science and Technology, Tsing

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2014-08-19 10:13:59
645Information / Concurrency control / Databases / Database management systems / Serializability / Schedule / Extensible Storage Engine / Two-phase locking / ACID / Transaction processing / Data management / Data

Transaction chains: achieving serializability with low latency in geo-distributed storage systems Yang Zhang∗ , Russell Power∗ , Siyuan Zhou∗ , Yair Sovran∗ , Marcos K. Aguilera‡ , Jinyang Li∗ ∗ New York Un

Add to Reading List

Source URL: news.cs.nyu.edu

Language: English - Date: 2013-10-28 21:16:05
646Computer programming / Dangling pointer / Pointer / Stack buffer overflow / Debugging / Memory leak / Lock / Buffer overflow / C dynamic memory allocation / Computing / Software bugs / Software engineering

ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach Wei Zhang Chong Sun

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2010-01-19 14:05:40
647Lock / Thread / Hewlett-Packard / C dynamic memory allocation / Computing / Computer hardware / Concurrency control

How to Miscompile Programs with “Benign” Data Races Hans-J. Boehm Date: © Copyright 2011 Hewlett-Packard Development Company, L.P.

Add to Reading List

Source URL: hboehm.info

Language: English - Date: 2014-02-06 19:37:31
648Concurrency control / Computer memory / Compiler construction / Programming language design / OpenMP / Lock / Memory model / Linearizability / Thread / Computing / Software engineering / Parallel computing

Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++)

Add to Reading List

Source URL: hboehm.info

Language: English - Date: 2014-02-06 19:37:32
649Information / Databases / Concurrency control / Serializability / Low latency / Replication / Latency / Transaction processing / Data management / Data

Transaction Chains: Achieving Serializability with Low Latency in Geo-Distributed Storage Systems Yang * Zhang

Add to Reading List

Source URL: www.yzhang.net

Language: English - Date: 2015-02-12 19:02:19
650Data / Information / Linearizability / Monitor / Sequential consistency / Concurrent data structure / Communications protocol / Consistency model / Concurrent computing / Computing / Concurrency control / Transaction processing

Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2002-12-21 01:16:06
UPDATE