• *Search*: "java memory model"

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 586

1

JDMM: A Java Memory Model for Non-Cache-Coherent Memory Architectures
Memory management
Zakkak, Foivos S. ; Pratikakis, Polyvios
ACM SIGPLAN notices. 49(11):83-92

*Conference*
*Add to favorites*
4

The Safety-Critical Java Memory Model: A Formal Account
International symposium of formal methods
Cavalcanti, A. ; Wellings, A. ; Woodcock, J.
LECTURE NOTES IN COMPUTER SCIENCE. (6664):246-261

*Conference*
*Add to favorites*
5

Verification of Causality Requirements in Java Memory Model Is Undecidable
Parallel processing and applied mathematics
Botincan, M. ; Glavan, P. ; Runje, D.
LECTURE NOTES IN COMPUTER SCIENCE. (6068):62-67

*Conference*
*Add to favorites*
9

Impact of Java Memory Model on Out-of-Order Multiprocessors
Parallel architecture and compilation techniques; PACT 2004
Mitra, T. ; Roychoudhury, A. ; Shen, Q.
INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURE AND COMPILATION TECHNIQUES. :99-110

*Conference*
*Add to favorites*
10

Analyzing the CRF Java Memory Model
Asia-Pacific software engineering conference
Yang, Y. ; Gopalakrishnan, G. ; Lindstrom, G.
ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE. :21-28

*Conference*
*Add to favorites*
12

The Java memory model is fatally flawed
ACM 1999
Pugh, W.
CONCURRENCY. 12(6):445-456

*Conference*
*Add to favorites*
13

Fixing the Java Memory Model
Java grande conference
Pugh, W.
PROCEEDINGS OF THE ACM JAVA GRANDE CONFERENCE. :89-98

*Conference*
*Add to favorites*
14

The Safety-Critical Java memory model formalised
Cavalcanti, A. ; Wellings, A. ; Woodcock, J.
FORMAL ASPECTS OF COMPUTING. 25(1):37-57

*Periodical*
*Add to favorites*
15

*This result is not displayed to guests*

16

The Java Memory Model
Manson, Jeremy ; Manson, Jeremy

*Electronic Resource*
*Add to favorites*
17

Java Memory Model (JMM) für Anfänger und Fortgeschrittene
Vadym Kazulkin ; Rodion Alukhanov ; Kompetenzzentrum für nicht-textuelle Materialien

Computer Science Studienbereich Informati... Ingenieurwissenschaften
**
*Add to favorites*
19

Java and the Java Memory Model – a Unified, Machine-Checked Formalisation
Lochbihler, Andreas
ISSN: 1611-3349.

ddc:004 DATA processing & comput... info:eu-repo/classificat...
*Academic Journal*
*Add to favorites*
20

Java memory model aware software validation
De, Arnab ; Roychoudhury, Abhik ; D'Souza, Deepak ; et al.
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering ; page 8-14

*Conference*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*