Results 261 to 270 of about 24,092 (308)

Testing concurrent java components

Proceedings of the 28th international conference on Software engineering, 2006
Testing concurrent software is notoriously difficult due to problems with non-determinism and synchronisation. While tools and techniques for the testing of sequential components are well-understood and widely used, similar tools and techniques for concurrent components are not commonly available. This tutorial will look at the problems associated with
Paul Strooper, Luke Wildman
openaire   +1 more source

Slicing concurrent java programs

ACM SIGPLAN Notices, 2001
Program slicing is an important approach to testing, understanding and maintaining programs. The paper presents a slicing algorithm for concurrent Java programs. Because the execution process of concurrent programs is unpredictable, there are many problems to be solved when slicing.
Zhenqiang Chen, Baowen Xu
openaire   +1 more source

Concurrency Analysis of Go and Java

2020 5th International Conference on Computing, Communication and Security (ICCCS), 2020
There has been tremendous progress in the past few decades towards developing applications that receive data and send data concurrently. In such a day and age, there is a requirement for a language that can perform optimally in such environments. Currently, the two most popular languages in that respect are Go and Java.
P Y Abhinav, Avakash Bhat, Christina Terese Joseph, K Chandrasekaran   +3 more
openaire   +1 more source

Java Annotated Concurrency Based on the Concurrent Package

2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006
JAC is an extended Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. java.util.concurrent package provides some excellent and powerful concurrent components.
Hong Zhu, Zhaolin Yin, Ying Ding
openaire   +1 more source

Advanced concurrency control in Java

Concurrency and Computation: Practice and Experience, 2002
AbstractDeveloping concurrent applications is not a trivial task. As programs grow larger and become more complex, advanced concurrency control mechanisms are needed to ensure that application consistency is not compromised. Managing mutual exclusion on a per‐object basis is not sufficient to guarantee isolation of sets of semantically‐related actions.
Felber, Pascal, Reiter, Michael K.
openaire   +2 more sources

Concurrency Analysis for Java

2000
Concurrency is an integral feature of Java. While there has been recent research [CGS+99,BH99,WR99,Bla99] on devising analyses to eliminate the overhead imposed by synchronization, these analyses do not explicitly track multiple threads of control, nor do they appear particularly well-suited to facilitate other concurrency-related optimizations that ...
Cristian Ungureanu, Suresh Jagannathan
openaire   +1 more source

CJava: Introducing Concurrent Objects in Java

1998
Java is rapidly becoming one of the most popular object-oriented languages. It is portable and architecture neutral, it is easy to use, it is designed to support the development of highly reliable and robust applications, it is dynamic. But it is not truly concurrent.
CUGOLA, GIANPAOLO, GHEZZI, CARLO
openaire   +2 more sources

Slicing concurrent Java programs

Proceedings Seventh International Workshop on Program Comprehension, 2003
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. We propose a slicing algorithm for concurrent Java programs.
openaire   +1 more source

Declarative concurrency in Java

2000
We propose a high-level language based on first order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on specific program points of interest.
Rafael Ramirez, Andrew E. Santosa
openaire   +1 more source