• *Search*: "Java memory"

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 26

1

Mining Java Memory Errors using Subjective Interesting Subgroups with Hierarchical Targets
Remil, Youcef ; Bendimerad, Anes ; Chambard, Mathieu ; et al.
IEEE International Conference on Data Mining Workshops (ICDM Workshops) ; https://hal.science/hal-04224279 ; IEEE International Conference on Data Mining Workshops (ICDM Workshops), IEEE, Dec 2023, Shanghai (Chine), China. ⟨10.1109/ICDMW60847.2023.00159⟩

Shanghai (Chine) China AIOps Java Memory Analys... AIOps Java Memory Analysis Data Mining …
*Conference*
*Add to favorites*
2

Model checking a cache coherence protocol of a Java DSM implementation
Pang, Jun ; Fokkink, Wan ; Hofman, Rutger ; et al.
In Journal of Logic and Algebraic Programming 2007 71(1):1-43

*Academic Journal*
*Add to favorites*
3

Hiearchical real-time garbage collection
Filip Pizlo ; Antony L. Hosking ; Ibm T. J Watson ; et al.
https://www.cs.purdue.edu/homes/hosking/papers/lctes07.pdf.

General Terms Languages Experimentation. Keyword... Java Memory management
*Academic Journal*
*Add to favorites*
4

An experimental study of Java objects behaviour for mobile architectures
Guiton, Arnaud ; Banâtre, Michel ; Ambient computing and embedded systems (ACES) ; et al.
https://hal.inria.fr/inria-00070555 ; [Research Report] RR-5452, INRIA. 2005, pp.24.

MOBILE DEVICES JAVA OBJECTS BEHAVIOURS JAVA MEMORY OBJECTS MAPPING IN MEMOR... [INFO.INFO-OH]Computer S...
*Report*
*Add to favorites*
5

Verified compilation of Concurrent Managed Languages
Jagannathan,Suresh ; Vitek,Jan ; Purdue University West Lafayette United States

Computer Programming and... COMPUTER PROGRAM VERIFIC... methodology PROGRAMMING LANGUAGES reasoning Program verification …
*Academic Journal*
*Add to favorites*
6

An ASM-based Approach to Modeling Memory Models
Matko Botinčan ; Paola Glavan ; Davor Runje ; et al.
http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf.

Key Words Java memory model distributed algorithms abstract state machines... F.1.2 D.1.3
*Academic Journal*
*Add to favorites*
7

Verification of Causality Requirements in Java Memory Model is Undecidable
Matko Botinčan ; Paola Glavan ; Davor Runje ; et al.
http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf.

Java memory model multithreading verification
*Academic Journal*
*Add to favorites*
8

Distributed Algorithms: A Case Study of the Java Memory Model
Matko Botinčan ; Paola Glavan ; Davor Runje ; et al.
http://www.fsb.hr/~drunje/papers/asm2007-mm.pdf.

Java memory model distributed algorithms abstract state machines
*Academic Journal*
*Add to favorites*
9

DESIGNING A MEMORY SYSTEM USING A STATIC LOADER FOR EMBEDDED JAVA ARCHITECTURES
Austin Kim ; Yang Qian ; Morris Chang ; et al.
http://php.cse.psu.edu/~vijay/javaworkshop/8/w99_sub2.pdf.

Key words Java programming languag... Java bytecode embedded system real-time system Java memory …
*Academic Journal*
*Add to favorites*
10

Модель памяти Java
Бакунова, О. М. ; Хмелевская, А. Л. ; Ефимук, Н. А. ; et al.

публикации ученых... JVM Java memory model HotSpot virtual machine garbage collector
**
*Add to favorites*
11

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs
Arnab De, * ; D'Souza, Deepak

Dataflow Analysis Java (Computer Program L... Concurrent Programs - Sy... Concurrent Programs - Da... Flow-Sensitive Pointer A... Null-Pointer Analysis …
*Dissertation/ Thesis*
*Add to favorites*
12

Impact of Java memory model on out-of-order multiprocessors
SHEN QINGHUA ; COMPUTER SCIENCE ; ABHIK ROYCHOUDHURY ; et al.

Memory consistency model Java multithreading Java Memory Model Shared-memory multiproce... Out-of-order execution Memory barrier
*Dissertation/ Thesis*
*Add to favorites*
13

*This result is not displayed to guests*

14

*This result is not displayed to guests*

15

*This result is not displayed to guests*

16

*This result is not displayed to guests*

17

*This result is not displayed to guests*

18

*This result is not displayed to guests*

19

Barriers reconsidered, friendlier still!
Yang, Xi ; Blackburn, Stephen ; Frampton, Daniel ; et al.
International Symposium on Memory Management, ISMM

*Electronic Resource*
*Add to favorites*
20

Cooking the Books: Formalizing JMM Implementation Recipes
Petri, Gustavo ; Vitek, Jan ; Jagannathan, Suresh ; et al.

*Electronic Resource*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*