371![Synchronising C/C++ and POWER Susmit Sarkar1 1 2 Kayvan Memarian1 Synchronising C/C++ and POWER Susmit Sarkar1 1 2 Kayvan Memarian1](https://www.pdfsearch.io/img/775ddc9ca27176bcbc58c6a7841aa0b3.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2012-03-26 05:14:09
|
---|
372![Adding lock elision to Linux Linux Plumbers Conference Aug 2012 Andi Kleen [removed] Adding lock elision to Linux Linux Plumbers Conference Aug 2012 Andi Kleen [removed]](https://www.pdfsearch.io/img/c4c65800e656d9ca597b3f5a4c396c96.jpg) | Add to Reading ListSource URL: www.halobates.deLanguage: English - Date: 2012-08-29 16:20:20
|
---|
373![A Tutorial Introduction to the ARM and POWER Relaxed Memory Models Luc Maranget INRIA Susmit Sarkar University of Cambridge A Tutorial Introduction to the ARM and POWER Relaxed Memory Models Luc Maranget INRIA Susmit Sarkar University of Cambridge](https://www.pdfsearch.io/img/8bfa3ddb4b4b915ce52bfed2d4fdf862.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2012-10-10 05:25:03
|
---|
374![The Java Memory Model Jeremy Manson, William Pugh Univ. of Maryland, College Park
Java Memory Model and Thread Specification The Java Memory Model Jeremy Manson, William Pugh Univ. of Maryland, College Park
Java Memory Model and Thread Specification](https://www.pdfsearch.io/img/83a3fff5f9a95f1c342efb25bccefc92.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2003-10-24 05:47:30
|
---|
375![JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 23, 2004, 12:57pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Sp JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 23, 2004, 12:57pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Sp](https://www.pdfsearch.io/img/1bc6a105e7e03fb87643c7e8ab663df4.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2004-04-23 12:58:08
|
---|
376![Thread 1 Thread 2 1: r2 = A; 3: r1 = B 2: B = 1; 4: A = 2 May return r2 == 2, r1 == 1 Figure 1: Behaves Surprisingly Thread 1 Thread 2 1: r2 = A; 3: r1 = B 2: B = 1; 4: A = 2 May return r2 == 2, r1 == 1 Figure 1: Behaves Surprisingly](https://www.pdfsearch.io/img/1fce0465d1a320f16e5edcf01bd50a14.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2004-02-01 21:43:05
|
---|
377![JSR-133: JavaTM Memory Model and Thread Specification This document is the community review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specification is intended to be p JSR-133: JavaTM Memory Model and Thread Specification This document is the community review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specification is intended to be p](https://www.pdfsearch.io/img/f67a88341ccad9fb53b30e6436de0bc2.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2003-08-08 11:08:03
|
---|
378![JSR-133: JavaTM Memory Model and Thread Specification October 17, 2003, 11:24am This document is a preliminary version of the public review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Speci JSR-133: JavaTM Memory Model and Thread Specification October 17, 2003, 11:24am This document is a preliminary version of the public review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Speci](https://www.pdfsearch.io/img/111b871642d9d17c6d8bbcff686d35a2.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2003-10-17 11:25:56
|
---|
379![Architectural and Compiler Support for Strongly Atomic Transactional Memory by C. Scott Ananian M.Sc Electrical Engineering and Computer Science, Architectural and Compiler Support for Strongly Atomic Transactional Memory by C. Scott Ananian M.Sc Electrical Engineering and Computer Science,](https://www.pdfsearch.io/img/95e3447e57be338ec9a408593833c257.jpg) | Add to Reading ListSource URL: cscott.netLanguage: English - Date: 2007-05-31 03:48:33
|
---|
380![Using Lightweight Theorem Proving in an Asynchronous Systems Context Matthew Danish and Hongwei Xi Boston University Computer Science 111 Cummington Mall Boston, MA 02215 Using Lightweight Theorem Proving in an Asynchronous Systems Context Matthew Danish and Hongwei Xi Boston University Computer Science 111 Cummington Mall Boston, MA 02215](https://www.pdfsearch.io/img/089e5b4235c3f93e0553129b203bcc96.jpg) | Add to Reading ListSource URL: cs-people.bu.eduLanguage: English - Date: 2014-04-20 18:02:21
|
---|