Java memory model

Known as: JMM, Memory model

The Java memory model describes how threads in the Java programming language interact through memory. Together with the description of single…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

A modular approach is presented for the construction of 2-manifolds of higher genus, corresponding to the connected sum of…

2015

In the era of globalization, most companies all over the world are constantly looking for ways to increase productivity and at…

2013

Journal of Mathematics and Music's recent special issue 7(2) reveals substantial common ground between mathematical theories of…

2010

Analysis of Thermo-Piezoelectricity Problems by Meshless Method In this paper meshless method based on the local Petrov-Galerkin…

2009

Most approaches to reasoning about multithreaded programs, including model checking, make the implicit assumption that the system…

2009

In this paper, we establish a notion of causality that should be used as a desideratum for memory models and code transformations…

2002

Abstract The issues currently facing the book publishing industry are profound and the resolution of these issues will ultimately…

2002

Abstract This paper examines and categorises potential business model scenarios for music based on wireless technologies…

1999

The Mur/spl psi/ description language and verification system for finite-state concurrent systems is applied to the problem of…

1996

Future trends to enhance the robustness of a target tracker subject to target maneuverability and system uncertainties are…