Concurrency

Results: 2238



#Item
711Adjoint functors / Functional programming / Control flow / Central processing unit / Concurrency control / Monad / Scheduling / Parallel computing / Thread / Computing / Software engineering / Computer programming

A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1

Add to Reading List

Source URL: www.amitlevy.com

Language: English - Date: 2013-09-13 15:42:52
712Software bugs / Logic in computer science / Debugging / Lock / Race condition / Thread / Parallel computing / Assertion / Dynamic random-access memory / Computing / Computer programming / Software engineering

ConSeq: Detecting Concurrency Bugs through Sequential Errors Wei Zhang1 Junghee Lim1

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2011-02-02 17:07:10
713Type theory / Cross-platform software / Functional languages / Java platform / Procedural programming languages / Scala / Type system / Ada / Haskell / Computing / Software engineering / Programming language theory

Position Paper: Static Debugging of Programs Using High-Level Concurrency Libraries Philipp Haller EPFL, Switzerland

Add to Reading List

Source URL: gee.cs.oswego.edu

Language: English - Date: 2010-10-05 16:30:08
714Computer programming / Lock / Thread / Busy waiting / C dynamic memory allocation / Root name server / Name server / Computing / Concurrency control / Domain name system

Implementation and Evaluation of Moderate Parallelism in the BIND9 DNS Server JINMEI, Tatuya / Toshiba Paul Vixie / Internet Systems Consortium [Supported by SCOPE of the Ministry of Internal Affairs

Add to Reading List

Source URL: www.jinmei.org

Language: English - Date: 2006-06-10 10:10:18
715Information / Concurrency control / Databases / Serializability / Snapshot isolation / Schedule / Multiversion concurrency control / Isolation / Replication / Transaction processing / Data management / Data

Highly Available Transactions: Virtues and Limitations Peter Bailis, Aaron Davidson, Alan Fekete† , Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica UC Berkeley and † University of Sydney ABSTRACT To minimize network la

Add to Reading List

Source URL: amplab.cs.berkeley.edu

Language: English - Date: 2013-10-08 14:40:19
716Computer programming / Concurrency control / Parallel computing / C POSIX library / POSIX Threads / Concurrency / Monitor / Reentrancy / Lock / Computing / Concurrent computing / Threads

PDF Document

Add to Reading List

Source URL: omniorb.sourceforge.net

Language: English - Date: 2009-07-31 06:28:45
717Data / Information / Databases / Database management systems / Snapshot isolation / Multiversion concurrency control / Serializability / Isolation / Linearizability / Transaction processing / Concurrency control / Data management

Scalable Atomic Visibility with RAMP Transactions Peter Bailis, Alan Fekete† , Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica UC Berkeley and † University of Sydney ABSTRACT Databases can provide scalability by partit

Add to Reading List

Source URL: amplab.cs.berkeley.edu

Language: English - Date: 2014-04-24 17:03:12
718Data management / Compare-and-swap / Pointer / Linearizability / Swap / Lock / Ctrie / Concurrency control / Computing / Computer programming

Atomics in UPC A memory operation is atomic in case the only observable states for the memory are the state before the operation began or the state after the operation has completed. It is as if the operation happens at

Add to Reading List

Source URL: upc.gwu.edu

Language: English - Date: 2013-12-04 13:04:31
719Concurrency / Producer-consumer problem / Java / Constructor / Zookeeper / Java programming language / Computing / Object-oriented programming / Software engineering

Programming with ZooKeeper - A basic tutorial

Add to Reading List

Source URL: zookeeper.apache.org

Language: English - Date: 2012-11-18 19:36:21
720Computing / Extreme programming / Code refactoring / Method / Software design patterns / Lock / Volatile variable / D / Constructor / Software engineering / Computer programming / Concurrency control

Correct Refactoring of Concurrent Java Code Max Schäfer1 Julian Dolby2 1

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58
UPDATE