Suchergebnisse - java memory model

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

Autoren: Cavalcanti, Ana Wellings, Andy Woodcock, Jim

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

Schlagwörter: 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

Dateibeschreibung: application/xml

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

Plan B: a buffered memory model for Java

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

Weitere Verfasser: Demange, Delphine Laporte, Vincent Zhao, Lei et al.

Quelle: ACM SIGPLAN Notices. 48:329-342

Schlagwörter: [SCCO.COMP] Cognitive science/Computer science, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

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

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

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Data caching, garbage collection, and the Java memory model

Autoren: Puffitsch W.

Quelle: ACM International Conference Proceeding Series

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

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

Autoren: Foivos S. Zakkak Polyvios Pratikakis

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

Schlagwörter: 2. Zero hunger, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Verification of Causality Requirements in Java Memory Model Is Undecidable

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

Quelle: Lecture Notes in Computer Science ISBN: 9783642144028

Schlagwörter: Java memory model, multithreading, verifcation

Zugangs-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

Autoren: Glavan, Paola Botinčan, Matko

Schlagwörter: Java memory model, verifcation, multithreading

Distributed Algorithms: A Case Study of the Java Memory Model

Autoren: Glavan, Paola Botinčan, Matko

Schlagwörter: Abstract state machines, Distributed algorithms, Java memory model

Zugangs-URL: http://ikt.hia.no/asm07/

SmartGC: online memory management prediction for PaaS Cloud Models

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

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

Schlagwörter: Garbage collection, Machine learning, Shared execution environment, Java Virtual Machine

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://hdl.handle.net/10400.21/8104

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

Autoren: Vadym Kazulkin Rodion Alukhanov

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

Distributed Algorithms: A Case Study of the Java Memory Model

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

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

Schlagwörter: Java memory model, Distributed algorithms, Abstract state machines

Zugangs-URL: https://www.bib.irb.hr/322235

Making the java memory model safe

Autoren: Lochbihler, Andreas

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

Schlagwörter: 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

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

Weitere Verfasser: Schrijvers, Tom Demoen, B. Lifschitz, V.

Quelle: Lecture Notes in Computer Science ISBN: 9783540226710

Schlagwörter: 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

Autoren: Min Lee Gi-Hwon Kwon

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

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

Java memory model aware software validation

Autoren: Arnab De Abhik Roychoudhury Deepak D'Souza

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

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

Analyzing the CRF Java memory model

Autoren: Y. Yang G. Gopalakrishnan G. Lindstrom

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

The Java memory model

Autoren: Jeremy Manson William Pugh Sarita V. Adve

Quelle: ACM SIGPLAN Notices. 40:378-391

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Specifying Java thread semantics using a uniform memory model

Autoren: Yue Yang Ganesh Gopalakrishnan Gary Lindstrom

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Fixing the Java memory model

Autoren: William Pugh

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Improving the Java memory model using CRF

Autoren: Jan-Willem Maessen Xiaowei Shen

Quelle: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :1-12

Schlagwörter: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences