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

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

Anomaly detection in concurrent Java programs using dynamic data flow analysis Autor Saleh, Kassem, Boujarwah, Abdel Aziz, Al-Dallal, Jehad

“… In this work, we first identify the different classes of synchronization anomalies that may occur in concurrent Java programs…”
Získat plný text

Data flow analysis for checking properties of concurrent Java programs Autor Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.

“…In this paper we show how the FLAVERS data flow analysis technique, originally formulated for systems using a rendezvous concurrency model, can be applied to the various concurrency models used in Java programs…”
Získat plný text

A structured approach for developing concurrent programs in Java Autor Mizuno, Masaaki

“… A translation from coarse-grained solutions to efficient fine-grained programs in Java synchronization primitives that preserves global invariants is presented…”
Získat plný text

Anomaly detection in concurrent Java programs using dynamic flow analysis Autor Kassem Saleh, Abdel Aziz Boujarwah, Al-Dallal, Jehad

“… The different classes of synchronization anomalies that may occur in concurrent Java programs are identified…”
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

Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation Autor Bechini, Alessio, Prete, Cosimo Antonio

“…Java makes easier the coding phase of concurrent applications and provides friendly mechanisms for the information exchange among threads and different processes…”
Získat plný text

A deadlock detection tool for concurrent Java programs Autor 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…”
Získat plný text

Extracting static and dynamic structural information from java concurrent programs for coverage testing Autor Prado, Rafael R., Souza, Paulo S. L., Dourado, George G. M., Souza, Simone R. S., Estrella, Julio C., Bruschi, Sarita M., Lourenco, Joao

“…This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing…”
Získat plný text

Safe and Verifiable Design of Concurrent Java Programs Autor Welch, P.H., Hilderink, G.H., Bakkers, A.W.P., Stiles, G.S.

“…The design of concurrent programs has a reputation for being difficult, and thus potentially dangerous in safety-critical real-time and embedded systems…”
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

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

Synthesis of verifiable concurrent Java components from formal models Autor 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…”
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

Observations on the assured evolution of concurrent Java programs Autor 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…”
Získat plný text

Slicing concurrent Java programs Autor Jianjun Zhao

“…Although many slicing algorithms have been proposed for object oriented programs, no slicing algorithm has been proposed which can be used to handle the problem of slicing concurrent Java programs correctly…”
Získat plný text

Slicing concurrent Java programs using Indus and Kaveri: Fundamental approaches to software engineering Autor PRASAD RANGANATH, Venkatesh, HATCLIFF, John

Získat plný text

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs Autor Milanova, A, Yin Liu

“… This paper studies shared objects in open concurrent Java programs. First, it proposes a classification of shared objects into three categories…”
Získat plný text

Refactoring Java Concurrent Programs Based on Synchronization Requirement Analysis Autor Binxian Tao, Ju Qian

“… To reduce the manual efforts, this paper proposes an automated refactoring approach for Java concurrent programs based on synchronization requirement analysis…”
Získat plný text

Formal verification applied to Java concurrent software Autor Iosif, Radu

“… In particular, it focuses on elaborating a formal method for the specification and validation of temporal logic properties concerning the behavior of Java concurrent…”
Získat plný text