155 search results - page 2 / 31 » Fixing the Java Memory Model |
FIDJI
2004
Springer
13 years 10 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
ASIAN
2004
Springer
13 years 10 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
ISORC
2008
IEEE
13 years 11 months ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...
FM
2001
Springer
13 years 9 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...