Search Results - "Java memory"

Mining Java Memory Errors using Subjective Interesting Subgroups with Hierarchical Targets

Authors: Remil, Youcef Bendimerad, Anes Chambard, Mathieu et al.

Contributors: Remil, Youcef Bendimerad, Anes Chambard, Mathieu et al.

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

Subject Terms: [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

File Description: application/pdf

Access URL: 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

JAVA Memory Care program: Facilitating social and occupational engagement for older adults living with advanced dementia

Authors: Sanetta Henrietta Johanna du Toit Glenda Madeleine Jessup

Source: Australian Occupational Therapy Journal. 71:64-75

Subject Terms: Occupational Therapy, 4. Education, Australia, Humans, Homes for the Aged, Dementia, 3. Good health, Aged

Access URL: https://pubmed.ncbi.nlm.nih.gov/37842971

Java Memory Management : A Comprehensive Guide to Garbage Collection and JVM Tuning

Authors: Maaike van Putten Dr. Seán Kennedy

Resource Type: eBook.

Categories: COMPUTERS / Web / General, COMPUTERS / Internet / User-Generated Content, COMPUTERS / Internet / Web Programming

Ai-Driven Root Cause Analysis for Java Memory Leaks

Authors: Venkata Praveen Kumar Kaluvakuri Venkata Phanindra Peta Sai Krishna Reddy Khambam

Source: SSRN Electronic Journal.

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
https://dblp.uni-trier.de/db/conf/sigcse/sigcse2021.html#Lewis21

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
https://dblp.uni-trier.de/db/conf/jtres/jtres2009.html#Puffitsch09
https://dl.acm.org/doi/10.1145/1620405.1620419

A Specification-Based Approach to the Testing of Java Memory Bloat

Authors: Ju Qian Ziyuan Wang Xiaoyu Zhou et al.

Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS). :347-352

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

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/

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

Verification of Causality Requirements in Java Memory Model Is Undecidable

Authors: Davor Runje Paola Glavan Matko Botinčan

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
https://rd.springer.com/chapter/10.1007/978-3-642-14403-5_7
https://link.springer.com/chapter/10.1007/978-3-642-14403-5_7
https://core.ac.uk/display/34008208
https://dblp.uni-trier.de/db/conf/ppam/ppam2009-2.html#BotincanGR09

Verication of Causality Requirements in Java Memory Model is Undecidable

Authors: Glavan, Paola Botinčan, Matko

Subject Terms: Java memory model, verifcation, multithreading

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

Access URL: https://dblp.uni-trier.de/db/conf/iwmm/ismm2014.html#ZakkakP14
https://dl.acm.org/doi/10.1145/2602988.2602999
https://dl.acm.org/citation.cfm?doid=2602988.2602999

Java Memory game made in swing GUI

Authors: Živanović, Stefan Ahmedspahić, Almir

Java Memory Trajectory Forecasting

Authors: Zhang Jing Lu Kai Zhou Xu

Source: 2010 International Conference on Computational and Information Sciences. :700-703

Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy, 01 natural sciences

Access URL: http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005709182

A study of Java's non-Java memory

Authors: Kazunori Ogata Kiyokuni Kawachiya Tamiya Onodera et al.

Source: Proceedings of the ACM international conference on Object oriented programming systems languages and applications. :191-204

Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Access URL: https://dl.acm.org/citation.cfm?id=1869477
https://dl.acm.org/doi/10.1145/1869459.1869477
https://dl.acm.org/citation.cfm?id=1869477
https://researcher.watson.ibm.com/researcher/files/jp-KAWATIYA/Ogata09resrep.pdf
https://dblp.uni-trier.de/db/conf/oopsla/oopsla2010.html#OgataMKTO10

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

Access URL: https://dialnet.unirioja.es/servlet/articulo?codigo=5873565
https://dl.acm.org/doi/10.1145/2518191
https://dblp.uni-trier.de/db/journals/toplas/toplas35.html#Lochbihler13
https://pp.info.uni-karlsruhe.de/uploads/publikationen/lochbihler14toplas.pdf
http://pp.info.uni-karlsruhe.de/uploads/publikationen/lochbihler14toplas.pdf
https://publikationen.bibliothek.kit.edu/1000120859

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
https://www.kci.go.kr/kciportal/ci/sereArticleSearch/ciSereArtiView.kci?sereArticleSearchBean.artiId=ART001247550
http://ktccs.kips.or.kr/digital-library/15043
http://www.koreascience.or.kr/article/ArticleFullRecord.jsp?cn=JBCRGX_2008_v15Dn1_99

Analyzing the CRF Java memory model

Authors: Yue Yang Gary Lindstrom Ganesh Gopalakrishnan

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

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

Access URL: https://ieeexplore.ieee.org/document/991455/

Java memory model aware software validation

Authors: Abhik Roychoudhury Arnab De 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
http://www.comp.nus.edu.sg/~abhik/pdf/paste08.pdf
http://eprints.iisc.ac.in/40711/
https://dblp.uni-trier.de/db/conf/paste/paste2008.html#DeRD08
https://dl.acm.org/doi/10.1145/1512475.1512478
http://dblp.uni-trier.de/db/conf/paste/paste2008.html#DeRD08
https://core.ac.uk/display/148490206

The Safety-Critical Java memory model formalised

Authors: Ana Cavalcanti Andy Wellings Jim Woodcock

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences