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

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

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

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

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

“…Design patterns enable you to speed up the development process by providing tested, proven development paradigms…”
Získat plný text

Understanding Asynchronous Interactions in Full-Stack JavaScript Autor 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…”
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

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

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

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

Cooperative Exceptions for Concurrent Objects Autor 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…”
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

Towards Using Concurrent Java API Correctly Autor 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…”
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

Java Programming 24-Hour Trainer Autor Fain, Yakov

“…A unique book-and-video package presented by Java guru Yakov Fain As one of the most popular software languages for building Web applications, Java is often the first programming language developers learn…”
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

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

“…Assuring and evolving concurrent programs requires understanding the concurrency-related design decisions used in their implementation…”
Získat plný text

Guided test visualization: Making sense of errors in concurrent programs Autor 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…”
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

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

“…Methods in object-oriented concurrent libraries hide internal synchronization details…”
Získat plný text