Výsledky vyhledávání - java memory model*

The Safety-Critical Java memory model formalised Autor Cavalcanti, Ana, Wellings, Andy, Woodcock, Jim

“… What we provide here is, as far as we know, the first formalisation of the SCJ model of memory regions…”
Získat plný text

The Java memory model is fatally flawed Autor Pugh, William

“… model.Furthermore, implementing Java on a shared‐memory multiprocessor that implements a weakmemory model poses some implementation challenges not previously considered. Copyright © 2000 John Wiley & Sons, Ltd…”
Získat plný text

A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler Autor Lochbihler, Andreas

“… They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees…”
Získat plný text

Java memory model-aware model checking Autor Jin, Huafeng

“…The Java memory model (JMM) determines whether an execution of a concurrent Java program is legal…”
Získat plný text

Impact of Java Memory Model on Out-of-Order Multiprocessors Autor Mitra, Tulika, Roychoudhury, Abhik, Shen, Qinghua

“… This is called the Java Memory Model (JMM) and describes the allowed reorderings among the memory operations in a thread…”
Získat plný text

Impact of Java memory model on out-of-order multiprocessors Autor Mitra, T., Abhik Roychoudhury, Shen, Q.

“… This is called the Java memory model (JMM) and describes the allowed reorderings among the memory operations in a thread…”
Získat plný text

Analyzing the CRF Java memory model Autor Yang, Y., Gopalakrishnan, G., Lindstrom, G.

“…The current Java memory model is flawed and has many unintended implications. As multithreaded programming becomes increasingly popular in Java and hardware…”
Získat plný text

The Java memory model Autor Manson, Jeremy

“… Java's original threading specification, its memory model, was fundamentally flawed. Some language features, like volatile fields, were under-specified…”
Získat plný text

Repairing and Mechanising the JavaScript Relaxed Memory Model Autor Watt, Conrad, Pulte, Christopher, Podkopaev, Anton, Barbier, Guillaume, Dolan, Stephen, Shaked Flur, Pichon-Pharabod, Jean, Shu-yu, Guo

“… SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to describe their behaviour…”
Získat plný text

An operational happens-before memory model Autor ZHANG, Yang, FENG, Xinyu

“…Happens-before memory model （HMM） is used as the basis of Java memory model （JMM）. Although HMM itself is simple, some complex axioms have to be…”
Získat plný text

Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler Autor Lochbihler, Andreas

“… behaviours as the source code, even for infinite executions and under the Java memory model…”
Získat plný text

Model checking a cache coherence protocol of a Java DSM implementation Autor Pang, Jun, Fokkink, Wan, Hofman, Rutger, Veldema, Ronald

Získat plný text

LLM-Based Java Concurrent Program to ArkTS Converter Autor Liu, Runlin, Lin, Yuhang, Hu, Yunge, Zhang, Zhe, Gao, Xiang

“…, Java, which is known to be very challenging, especially for concurrency programs. Java utilizes shared memory to implement concurrency programs, while ArkTS relies on message passing (i.e., Actor model…”
Získat plný text

Object representation model for a cache memory in a real-time Java environment Autor Higuera-Toledano, M. Teresa

“…; in this way, each cache memory line supports a block. This memory model avoids external fragmentation, while minimizing internal fragmentation…”
Získat plný text

Flood Disaster Prediction Model Using Long Short-Term Memory (LSTM) in Pekalongan, Central Java Autor Asrofi, Muhammad, Septyandy, Muhammad Rizqy, Indra, Tito Latif

“…Pekalongan is located in the northern part of Java Island, directly adjacent to the sea in the north…”
Získat plný text

A volatile-by-default JVM for server applications Autor Liu, Lun, Millstein, Todd, Musuvathi, Madanlal

“… Choosing a memory model involves an inherent performance-programmability tradeoff. The Java language has adopted a *relaxed* (or *weak…”
Získat plný text

Model for the extension of the processing and memory capabilities of Java Card smartcards Autor Susana María Ramírez Brey, Adonis César Legón Campo, Yusnier Valle Martínez

“… In this work, is presented a smartcard application development model with Java Card technology that allows to extend memory and processing capabilities, making use of the computer's hardware resources…”
Získat plný text

A formalization of Java’s concurrent access modes Autor Bender, John, Palsberg, Jens

“…Java's memory model was recently updated and expanded with new access modes. The accompanying documentation for these access modes is intended to make strong…”
Získat plný text

UMM: an operational memory model specification framework with integrated model checking capability Autor Yang, Yue, Gopalakrishnan, Ganesh, Lindstrom, Gary

“… In this paper, we present the UMM specification framework, which integrates two key features to support memory model verification…”
Získat plný text

A Distributed Platform for Global-Scale Agent-Based Models of Disease Transmission Autor Parker, Jon, Epstein, Joshua M

“…The Global-Scale Agent Model (GSAM) is presented. The GSAM is a high-performance distributed platform for agent-based epidemic modeling capable of simulating a disease outbreak in a population of several billion agents…”
Zjistit podrobnosti o přístupu