Výsledky vyhledávání - "Java memory model"

Data caching, garbage collection, and the Java memory model

Autoři: Puffitsch W.

Zdroj: ACM International Conference Proceeding Series

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: http://dl.acm.org/citation.cfm?id=1620419

Distributed Algorithms: A Case Study of the Java Memory Model

Autoři: Glavan, Paola Botinčan, Matko

Témata: Abstract state machines, Distributed algorithms, Java memory model

Přístupová URL adresa: http://ikt.hia.no/asm07/

Distributed Algorithms: A Case Study of the Java Memory Model

Autoři: Botinčan, Matko Glavan, Paola Runje, Davor a další

Přispěvatelé: Botinčan, Matko Glavan, Paola Runje, Davor a další

Témata: Java memory model, Distributed algorithms, Abstract state machines

Přístupová URL adresa: https://www.bib.irb.hr/322235

Verification of Causality Requirements in Java Memory Model Is Undecidable

Autoři: Botinčan, Matko Glavan, Paola Runje, Davor

Zdroj: Lecture Notes in Computer Science ISBN: 9783642144028

Témata: Java memory model, multithreading, verifcation

Přístupová URL adresa: http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf
https://www.bib.irb.hr/456978

Verication of Causality Requirements in Java Memory Model is Undecidable

Autoři: Glavan, Paola Botinčan, Matko

Témata: Java memory model, verifcation, multithreading

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

Autoři: Foivos S. Zakkak Polyvios Pratikakis

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

Témata: 2. Zero hunger, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Autoři: Cavalcanti, Ana Wellings, Andy Woodcock, Jim

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

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/6148353
https://doi.org/10.1007/s00165-012-0253-4

Making the java memory model safe

Autoři: Lochbihler, Andreas

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

Témata: 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

Verification for Multithreaded Java Code using Java Memory Model

Autoři: Min Lee Gi-Hwon Kwon

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

Přístupová URL adresa: http://society.kisti.re.kr/sv/SV_svpsbs03V.do?method=download&cn1=JAKO200807341730193

Analyzing the CRF Java memory model

Autoři: Y. Yang G. Gopalakrishnan G. Lindstrom

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Java memory model aware software validation

Autoři: Arnab De Abhik Roychoudhury Deepak D'Souza

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: http://www.comp.nus.edu.sg/~abhik/pdf/paste08.pdf

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

Autoři: Vadym Kazulkin Rodion Alukhanov

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

The Java memory model

Autoři: Jeremy Manson William Pugh Sarita V. Adve

Zdroj: ACM SIGPLAN Notices. 40:378-391

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

The Java memory model is fatally flawed

Autoři: William Pugh

Zdroj: Concurrency: Practice and Experience. 12:445-455

Přístupová URL adresa: http://www.cs.umd.edu/~pugh/papers/jmm2.pdf

Fixing the Java memory model

Autoři: William Pugh

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: http://www.cs.uoregon.edu/classes/06W/cis607atom/readings/manson-pugh-adve-popl05.pdf

Impact of java memory model on out-of-order multiprocessors

Autoři: T. Mitra A. Roychoudhury null Qinghua Shen

Zdroj: Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004.. :99-110

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: http://www.comp.nus.edu.sg/~abhik/pdf/pact04.pdf

Improving the Java memory model using CRF

Autoři: Jan-Willem Maessen Xiaowei Shen

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

Témata: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

On Validity of Program Transformations in the Java Memory Model

Autoři: Jaroslav Ševčík David Aspinall

Zdroj: Lecture Notes in Computer Science ISBN: 9783540705918

Java Memory Model-Aware Model Checking

Autoři: Huafeng Jin Tuba Yavuz-Kahveci Beverly A. Sanders

Zdroj: Lecture Notes in Computer Science ISBN: 9783642287558

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F978-3-642-28756-5_16.pdf

Java and the Java Memory Model — A Unified, Machine-Checked Formalisation

Autoři: Lochbihler, Andreas

Zdroj: Lecture Notes in Computer Science ISBN: 9783642288685

Témata: ddc:004, 4. Education, DATA processing & computer science, 16. Peace & justice

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F978-3-642-28869-2_25.pdf