1![. e Java Memory Model Jesper Öqvist
. . e Java Memory Model Jesper Öqvist
.](https://www.pdfsearch.io/img/9ef744807fa4902588d44aa0a90a5d37.jpg) | Add to Reading ListSource URL: fileadmin.cs.lth.seLanguage: English - Date: 2013-11-29 03:58:06
|
---|
2![Fixing the Java Memory Model William Pugh Dept. of Computer Science Univ. of Maryland, College Park Fixing the Java Memory Model William Pugh Dept. of Computer Science Univ. of Maryland, College Park](https://www.pdfsearch.io/img/72175501c8f7063b2209ac18537fe9d2.jpg) | Add to Reading ListSource URL: www.cs.umd.edu- Date: 1999-04-09 13:55:14
|
---|
3![Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center](https://www.pdfsearch.io/img/ef48be068110dc6a135e2f6777119275.jpg) | Add to Reading ListSource URL: www.cs.columbia.eduLanguage: English - Date: 2016-01-23 22:11:59
|
---|
4![A Locality Model for the Real-Time Specification for Java Abdul Haseeb Malik Andy Wellings Yang Chang A Locality Model for the Real-Time Specification for Java Abdul Haseeb Malik Andy Wellings Yang Chang](https://www.pdfsearch.io/img/59ca2f04e1792268d45fb86d9c225679.jpg) | Add to Reading ListSource URL: d3s.mff.cuni.czLanguage: English - Date: 2010-08-23 10:45:03
|
---|
5![Towards a DSAL for Object Layout in Virtual Machines - Position Paper Stijn Timbermont Bram Adams Michael Haupt Towards a DSAL for Object Layout in Virtual Machines - Position Paper Stijn Timbermont Bram Adams Michael Haupt](https://www.pdfsearch.io/img/ca20038a0bf607027517ebab70d6ebdc.jpg) | Add to Reading ListSource URL: dsal.dcc.uchile.clLanguage: English - Date: 2008-10-10 19:02:49
|
---|
6![Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1 Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1](https://www.pdfsearch.io/img/3faffa68a31c895fba7e5ce3c045407b.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2012-09-10 07:41:00
|
---|
7![Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace](https://www.pdfsearch.io/img/f2f74212d68607f92780b30edcbfa934.jpg) | Add to Reading ListSource URL: www.upc.mtu.eduLanguage: English - Date: 2006-02-07 16:59:47
|
---|
8![Extended Sequential Reasoning for Data-Race-Free Programs Extended Sequential Reasoning for Data-Race-Free Programs](https://www.pdfsearch.io/img/e2c3c9536c391c4a5a4808364c36d39f.jpg) | Add to Reading ListSource URL: www.hpl.hp.comLanguage: English - Date: 2011-05-07 02:09:33
|
---|
9![How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored](https://www.pdfsearch.io/img/b809d51040904fe89d91373cf48d84c7.jpg) | Add to Reading ListSource URL: www.hboehm.infoLanguage: English - Date: 2014-02-06 19:37:25
|
---|
10![Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs
Simplified mainstream (Java, C++) Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs
Simplified mainstream (Java, C++)](https://www.pdfsearch.io/img/caa7d2ea54b4945da04d355f8837633d.jpg) | Add to Reading ListSource URL: www.hboehm.infoLanguage: English - Date: 2014-02-06 19:37:32
|
---|