Search Results - Concurrent Java

A formalization of Java’s concurrent access modes by 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…”
Get full text

A large-scale study on the usage of Java’s concurrent programming constructs by Pinto, Gustavo, Torres, Weslley, Fernandes, Benito, Castor, Fernando, Barros, Roberto S.M.

“…•An analysis of 2227 Java projects, comprising more than 650 million lines of code…”
Get full text

A study and toolkit of CHECK-THEN-ACT idioms of Java concurrent collections by Lin, Yu, Dig, Danny

“…) concurrent collections. We analyze 28 widely used open‐source Java projects (comprising 6.4 million lines of code…”
Get full text

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

“…). This paper presents an LLM-based concurrent Java program to ArkTS converter.Our converter utilizes large language models (LLMs…”
Get full text

The ThreadRadar visualization for debugging concurrent Java programs by Moseler, Oliver, Kreber, Lucas, Diehl, Stephan

“…Due to non-deterministic behavior and thread interleaving of concurrent programs, the debugging of concurrency and performance issues is a rather difficult and often tedious task…”
Get full text

A deadlock detection tool for concurrent Java programs by Demartini, Claudio, Iosif, Radu, Sisto, Riccardo

“…This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms…”
Get full text

Visual Analytics for Concurrent Java Executions by Artho, Cyrille, Pande, Monali, Tang, Qiyi

“…Analyzing executions of concurrent software is very difficult. Even if a trace is available, such traces are very hard to read and interpret…”
Get full text

Synthesis of verifiable concurrent Java components from formal models by Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel

“… In our work, we consider the problem of generating a concurrent Java component from a high-level model of inter-process interaction (i.e., communication + synchronization…”
Get full text

Learning RxJava 3: Build Concurrent and Fast Applications Using Reactive Programming in Java by Nick Samoylov, Samoylov, Thomas Nield, Nield

“…Updated with the latest Maven coordinates, Java programming features, and API changes, this book is your guide to solving problems in writing asynchronous and event-based programsKey FeaturesExplore…”
Get full text

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems by Shum, Chong, Lau, Wing-Hong, Mao, Tian, Chung, Henry Shu-Hung, Tse, Norman Chung-Fai, Tsang, Kim-Fung, Lai, Loi Lei

“…Simulation and performance evaluation of concurrent Java program execution have been difficult due to the lack of proper model and tools…”
Get full text

Writing Concurrent Java Programs Based on CafeOBJ Specifications by Ha, Xuan-Linh, Ogata, Kazuhiro

“…) in CafeOBJ more usable in both software development and testing. We focus on concurrent systems and how to write concurrent programs in Java based on OTSs. Java has been chosen as the implementation language because concurrency is strongly supported in this language and there are also many powerful testing frameworks in Java that can help us further verify properties of the programs…”
Get full text

Tool support for testing concurrent Java components by Long, B., Hoffman, D., Strooper, P.

“…Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components…”
Get full text

Slicing concurrent Java programs using Indus and Kaveri by Ranganath, Venkatesh Prasad, Hatcliff, John

“… In this paper, we present Indus--a robust framework for analyzing and slicing concurrent Java programs, and Kaveri--a feature-rich Eclipse-based GUI front end for Indus slicing…”
Get full text

A multi‐granularity locking scheme for java packedobjects based on a concurrent multiway tree by Yang, Bing, Kent, Kenneth B., Aubanel, Eric, MacKay, Stephen, Agila, Tobi

“…Summary In this paper, we develop a multi‐granularity locking scheme for Java PackedObjects, an experimental enhancement introduced in IBM's J9 Java Virtual Machine…”
Get full text

RJ: a Java package providing JR-like concurrent programming by Olsson, Ronald A., Williamson, Todd

“…Summary The JR concurrent programming language extends Java with a richer concurrency model, by adding several new types and statements…”
Get full text

Concurrent, Real-Time and Distributed Programming in Java: Threads, RTSJ and RMI by Benmammar, Badr

“…This book provides an introduction to concurrent, real-time, distributed programming with Java object-oriented language support as an algorithm description…”
Get full text

Tracking runtime concurrent dependences in java threads using thread control profiling by Wang, Lulu, Li, Jingyue, Li, Bixin

“…•Other experiments evaluate various possible overheads introduced by the TCP method. More than 75% of recent Java projects include some form of concurrent programming…”
Get full text

Testing Concurrent Java Components by Strooper, Paul, Wildman, Luke

“… (Concurrency Analyser) testing tool supports these techniques for the testing of concurrent Java components and will be discussed and demonstrated in the tutorial…”
Get full text

Observations on the assured evolution of concurrent Java programs by Greenhouse, Aaron, Halloran, T.J., Scherlis, William L.

“…Evolving and refactoring concurrent Java software can be error-prone, resulting in race conditions and other concurrency difficulties…”
Get full text

A method for verifying concurrent Java components based on an analysis of concurrency failures by Long, Brad, Strooper, Paul, Wildman, Luke

“…The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent non…”
Get full text