Searching for "The Java memory model." – sorted by Relevance.
-
Fixing the Java Memory Model
- Abstract The Java memory model described in Chapter 17 of the Java Language Specification gives
- Add To MetaCart
-
Fixing the Java memory model
- The Java Memory Model ∗ Jeremy Manson and William Pugh Department of Computer Science University
- Cited by 148 (4 self) – Add To MetaCart
-
Formalizing the Java Memory Model
- Formalizing the Java Memory Model for Multithreaded Program Correctness and Optimization Yue Yang
- Add To MetaCart
-
The Java Memory Model is Fatally Flawed
- Abstract (To appear in Concurrency: Practice and Experience) The Java Memory Model is Fatally
- Cited by 13 (0 self) – Add To MetaCart
-
Analyzing the CRF Java Memory Model
- Analyzing the CRF Java Memory Model Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom ∗ School
- Cited by 9 (6 self) – Add To MetaCart
-
Analyzing the CRF Java Memory Model
- Analyzing the CRF Java Memory Model Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom # School
- Add To MetaCart
-
Hiding the Java Memory Model with Compilers
- -intuitive Java memory model and the non-deterministic behavior makes it dicult for a programmer to write correct
- Add To MetaCart
-
On Validity of Program Transformations in the Java Memory Model
- On Validity of Program Transformations in the Java Memory Model Jaroslav ˇ Sevčík and David
- Cited by 1 (0 self) – Add To MetaCart
-
E.: The Java memory model: Operationally, denotationally, axiomatically
- The Java Memory Model: Operationally, Denotationally, Axiomatically Pietro Cenciarelli 1
- Cited by 3 (0 self) – Add To MetaCart
-
Improving the Java Memory Model Using CRF
- Improving the Java Memory Model Using CRF Computation Structures Group Memo 428 October 6, 2000 Jan
- Cited by 29 (0 self) – Add To MetaCart

