Search Results - concurrent (java OR jana) programs

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 formalization of Java’s concurrent access modes by Bender, John, Palsberg, Jens

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

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

Get full text

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

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

“…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…”
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

Concurrent and real-time programming in java: threads, RTSJ and RMI by 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…”
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

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

“…The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing…”
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

A study and toolkit of CHECK-THEN-ACT idioms of Java concurrent collections by 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…”
Get full text

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation by 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…”
Get full text

A divide & conquer approach to testing concurrent programs with JPF by 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…”
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

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

Reachability testing of concurrent programs by 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…”
Get full text

Falcon: fault localization in concurrent programs by 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…”
Get full text

Refactoring sequential Java code for concurrency via concurrent libraries by 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…”
Get full text

Java by Schildt, Herbert

“…The Definitive Java Programming Guide Fully updated for Java SE 17, Java(tm): The Complete Reference, Twelfth Edition explains how to develop, compile, debug, and run Java…”
Get full text