Results 11 to 20 of about 24,092 (308)
Formal Analysis of Concurrent Java Systems [PDF]
, 2010 Java threads are synchronised through primitives based upon monitor concepts developed in the early 1970s. The semantics of Java's primitives have only been presented in natural language ? this paper remedies this with a simple and formal CSP model.
Peter H. Welch +3 more
openalex +2 more sources
Investigating Different Concurrency Mechanisms in Java
, 2012 With the continual growth in number of cores on the Central Processing Unit (CPU), developers will need to focus more and more on concurrent programming to get the desired performance boost that in the past have come logically with the increased clock-rate.
Petter Andersen Busterud
openalex +2 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
Permission-Based Separation Logic for Multithreaded Java Programs [PDF]
, 2011 This paper motivates and presents a program logic for reasoning about multithreaded Java-like programs with concurrency primitives such as dynamic thread creation, thread joining and reentrant object monitors.
Haack, Christian +2 more
core +18 more sources
Treo: Textual Syntax for Reo Connectors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (re ...
Kasper Dokter, Farhad Arbab
doaj +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
RELEASE: A High-level Paradigm for Reliable Large-scale Server Software [PDF]
, 2012 Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the first six months.
A. Leung +14 more
core +4 more sources
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Safety-Critical Java (SCJ) is a version of Java whose goal is to support the development of real-time, embedded, safety-critical software. In particular, SCJ supports certification of such software by introducing abstractions that enforce a simpler ...
Alvaro Miyazawa, Ana Cavalcanti
doaj +1 more source
Standard Type Soundness for Agents and Artifacts [PDF]
Scientific Annals of Computer Science, 2012 Formal models, core calculi, and type systems, are important tools for rigorously stating the more subtle details of a language, to characterise and study its features and the correctness properties of its programs.
F. Damiani +3 more
doaj +1 more source