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

Mining Java Memory Errors using Subjective Interesting Subgroups with Hierarchical Targets

Autoři: Remil, Youcef Bendimerad, Anes Chambard, Mathieu a další

Přispěvatelé: Remil, Youcef Bendimerad, Anes Chambard, Mathieu a další

Zdroj: 2023 IEEE International Conference on Data Mining Workshops (ICDMW). :1221-1230

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], FOS: Computer and information sciences, AIOps Java Memory Analysis Data Mining Subgroup Discovery Subjective Interestingness, Computer Science - Artificial Intelligence, AIOps, Computer Science - Information Theory, Information Theory (cs.IT), Java Memory Analysis, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Software Engineering (cs.SE), Computer Science - Software Engineering, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, Data Mining, Subgroup Discovery, [INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR], Subjective Interestingness

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2310.00781
https://hal.science/hal-04224279v1/document
https://doi.org/10.1109/icdmw60847.2023.00159
https://hal.science/hal-04224279v1

Verification of Causality Requirements in Java Memory Model Is Undecidable

Autoři: Matko Botincan Paola Glavan Davor Runje

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

Hiearchical real-time garbage collection

Autoři: Filip Pizlo Antony L. Hosking Ibm T. J Watson a další

Přispěvatelé: Filip Pizlo Antony L. Hosking Ibm T. J Watson a další

Zdroj: https://www.cs.purdue.edu/homes/hosking/papers/lctes07.pdf.

Témata: General Terms Languages, Experimentation. Keywords Real-time systems, Java Memory management

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.490.8133

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.490.8133

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

An experimental study of Java objects behaviour for mobile architectures

Autoři: Guiton, Arnaud Banâtre, Michel Ambient computing and embedded systems (ACES) a další

Přispěvatelé: Guiton, Arnaud Banâtre, Michel Ambient computing and embedded systems (ACES) a další

Zdroj: https://hal.inria.fr/inria-00070555 ; [Research Report] RR-5452, INRIA. 2005, pp.24.

Témata: MOBILE DEVICES, JAVA OBJECTS BEHAVIOURS, JAVA MEMORY, OBJECTS MAPPING IN MEMORY, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: Report N°: RR-5452; inria-00070555; https://hal.inria.fr/inria-00070555; https://hal.inria.fr/inria-00070555/document; https://hal.inria.fr/inria-00070555/file/RR-5452.pdf

Dostupnost: https://hal.inria.fr/inria-00070555
https://hal.inria.fr/inria-00070555/document
https://hal.inria.fr/inria-00070555/file/RR-5452.pdf

Verified compilation of Concurrent Managed Languages

Autoři: Jagannathan,Suresh Vitek,Jan Purdue University West Lafayette United States

Přispěvatelé: Jagannathan,Suresh Vitek,Jan Purdue University West Lafayette United States

Témata: Computer Programming and Software, COMPUTER PROGRAM VERIFICATION, methodology, PROGRAMMING LANGUAGES, reasoning, Program verification, compiler design, concurrency, memory models, theorem proving, garbage collection, java memory model

Popis souboru: text/html

Relation: http://www.dtic.mil/docs/citations/AD1043395

Dostupnost: http://www.dtic.mil/docs/citations/AD1043395
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD1043395

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs

Autoři: Arnab De, *

Thesis Advisors: D'souza, Deepak

Témata: Dataflow Analysis, Java (Computer Program Language), Concurrent Programs - Syntax and Semantics, Concurrent Programs - Dataflow Analysis, Flow-Sensitive Pointer Analysis, Null-Pointer Analysis, Sequential Programs - Syntax and Semantics, Flow-Sensitive Dataflow Analysis, Concurrent Java Programs, Sequential Programs - Dataflow Analysis, Acess Path Based Dataflow Analysis, Relaxed Memory Model, Java Memory Model, Computer Science

Relation: G25774

Dostupnost: http://etd.iisc.ernet.in/handle/2005/2564
http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf

Model checking a cache coherence protocol for a Java DSM implementation: Model checking a cache coherence protocol of a Java DSM implementation

Autoři: Jun Pang 0001 Wan J. Fokkink Rutger F. H. Hofman a další

Zdroj: Proceedings International Parallel and Distributed Processing Symposium. :10

Témata: formal specification, Model checking, SDG 16 - Peace, Specification and verification (program logics, model checking, etc.), Cache coherence protocols, Logic, Theory of programming languages, 0102 computer and information sciences, 02 engineering and technology, Java memory model, 01 natural sciences, Justice and Strong Institutions, model checking, μCRL, Theoretical Computer Science, \(\mu\)CRL, Computational Theory and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Formal specification, cache coherence protocols, Software

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/5123665
https://doi.org/10.1016/j.jlap.2006.08.007
https://research.vu.nl/en/publications/9060872b-a2f3-41ce-a456-14588e2cdffe
https://hdl.handle.net/1871.1/9060872b-a2f3-41ce-a456-14588e2cdffe

An ASM-based Approach to Modeling Memory Models

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

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

Zdroj: http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf.

Témata: Key Words, Java memory model, distributed algorithms, abstract state machines Category, F.1.2, D.1.3

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5067

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5067
http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf

Verification of Causality Requirements in Java Memory Model is Undecidable

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

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

Zdroj: http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf.

Témata: Java memory model, multithreading, verification

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.181.9; http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.181.9
http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf

Distributed Algorithms: A Case Study of the Java Memory Model

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

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

Zdroj: http://www.fsb.hr/~drunje/papers/asm2007-mm.pdf.

Témata: Java memory model, distributed algorithms, abstract state machines

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.7448

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.7448
http://www.fsb.hr/~drunje/papers/asm2007-mm.pdf

DESIGNING A MEMORY SYSTEM USING A STATIC LOADER FOR EMBEDDED JAVA ARCHITECTURES

Autoři: Austin Kim Yang Qian Morris Chang a další

Přispěvatelé: Austin Kim Yang Qian Morris Chang a další

Zdroj: http://php.cse.psu.edu/~vijay/javaworkshop/8/w99_sub2.pdf.

Témata: Key words, Java programming language, Java bytecode, embedded system, real-time system, Java memory, Java processor, Java Virtual Machine (JVM

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.9226; http://php.cse.psu.edu/~vijay/javaworkshop/8/w99_sub2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.9226
http://php.cse.psu.edu/~vijay/javaworkshop/8/w99_sub2.pdf

Formalization of the Java Memory Model

Autoři: Glavan, Paola

Témata: DASM, formalization, partial orders, complexity results for verification problem, ASM, Java memory model

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

Модель памяти Java

Autoři: Бакунова, О. М. Хмелевская, А. Л. Ефимук, Н. А. a další

Témata: публикации ученых, JVM, Java memory model, HotSpot virtual machine, garbage collector

Popis souboru: application/pdf

Relation: Модель памяти Java / О. М. Бакунова [и др.] // Web of Scholar. – 2018. – 6(24), Vol.1. – P. 29–32.; https://libeldoc.bsuir.by/handle/123456789/34287

Dostupnost: https://libeldoc.bsuir.by/handle/123456789/34287

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs

Autoři: Arnab De, * D'Souza, Deepak

Přispěvatelé: Arnab De, * D'Souza, Deepak

Témata: Dataflow Analysis, Java (Computer Program Language), Concurrent Programs - Syntax and Semantics, Concurrent Programs - Dataflow Analysis, Flow-Sensitive Pointer Analysis, Null-Pointer Analysis, Sequential Programs - Syntax and Semantics, Flow-Sensitive Dataflow Analysis, Concurrent Java Programs, Sequential Programs - Dataflow Analysis, Acess Path Based Dataflow Analysis, Relaxed Memory Model, Java Memory Model, Computer Science

Popis souboru: application/pdf

Relation: G25774; https://etd.iisc.ac.in/handle/2005/2564

Dostupnost: https://etd.iisc.ac.in/handle/2005/2564
http://etd.iisc.ac.in/static/etd/abstracts/3331/G25774-Abs.pdf

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

Autoři: SHEN QINGHUA COMPUTER SCIENCE ABHIK ROYCHOUDHURY a další

Přispěvatelé: SHEN QINGHUA COMPUTER SCIENCE ABHIK ROYCHOUDHURY a další

Témata: Memory consistency model, Java multithreading, Java Memory Model, Shared-memory multiprocessors, Out-of-order execution, Memory barrier

Relation: https://scholarbank.nus.edu.sg/handle/10635/14107; NOT_IN_WOS

Dostupnost: https://scholarbank.nus.edu.sg/handle/10635/14107

Barriers reconsidered, friendlier still!

Autoři: Yang, Xi Blackburn, Stephen Frampton, Daniel a další

Zdroj: International Symposium on Memory Management, ISMM

Témata: Keywords: Barrier performance; Benchmark suites; Control and monitor; Garbage collection; Java; Memory management; Memory subsystems; Moving targets; Out of order; Write barriers; Algorithms; Design; Hardware; Java programming language; Costs Garbage collection; Java; Memory management; Write barriers, Conference paper

URL: http://hdl.handle.net/1885/68764
ACM SIGPLAN International Symposium on Memory Management (ISMM 2012)

Cooking the Books: Formalizing JMM Implementation Recipes

Autoři: Petri, Gustavo Vitek, Jan Jagannathan, Suresh

Témata: Concurrency, Java, Memory Model, Relaxed-Memory, Data processing Computer science, InProceedings, publishedVersion