<--- Back to Details
First PageDocument Content
Java Memory Model / Java platform / Parallel computing / Rope / FO / Trace / Mathematics / Linear algebra / Computing
Date: 2014-08-13 19:27:02
Java Memory Model
Java platform
Parallel computing
Rope
FO
Trace
Mathematics
Linear algebra
Computing

MemSAT checking axiomatic specifications of memory models

Add to Reading List

Source URL: homes.cs.washington.edu

Download Document from Source Website

File Size: 3,31 MB

Share Document on Facebook

Similar Documents

. e Java Memory Model Jesper Öqvist .

DocID: 1v1MP - View Document

Fixing the Java Memory Model William Pugh Dept. of Computer Science Univ. of Maryland, College Park

DocID: 1sxR2 - View Document

Computing / Computer programming / Concurrency control / Software engineering / Software design patterns / Concurrency / Edsger W. Dijkstra / Concurrent computing / Synchronization / Thread-local storage / Java memory model / Thread

Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center

DocID: 1rj6p - View Document

Computing / Concurrent computing / Parallel computing / Computer memory / Classes of computers / Central processing unit / Non-uniform memory access / Cache coherence / Multiprocessing / Uniform memory access / Thread / Cache memory

A Locality Model for the Real-Time Specification for Java Abdul Haseeb Malik Andy Wellings Yang Chang

DocID: 1qY7n - View Document

Software engineering / Computing / Computer programming / Object-oriented programming / Memory management / Programming paradigms / Data types / Java / Class / Garbage collection / VM / Object model

Towards a DSAL for Object Layout in Virtual Machines - Position Paper Stijn Timbermont Bram Adams Michael Haupt

DocID: 1pU03 - View Document