Non-blocking

Results: 272



#Item
61Concurrency control / Hazard pointer / Mutual exclusion / Non-blocking algorithm / Thread / Unix signal / Pointer / ABA problem / X86-64 / Stack / X86 / C dynamic memory allocation

An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice

Add to Reading List

Source URL: www.hboehm.info

Language: English
62Computer programming / Software engineering / Concurrency control / Computing / Recursion / Spinlock / Compare-and-swap / Synchronization / Thread / Null / Non-blocking algorithm / Lock

Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2012-11-10 09:59:34
63Internet privacy / Computer access control / HTTP cookie / Hypertext Transfer Protocol / User agent / Google Chrome / HTTP referer / Online advertising / Ad blocking

Fraud taxonomy March, 2015 The terms defined in the taxonomy below are not necessarily mutually exclusive of one another. Ad impressions can have different but sometimes overlapping definitions. Illegitimate and Non-Huma

Add to Reading List

Source URL: www.tagtoday.net

Language: English - Date: 2015-03-23 16:50:31
64Computing / Java platform / Concurrent computing / Java / Asynchronous I/O / Concurrency control / Input/output / Message Passing Interface / Actor model / Non-blocking I/O / Thread / Synchronization

Bulk File I/O Extensions to Java Dan Bonachea EECS Department University of California, Berkeley Berkeley, CA 94720, USA

Add to Reading List

Source URL: titanium.cs.berkeley.edu

Language: English - Date: 2014-04-29 06:11:57
65Concurrency control / Linearizability / Non-blocking algorithm / Monitor / Lock / Deadlock / Synchronization / Thread / Liveness

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China

Add to Reading List

Source URL: flint.cs.yale.edu

Language: English - Date: 2013-07-18 23:10:16
66Computing / Software / Concurrency control / Separation logic / Lock / Concurrency / Non-blocking algorithm / Concurrent computing / Parallel computing / Linearizability / Go

Mechanized Verification of 
 Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey

Add to Reading List

Source URL: ilyasergey.net

Language: English - Date: 2016-03-01 06:31:32
67

Non-Blocking Inter-Partition Communication with Wait-Free Pair Transactions Ethan Blanton1 Lukasz Ziarek1,2

Add to Reading List

Source URL: kb8ojh.net

Language: English - Date: 2013-10-15 20:16:31
    68

    Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho∗ , Masami Hagiya† , Richard Potter† , Yoshinori Tanabe‡ , Franz Weitl§ , and Mitsuharu Yamamoto§ ∗

    Add to Reading List

    Source URL: staff.aist.go.jp

    Language: English - Date: 2015-11-26 00:31:05
      69Concurrency control / Transaction processing / Software transactional memory / Transactional memory / Lock / Linearizability / Parallel computing / Monitor / Non-blocking algorithm

      Kicking the Tires of Software Transactional Memory: Why the Going Gets Tough Richard M. Yoo† Bratin Saha‡

      Add to Reading List

      Source URL: www.adamwelc.org

      Language: English - Date: 2008-08-19 15:01:33
      70Computing / Concurrency control / Software engineering / Software / Synchronization / Monitor / Thread / Lock / Software transactional memory / Mutual exclusion / Non-blocking algorithm / Scheduling

      Preemption-Based Avoidance of Priority Inversion for Java Adam Welc Antony L. Hosking Suresh Jagannathan

      Add to Reading List

      Source URL: www.adamwelc.org

      Language: English - Date: 2007-07-31 20:51:30
      UPDATE