Suchergebnisse - concurrent java (programs OR progress)

LLM-Based Java Concurrent Program to ArkTS Converter von 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 …”
Volltext

The ThreadRadar visualization for debugging concurrent Java programs von 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 …”
Volltext

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

“… guarantees about program behavior that the Java compiler must enforce, yet the documentation is frequently unclear …”
Volltext

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

Volltext

Model checking JAVA programs using JAVA PathFinder von Havelund, Klaus, Pressburger, Thomas

Volltext

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

“… Concurrent systems are hard to program, and ensuring quality by means of traditional testing techniques is often very hard as errors may not show up easily and reproducing them is hard …”
Volltext

Tracking runtime concurrent dependences in java threads using thread control profiling von 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 …”
Volltext

Concurrent and real-time programming in java: threads, RTSJ and RMI von Benmammar, Badr

“… Providing an introduction to concurrent, real-time, distributed programming with Java object-oriented language support as an algorithm description tool, this title describes in particular …”
Volltext

Learning RxJava 3: Build Concurrent and Fast Applications Using Reactive Programming in Java von 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 …”
Volltext

Parallel Specification-Based Testing for Concurrent Programs von Minh Do, Canh, Ogata, Kazuhiro

“… The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing …”
Volltext

Writing Concurrent Java Programs Based on CafeOBJ Specifications von 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 …”
Volltext

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

“… ) that use Java concurrent collections. We study the correct and incorrect use of idioms and the evolution of the programs with respect to idioms …”
Volltext

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation von Zhang, Yang, Shao, Shuai, Liu, Huan, Qiu, Jing, Zhang, Dongwen, Zhang, Guanghua

“… Developers of parallel programming are faced with choices of using various Java locks …”
Volltext

A divide & conquer approach to testing concurrent programs with JPF von Do, Canh Minh, Ogata, Kazuhiro

“… Java Pathfinder (JPF) is one of the most mature software model checker developed by NASA for detecting errors lurking in concurrent Java programs …”
Volltext

Slicing concurrent Java programs using Indus and Kaveri von 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 …”
Volltext

RJ: a Java package providing JR-like concurrent programming von 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 …”
Volltext

Reachability testing of concurrent programs von Lei, Y., Carver, R.H.

“… One approach to testing concurrent programs, called reachability testing, generates synchronization sequences automatically and on-the-fly, without constructing any static models …”
Volltext

Distributed reachability testing of concurrent programs von Carver, Richard H., Lei, Yu

“… Reachability testing is an approach to verifying concurrent programs. During reachability testing, every partially ordered synchronization sequence of a program with a given input is exercised exactly once …”
Volltext

Falcon: fault localization in concurrent programs von Park, Sangmin, Vuduc, Richard W., Harrold, Mary Jean

“… This paper presents a new dynamic fault-localization technique that can pinpoint faulty data-access patterns in multi-threaded concurrent programs …”
Volltext

Refactoring sequential Java code for concurrency via concurrent libraries von Dig, Danny, Marrero, John, Ernst, Michael D.

“… The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of the complexity of writing thread-safe and scalable programs is hidden in the library …”
Volltext