Search Results - java memory model*

Physical Java Memory Models: A Notional Machine

Authors: Colleen M. Lewis

Source: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. :383-389

Subject Terms: 4. Education, 05 social sciences, 7. Clean energy, 0503 education, 12. Responsible consumption

Access URL: https://dl.acm.org/doi/pdf/10.1145/3408877.3432477

The Safety-Critical Java memory model formalised: The safety-critical Java memory model formalised

Authors: Cavalcanti, Ana Wellings, Andy Woodcock, Jim

Source: Formal Aspects of Computing. 25:37-57

Subject Terms: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), memory safety, Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Theory of programming languages, integration, unifying theories of programming, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, safety-critical Java, 01 natural sciences, 0202 electrical engineering, electronic engineering, information engineering, refinement, semantics

File Description: application/xml

Access URL: https://zbmath.org/6148353
https://doi.org/10.1007/s00165-012-0253-4

Plan B: a buffered memory model for Java

Authors: Demange, Delphine Laporte, Vincent Zhao, Lei et al.

Contributors: Demange, Delphine Laporte, Vincent Zhao, Lei et al.

Source: ACM SIGPLAN Notices. 48:329-342

Subject Terms: [SCCO.COMP] Cognitive science/Computer science, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://inria.hal.science/hal-00924716v1

Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization

Authors: Aritra Sengupta Man Cao Michael D. Bond et al.

Source: Proceedings of the Principles and Practices of Programming on The Java Platform. :65-75

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://web.cse.ohio-state.edu/%7Emikebond/hybrid-EnfoRSer-pppj-2015.pdf

Data caching, garbage collection, and the Java memory model

Authors: Puffitsch W.

Source: ACM International Conference Proceeding Series

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://dl.acm.org/citation.cfm?id=1620419

JDMM: a java memory model for non-cache-coherent memory architectures

Authors: Foivos S. Zakkak Polyvios Pratikakis

Source: Proceedings of the 2014 international symposium on Memory management. :83-92

Subject Terms: 2. Zero hunger, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Verification of Causality Requirements in Java Memory Model Is Undecidable

Authors: Botinčan, Matko Glavan, Paola Runje, Davor

Source: Lecture Notes in Computer Science ISBN: 9783642144028

Subject Terms: Java memory model, multithreading, verifcation

Access URL: http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf
https://www.bib.irb.hr/456978

Verication of Causality Requirements in Java Memory Model is Undecidable

Authors: Glavan, Paola Botinčan, Matko

Subject Terms: Java memory model, verifcation, multithreading

Distributed Algorithms: A Case Study of the Java Memory Model

Authors: Glavan, Paola Botinčan, Matko

Subject Terms: Abstract state machines, Distributed algorithms, Java memory model

Access URL: http://ikt.hia.no/asm07/

SmartGC: online memory management prediction for PaaS Cloud Models

Authors: Simão, José Esteves, Sérgio Veiga, Luís et al.

Contributors: Simão, José Esteves, Sérgio Veiga, Luís et al.

Subject Terms: Garbage collection, Machine learning, Shared execution environment, Java Virtual Machine

File Description: application/pdf

Relation: 978-3-319-69461-0; 978-3-319-69462-7

Availability: http://hdl.handle.net/10400.21/8104

Das Java Memory Model : Überblick und Ausblick auf Java 9

Authors: Vadym Kazulkin Rodion Alukhanov

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

Distributed Algorithms: A Case Study of the Java Memory Model

Authors: Botinčan, Matko Glavan, Paola Runje, Davor et al.

Contributors: Botinčan, Matko Glavan, Paola Runje, Davor et al.

Subject Terms: Java memory model, Distributed algorithms, Abstract state machines

Access URL: https://www.bib.irb.hr/322235

Making the java memory model safe

Authors: Lochbihler, Andreas

Source: ACM Transactions on Programming Languages and Systems. 35:1-65

Subject Terms: ddc:004, DATA processing & computer science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR

Authors: Schrijvers, Tom Demoen, B. Lifschitz, V.

Contributors: Schrijvers, Tom Demoen, B. Lifschitz, V.

Source: Lecture Notes in Computer Science ISBN: 9783540226710

Subject Terms: Technology, Science & Technology, Constraint Handling Rules, 4. Education, 1. No poverty, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, Computer Science, Theory & Methods, Prolog, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, memory model, Java

Verification for Multithreaded Java Code using Java Memory Model

Authors: Min Lee Gi-Hwon Kwon

Source: The KIPS Transactions:PartD. :99-106

Access URL: http://society.kisti.re.kr/sv/SV_svpsbs03V.do?method=download&cn1=JAKO200807341730193

Java memory model aware software validation

Authors: Arnab De Abhik Roychoudhury Deepak D'Souza

Source: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. :8-14

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: http://www.comp.nus.edu.sg/~abhik/pdf/paste08.pdf

Analyzing the CRF Java memory model

Authors: Y. Yang G. Gopalakrishnan G. Lindstrom

Source: Proceedings Eighth Asia-Pacific Software Engineering Conference. :21-28

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

The Java memory model

Authors: Jeremy Manson William Pugh Sarita V. Adve

Source: ACM SIGPLAN Notices. 40:378-391

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Specifying Java thread semantics using a uniform memory model

Authors: Yue Yang Ganesh Gopalakrishnan Gary Lindstrom

Source: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande. :192-201

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://www.cs.utah.edu/formal_verification/yyang/papers/umm0.pdf

Fixing the Java memory model

Authors: William Pugh

Source: Proceedings of the ACM 1999 conference on Java Grande. :89-98

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://www.cs.uoregon.edu/classes/06W/cis607atom/readings/manson-pugh-adve-popl05.pdf