341![Tech Digest Figure Template_2 column_01-06-12 Tech Digest Figure Template_2 column_01-06-12](https://www.pdfsearch.io/img/c8a8c560fcb69ef23e35b3b7ebd360ab.jpg) | Add to Reading ListSource URL: www.jhuapl.eduLanguage: English - Date: 2013-09-26 17:14:49
|
---|
342![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 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](https://www.pdfsearch.io/img/8fc95964461aa74531fb0c6c26af0568.jpg) | Add to Reading ListSource URL: www.cs.ucla.eduLanguage: English - Date: 2014-05-14 20:27:08
|
---|
343![Putting 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](https://www.pdfsearch.io/img/e3426af716db26d208440da7f65350b3.jpg) | Add to Reading ListSource URL: www.cs.ucla.eduLanguage: English - Date: 2012-08-15 23:50:13
|
---|
344![Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco](https://www.pdfsearch.io/img/4140d10c7c4d1ca1226331eac9332251.jpg) | Add to Reading ListSource URL: www.cs.ucla.eduLanguage: English - Date: 2013-10-26 02:05:50
|
---|
345![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 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](https://www.pdfsearch.io/img/aec9d7392d737cfa0c64a12d0d7f8ec0.jpg) | Add to Reading ListSource URL: www.cs.ucla.eduLanguage: English - Date: 2014-02-17 15:44:48
|
---|
346![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 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](https://www.pdfsearch.io/img/8235df8ee13ab639c55cf40cad386ad5.jpg) | Add to Reading ListSource URL: www.bsc.esLanguage: English - Date: 2014-07-14 08:14:45
|
---|
347![Pitfalls of lazy subscription ∗ Dave Dice Timothy L. Harris Alex Kogan Pitfalls of lazy subscription ∗ Dave Dice Timothy L. Harris Alex Kogan](https://www.pdfsearch.io/img/e752275b4e06db49fc6f706d08e400b8.jpg) | Add to Reading ListSource URL: blogs.oracle.comLanguage: English - Date: 2014-07-03 10:25:45
|
---|
348![Model checking transactional memory John O’Leary Intel Bratin Saha Intel Model checking transactional memory John O’Leary Intel Bratin Saha Intel](https://www.pdfsearch.io/img/683f1a92e435aa6e2db9d5339a94058f.jpg) | Add to Reading ListSource URL: www.markrtuttle.comLanguage: English - Date: 2011-09-30 00:00:00
|
---|
349![Model 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](https://www.pdfsearch.io/img/b14652c731a10a7bf98b548086f267ef.jpg) | Add to Reading ListSource URL: www.markrtuttle.comLanguage: English - Date: 2011-09-30 00:00:00
|
---|
350![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} 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}](https://www.pdfsearch.io/img/a64d9278bfc84631e2733af6cf00f337.jpg) | Add to Reading ListSource URL: rsim.cs.illinois.eduLanguage: English - Date: 2013-02-13 15:41:56
|
---|