Linearizability

Results: 416



#Item
341Tech Digest Figure Template_2 column_01-06-12

Tech Digest Figure Template_2 column_01-06-12

Add to Reading List

Source URL: www.jhuapl.edu

Language: English - Date: 2013-09-26 17:14:49
342Automatic 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

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
343Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT

Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2012-08-15 23:50:13
344Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco

Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2013-10-26 02:05:50
345Proving Non-opacity Mohsen Lesani and Jens Palsberg UCLA, University of California, Los Angeles {lesani,palsberg}@ucla.edu Abstract. Guerraoui and Kapalka defined opacity as a safety criterion

Proving Non-opacity Mohsen Lesani and Jens Palsberg UCLA, University of California, Los Angeles {lesani,palsberg}@ucla.edu Abstract. Guerraoui and Kapalka defined opacity as a safety criterion

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2014-02-17 15:44:48
346COST Action Euro-TM European researchers unite to unleash the potential of multi-core architectures Since 2011, BSC has been participating in the COST (European Cooperation in Science and Technology) Action Euro-TM, brin

COST Action Euro-TM European researchers unite to unleash the potential of multi-core architectures Since 2011, BSC has been participating in the COST (European Cooperation in Science and Technology) Action Euro-TM, brin

Add to Reading List

Source URL: www.bsc.es

Language: English - Date: 2014-07-14 08:14:45
347Pitfalls of lazy subscription ∗ Dave Dice Timothy L. Harris Alex Kogan

Pitfalls of lazy subscription ∗ Dave Dice Timothy L. Harris Alex Kogan

Add to Reading List

Source URL: blogs.oracle.com

Language: English - Date: 2014-07-03 10:25:45
348Model checking transactional memory John O’Leary Intel Bratin Saha Intel

Model checking transactional memory John O’Leary Intel Bratin Saha Intel

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2011-09-30 00:00:00
349Model checking transactional memory with Spin John O’Leary Intel [removed] Bratin Saha

Model checking transactional memory with Spin John O’Leary Intel [removed] Bratin Saha

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2011-09-30 00:00:00
350DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism Hyojin Sung, Rakesh Komuravelli, and Sarita V. Adve Department of Computer Science University of Illinois at Urbana-Champaign {sung12, komurav1, sadve}

DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism Hyojin Sung, Rakesh Komuravelli, and Sarita V. Adve Department of Computer Science University of Illinois at Urbana-Champaign {sung12, komurav1, sadve}

Add to Reading List

Source URL: rsim.cs.illinois.edu

Language: English - Date: 2013-02-13 15:41:56