Výsledky vyhledávání - concurrent java (programs OR progress)

LLM-Based Java Concurrent Program to ArkTS Converter Autor 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…”
Získat plný text

The ThreadRadar visualization for debugging concurrent Java programs Autor 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…”
Získat plný text

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

“… guarantees about program behavior that the Java compiler must enforce, yet the documentation is frequently unclear…”
Získat plný text

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

Získat plný text

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

Získat plný text

Synthesis of verifiable concurrent Java components from formal models Autor 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…”
Získat plný text

Tracking runtime concurrent dependences in java threads using thread control profiling Autor 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…”
Získat plný text

Concurrent and real-time programming in java: threads, RTSJ and RMI Autor 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…”
Získat plný text

Learning RxJava 3: Build Concurrent and Fast Applications Using Reactive Programming in Java Autor 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…”
Získat plný text

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

“…The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing…”
Získat plný text

Writing Concurrent Java Programs Based on CafeOBJ Specifications Autor 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…”
Získat plný text

A study and toolkit of CHECK-THEN-ACT idioms of Java concurrent collections Autor 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…”
Získat plný text

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation Autor 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…”
Získat plný text

A divide & conquer approach to testing concurrent programs with JPF Autor 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…”
Získat plný text

Slicing concurrent Java programs using Indus and Kaveri Autor 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…”
Získat plný text

RJ: a Java package providing JR-like concurrent programming Autor 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…”
Získat plný text

Reachability testing of concurrent programs Autor 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…”
Získat plný text

Distributed reachability testing of concurrent programs Autor 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…”
Získat plný text

Falcon: fault localization in concurrent programs Autor 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…”
Získat plný text

Refactoring sequential Java code for concurrency via concurrent libraries Autor 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…”
Získat plný text