Results 271 to 280 of about 24,092 (308)

Refactoring Java programs using concurrent libraries

Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2011
Multithread programming is becoming ever-more important to exploit the capabilities of multicore processors. Versions of Java prior to version 5 provide only the synchronized construct as a consistency primitive, which causes a performance scalability problem for multicore machines.
Kazuaki Ishizaki, Shahrokh Daijavad, Toshio Nakatani   +2 more
openaire   +1 more source

Concurrent Testing of Java Components Using Java PathFinder

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006
Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different parameters in different states, but it does not guarantee that all possible execution paths of a method will be tested because of its concurrent nature.
openaire   +1 more source

Concurrent Contracts for Java in JML

2008 19th International Symposium on Software Reliability Engineering (ISSRE), 2008
Design by contract (DbC) is a software development methodology that makes use of assertions to produce better quality object-oriented software. The idea behind DbC is that a method defines a contract stating the requirements a client needs to fulfill to use it, the precondition, and the properties it ensures after its execution, the postcondition ...
Wladimir Araujo, Lionel Briand, Yvan Labiche   +2 more
openaire   +1 more source

Teaching Embedded Control Using Concurrent Java

ECMS 2009 Proceedings edited by J. Otamendi, A. Bargiela, J. L. Montes, L. M. Doncel Pedrera, 2009
Aalesund University College (AUC) has long and broad experience in the use of the Java Concurrency Model for process control. An important part of this work is the design and control of small-scale embedded systems. These systems include models of many kinds, such as vehicles, motion platforms, pendulums and simulated path tracking systems. The control
Webjorn Rekdalsbakken, Ottar L. Osen
openaire   +1 more source

Decaf : confluent concurrent programming in Java

2022
This thesis was scanned from the print manuscript for digital preservation and is copyright the author. Researchers can access this thesis by asking their local university, institution or public library to make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
openaire   +1 more source

Implementing Declarative Concurrency in Java

2000
We describe the implementation of a high-level language based on first order logic for expressing synchronization in multithreaded Java programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on specific program points of interest (events).
Rafael Ramirez, Andrew E. Santosa, Lee Wei Hong   +2 more
openaire   +1 more source

Modelling Java concurrency with Object-Z

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings., 2003
In this paper, we present a formal model of Java concurrency using the Object-Z specification language. This model captures the Java thread synchronization concepts of locking, blocking, waiting and notification. In the model, we take a viewpoints approach, first capturing the role of the objects and threads, and then taking a system view where we ...
R. Duke, L. Wildman, B. Long
openaire   +1 more source

Visual Analytics for Concurrent Java Executions

2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019
Analyzing executions of concurrent software is very difficult. Even if a trace is available, such traces are very hard to read and interpret. A textual trace contains a lot of data, most of which is not relevant to the issue at hand. Past visualization attempts either do not show concurrent behavior, or result in a view that is overwhelming for the ...
Cyrille Artho, Monali Pande, Qiyi Tang
openaire   +1 more source

Customizable Concurrency Control for Persistent Java

1997
We report on the issues raised when designing a customizable locking mechanism for Persistent Java, a type-safe, object-oriented, orthogonally persistent system based on the language Java. Customizable locking mechanisms are supported by locking capabilities.
Laurent Daynès, M. P. Atkinson, Patrick Valduriez   +2 more
openaire   +1 more source

An approach to concurrent/parallel programming in Java

2015 IEEE 13th International Scientific Conference on Informatics, 2015
Nowadays there is a strong demand for programming frameworks which can help the systems programmers to effectively exploit, in a natural way, the computing potential of modern clusters of multi-core machines. This paper proposes a methodology for the development of concurrent/parallel programs in Java which depends on UPPAAL, for modelling and ...
Franco Cicirelli, Christian Nigro, Libero Nigro   +2 more
openaire   +4 more sources