Suchergebnisse - (( concurrent java (programs OR progress) ) OR ( concurrent java process ))*

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

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

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

Hands-On Design Patterns with Kotlin: Build Scalable Applications Using Traditional, Reactive, and Concurrent Design Patterns in Kotlin von Soshin, Alexey

“… Design patterns enable you to speed up the development process by providing tested, proven development paradigms …”
Volltext

Understanding Asynchronous Interactions in Full-Stack JavaScript von Alimadadi, Saba, Mesbah, Ali, Pattabiraman, Karthik

“… JavaScript has become one of the most popular languages in practice. Developers now use JavaScript not only for the client-side but also for server-side programming, leading to "full-stack" applications written entirely in JavaScript …”
Volltext

Anomaly detection in concurrent Java programs using dynamic data flow analysis von 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 …”
Volltext

Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation von 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 …”
Volltext

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

“… The different classes of synchronization anomalies that may occur in concurrent Java programs are identified …”
Volltext

Data flow analysis for checking properties of concurrent Java programs von 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 …”
Volltext

Cooperative Exceptions for Concurrent Objects von Cabral, Bruno, Fonseca, Alcides, Marques, Paulo, Aldrich, Jonathan

“… One of the challenging aspects of this type of system is how to deal with exceptional situations, since it is very difficult to assert the precise state of a concurrent program when an exception arises …”
Volltext

Extracting static and dynamic structural information from java concurrent programs for coverage testing von 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 …”
Volltext

Towards Using Concurrent Java API Correctly von Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong

“… Concurrent Programs are hard to analyze or debug due to the complex program logic and unpredictable execution environment …”
Volltext

Formal verification applied to Java concurrent software von 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 …”
Volltext

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

“… A translation from coarse-grained solutions to efficient fine-grained programs in Java synchronization primitives that preserves global invariants is presented …”
Volltext

Assuring and evolving concurrent programs: annotations and policy von Greenhouse, Aaron, Scherlis, William L.

“… Assuring and evolving concurrent programs requires understanding the concurrency-related design decisions used in their implementation …”
Volltext

Guided test visualization: Making sense of errors in concurrent programs von Wesonga, Saint, Mercer, Eric G., Rungta, Neha

“… This paper describes a tool to help debug error traces found by the Java Pathfinder model checker in concurrent Java programs …”
Volltext

Safe and Verifiable Design of Concurrent Java Programs von 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 …”
Volltext

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients von Deshmukh, J., Emerson, E.A., Sankaranarayanan, S.

“… Methods in object-oriented concurrent libraries hide internal synchronization details …”
Volltext

Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java von Kinneer, Alex, Dwyer, Matthew B., Rothermel, Gregg

“… Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading …”
Volltext