Výsledky vyhledávání - Concurrent Java Programs
-
1
The ThreadRadar visualization for debugging concurrent Java programs
ISSN: 1343-8875, 1875-8975Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022Vydáno v Journal of visualization (01.12.2022)“…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
Journal Article -
2
A deadlock detection tool for concurrent Java programs
ISSN: 0038-0644, 1097-024XVydáno: Chichester, UK John Wiley & Sons, Ltd 01.06.1999Vydáno v Software, practice & experience (01.06.1999)“…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
Journal Article -
3
LLM-Based Java Concurrent Program to ArkTS Converter
ISSN: 2643-1572Vydáno: ACM 27.10.2024Vydáno v IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“…). This paper presents an LLM-based concurrent Java program to ArkTS converter.Our converter utilizes large language models (LLMs…”
Získat plný text
Konferenční příspěvek -
4
Writing Concurrent Java Programs Based on CafeOBJ Specifications
Vydáno: IEEE 01.12.2017Vydáno v 2017 24th Asia Pacific Software Engineering Conference (APSEC) (01.12.2017)“…) 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
Konferenční příspěvek -
5
Slicing concurrent Java programs using Indus and Kaveri
ISSN: 1433-2779, 1433-2787Vydáno: Heidelberg Springer Nature B.V 01.10.2007Vydáno v International journal on software tools for technology transfer (01.10.2007)“… 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
Journal Article -
6
Observations on the assured evolution of concurrent Java programs
ISSN: 0167-6423, 1872-7964Vydáno: Elsevier B.V 01.12.2005Vydáno v Science of computer programming (01.12.2005)“…Evolving and refactoring concurrent Java software can be error-prone, resulting in race conditions and other concurrency difficulties…”
Získat plný text
Journal Article -
7
Slicing concurrent Java programs
ISBN: 076950180X, 9780769501802ISSN: 1092-8138Vydáno: IEEE 01.01.1999Vydáno v Proceedings Seventh International Workshop on Program Comprehension (01.01.1999)“…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
Konferenční příspěvek -
8
A structured approach for developing concurrent programs in Java
ISSN: 0020-0190, 1872-6119Vydáno: Amsterdam Elsevier B.V 12.03.1999Vydáno v Information processing letters (12.03.1999)“… 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
Journal Article -
9
Slicing concurrent Java programs using Indus and Kaveri: Fundamental approaches to software engineering
ISSN: 1433-2779Vydáno: Berlin Springer 2007Vydáno v International journal on software tools for technology transfer (2007)Získat plný text
Journal Article -
10
Data flow analysis for checking properties of concurrent Java programs
ISBN: 1581130740, 9781581130744ISSN: 0270-5257Vydáno: New York, NY, USA ACM 1999Vydáno v Proceedings / International Conference on Software Engineering (1999)“…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
Konferenční příspěvek Journal Article -
11
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
ISBN: 1424489113, 9781424489114ISSN: 1095-1350Vydáno: IEEE 01.10.2010Vydáno v 2010 17th Working Conference on Reverse Engineering (01.10.2010)“… 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
Konferenční příspěvek -
12
Anomaly detection in concurrent Java programs using dynamic flow analysis
ISSN: 0950-5849, 1873-6025Vydáno: Amsterdam Elsevier Science Ltd 23.12.2001Vydáno v Information and software technology (23.12.2001)“… The different classes of synchronization anomalies that may occur in concurrent Java programs are identified…”
Získat plný text
Journal Article -
13
Anomaly detection in concurrent Java programs using dynamic data flow analysis
ISSN: 0950-5849, 1873-6025Vydáno: Elsevier B.V 23.12.2001Vydáno v Information and software technology (23.12.2001)“… In this work, we first identify the different classes of synchronization anomalies that may occur in concurrent Java programs…”
Získat plný text
Journal Article -
14
Refactoring Java Concurrent Programs Based on Synchronization Requirement Analysis
ISSN: 1063-6773Vydáno: IEEE 01.09.2014Vydáno v Proceedings - Conference on Software Maintenance (1987) (01.09.2014)“… 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
Konferenční příspěvek -
15
Testing Concurrent Java Programs using Randomized Scheduling
ISSN: 1571-0661, 1571-0661Vydáno: Elsevier B.V 01.12.2002Vydáno v Electronic notes in theoretical computer science (01.12.2002)“…The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known…”
Získat plný text
Journal Article -
16
Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation
ISSN: 0167-739X, 1872-7115Vydáno: Elsevier B.V 01.10.2001Vydáno v Future generation computer systems (01.10.2001)“…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
Journal Article -
17
Extracting static and dynamic structural information from java concurrent programs for coverage testing
Vydáno: IEEE 01.10.2015Vydáno v 2015 Latin American Computing Conference (CLEI) (01.10.2015)“…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
Konferenční příspěvek -
18
Safe and Verifiable Design of Concurrent Java Programs
ISSN: 1206-212X, 1925-7074Vydáno: Anaheim, CA Taylor & Francis 01.01.2001Vydáno v International journal of computers & applications (01.01.2001)“…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
Journal Article Konferenční příspěvek -
19
A run-time deadlock detector for concurrent Java programs
ISBN: 0769514081, 9780769514086ISSN: 1530-1362Vydáno: IEEE Comput. Soc 01.01.2001Vydáno v Proceedings Eighth Asia-Pacific Software Engineering Conference (01.01.2001)“…Deadlock is one of the most serious and complex problems concerning the reliability of concurrent Java programs…”
Získat plný text
Konferenční příspěvek -
20
Error Detection in Concurrent Java Programs
ISSN: 1571-0661, 1571-0661Vydáno: Elsevier B.V 07.02.2006Vydáno v Electronic notes in theoretical computer science (07.02.2006)“…Concurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA…”
Získat plný text
Journal Article

