Results 11 to 20 of about 13,975 (278)
Safe and Verifiable Design of Concurrent Java Programs [PDF]
International Journal of Computers and Applications, 2001 The design of concurrent programs has a reputation for being difficult, and thus potentially dangerous in safetycritical real-time and embedded systems. The recent appearance of Java, whilst cleaning up many insecure aspects of OO programming endemic in C++, suffers from a deceptively simple threads model that is an insecure variant of ideas that are ...
A.W.P. Bakkers +3 more
openaire +5 more sources
Test-first Java concurrency for the classroom [PDF]
Proceedings of the 41st ACM technical symposium on Computer science education, 2010 Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students for the concurrent future, instructors have begun to address concurrency earlier in their curricula.
Robert Cartwright, Mathias Ricken
openaire +4 more sources
Unit Testing Concurrent Java Programs [PDF]
International Journal of Computer Applications, 2013 Conventional unit-testing practices focus on testing small units of programs sequentially and are very likely to miss concurrent bugs such as race conditions, deadlocks and memory inconsistencies even when done extensively. They are not suitable for unit testing multithreaded programs. This paper outlines guidelines for writing effective unit tests for
Suma Shivaprasad, Nanditha Prasad
openaire +2 more sources
Error Detection in Concurrent Java Programs
Electronic Notes in Theoretical Computer Science, 2006 AbstractConcurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA). We present a case study in which a specialized model checker was used to discover concurrency errors in a large preexisting code base.
Keith D. Swenson +3 more
openaire +3 more sources
Introducing concurrency in sequential Java via laws
Information Processing Letters, 2011 AbstractNowadays multi-core processors can be found everywhere. It is well known that one way of improving performance is by parallelization. In this paper we propose a parallelization strategy for Java using algebraic laws. We perform an experiment with two benchmarks and show that our strategy produces a gain similar to a specialized parallel version
Alexandre Mota +2 more
openaire +3 more sources
Constructing compact models of concurrent Java programs [PDF]
ACM SIGSOFT Software Engineering Notes, 1998 Finite-state verification technology (e.g., model checking) provides a powerful means to detect concurrency errors, which are often subtle and difficult to reproduce. Nevertheless, widespread use of this technology by developers is unlikely until tools provide automated support for extracting the required finite-state models directly from program ...
James C. Corbett
openaire +3 more sources
Performance of Parallel K-Means Algorithms in Java
Algorithms, 2022 K-means is a well-known clustering algorithm often used for its simplicity and potential efficiency. Its properties and limitations have been investigated by many works reported in the literature. K-means, though, suffers from computational problems when
Libero Nigro
doaj +1 more source
An Implementation of the HDBSCAN* Clustering Algorithm
Applied Sciences, 2022 An implementation of the HDBSCAN* clustering algorithm, Tribuo Hdbscan, is presented in this work. The implementation is developed as a new feature of the Java machine learning library Tribuo. This implementation leverages concurrency and achieves better
Geoffrey Stewart +1 more
doaj +1 more source
Australian Journal of Social Issues, Volume 57, Issue 4, Page 829-846, December 2022., 2022 Abstract Introduction The inclusion of people who use drugs in the design and evaluation of their health services remains a relatively new phenomenon. The aim of the research was to explore the experiences and perceptions of people accessing the Medical Supervised Injecting Centre (MSIC), and Clinic 180, Sydney Australia, and the factors facilitating ...
Greg Rickard, Bethne Hart
wiley +1 more source
Coal mine equipment condition monitoring system design
Gong-kuang zidonghua, 2021 In order to solve the problem of low transmission efficiency caused by high concurrency of equipment monitoring data during the simultaneous operation of underground equipment groups in coal mines, a design scheme for coal mine equipment condition ...
CAO Xiangang1,2 +4 more
doaj +1 more source