Search Results - concurrent (java OR jan) process
-
1
LLM-Based Java Concurrent Program to ArkTS Converter
ISSN: 2643-1572Published: ACM 27.10.2024Published in 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…”
Get full text
Conference Proceeding -
2
RJ: a Java package providing JR-like concurrent programming
ISSN: 0038-0644, 1097-024XPublished: Bognor Regis Blackwell Publishing Ltd 01.05.2016Published in Software, practice & experience (01.05.2016)“…Summary The JR concurrent programming language extends Java with a richer concurrency model, by adding several new types and statements…”
Get full text
Journal Article -
3
Synthesis of verifiable concurrent Java components from formal models
ISSN: 1619-1366, 1619-1374Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2019Published in Software and systems modeling (01.02.2019)“… 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…”
Get full text
Journal Article -
4
TSVD4J: Thread-Safety Violation Detection for Java
ISSN: 2574-1934Published: IEEE 01.05.2023Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2023)“… We implement the TSVD approach in Java in our tool TSVD4J. TSVD4J can be integrated as a Maven plugin that can be included in any Maven-based application…”
Get full text
Conference Proceeding -
5
Falcon: fault localization in concurrent programs
ISBN: 9781605587196, 1605587192ISSN: 0270-5257Published: New York, NY, USA ACM 01.05.2010Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)“… This paper presents a new dynamic fault-localization technique that can pinpoint faulty data-access patterns in multi-threaded concurrent programs…”
Get full text
Conference Proceeding -
6
Understanding Asynchronous Interactions in Full-Stack JavaScript
ISSN: 1558-1225Published: ACM 01.05.2016Published in Proceedings / International Conference on Software Engineering (01.05.2016)“…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…”
Get full text
Conference Proceeding -
7
Hands-On Design Patterns with Kotlin: Build Scalable Applications Using Traditional, Reactive, and Concurrent Design Patterns in Kotlin
ISBN: 1788998014, 9781788998017Published: Birmingham Packt Publishing, Limited 2018“…Design patterns enable you to speed up the development process by providing tested, proven development paradigms…”
Get full text
eBook -
8
A process-oriented multi-agent system development approach to support the cooperation-activities of concurrent new product development
ISSN: 0360-8352, 1879-0550Published: New York Elsevier Ltd 01.11.2009Published in Computers & industrial engineering (01.11.2009)“…In the recent decade, concurrent new product development (CNPD) has been recognized as an effective approach for eliminating the long and costly product development cycle…”
Get full text
Journal Article -
9
Research on high performance web service construction method based on JavaScript asynchronous programming technique
ISSN: 2444-8656, 2444-8656Published: Beirut Sciendo 01.01.2024Published in Applied mathematics and nonlinear sciences (01.01.2024)“…In the face of massive concurrent user access in the era of big data, how to build high-performance web services has become one of the difficulties to be solved by network applications…”
Get full text
Journal Article -
10
A web-based advisory system for process and material selection in concurrent product design for a manufacturing environment
ISSN: 0268-3768, 1433-3015Published: Heidelberg Springer Nature B.V 01.02.2005Published in International journal of advanced manufacturing technology (01.02.2005)“…This paper reports the work of selecting suitable manufacturing processes and materials in concurrent design for manufacturing environment…”
Get full text
Journal Article -
11
Cooperative Exceptions for Concurrent Objects
Published: IEEE 01.11.2015Published in 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC) (01.11.2015)“…The advent of multi-core systems set off a race to get concurrent programming to the masses…”
Get full text
Conference Proceeding -
12
Data flow analysis for checking properties of concurrent Java programs
ISBN: 1581130740, 9781581130744ISSN: 0270-5257Published: New York, NY, USA ACM 1999Published in 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…”
Get full text
Conference Proceeding Journal Article -
13
BestGC: An Automatic GC Selector
ISSN: 2169-3536, 2169-3536Published: Piscataway IEEE 01.01.2023Published in IEEE access (01.01.2023)“…Garbage collection algorithms are widely used in programming languages like Java…”
Get full text
Journal Article -
14
Design of a Flexible and Extensible Fault Injector for Testing Concurrent and Distributed Applications
ISBN: 9798382152486Published: ProQuest Dissertations & Theses 01.01.2023“…The applications developed today are increasingly distributed, which contributes to an increase in their complexity. The imminence of failures in these…”
Get full text
Dissertation -
15
Towards Using Concurrent Java API Correctly
ISBN: 1509055266, 9781509055265Published: IEEE 01.11.2016Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)“… Our idea is to annotate concurrency-related Java classes with annotations related to misuse of these API and develop lightweight type checker to detect concurrent API misuse based on the annotations…”
Get full text
Conference Proceeding -
16
Formal verification applied to Java concurrent software
ISBN: 1581132069, 9781581132069ISSN: 0270-5257Published: New York, NY, USA ACM 2000Published in Proceedings / International Conference on Software Engineering (2000)“… In particular, it focuses on elaborating a formal method for the specification and validation of temporal logic properties concerning the behavior of Java concurrent…”
Get full text
Conference Proceeding Journal Article -
17
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
ISBN: 1424452597, 9781424452590ISSN: 1938-4300Published: IEEE 01.11.2009Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)“…Methods in object-oriented concurrent libraries hide internal synchronization details…”
Get full text
Conference Proceeding -
18
On the Nature of Merge Conflicts: A Study of 2,731 Open Source Java Projects Hosted by GitHub
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.08.2020Published in IEEE transactions on software engineering (01.08.2020)“…When multiple developers change a software system in parallel, these concurrent changes need to be merged to all appear in the software being developed…”
Get full text
Journal Article -
19
The concurrent application of lean production and ERP: Towards an ERP-based lean implementation process
ISSN: 0166-3615, 1872-6194Published: Kidlington Elsevier B.V 01.04.2013Published in Computers in industry (01.04.2013)“… This paper analyses typical lean and ERP implementation processes contained within the scientific literature, and by further examining a concurrent implementation process in real-time, we develop…”
Get full text
Journal Article -
20
A structured approach for developing concurrent programs in Java
ISSN: 0020-0190, 1872-6119Published: Amsterdam Elsevier B.V 12.03.1999Published in Information processing letters (12.03.1999)“…In recent years, concurrent programming has become the norm rather than the exception in many applications…”
Get full text
Journal Article

