Results 11 to 20 of about 301,652 (339)
Refining SCJ Mission Specifications into Parallel Handler Designs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Safety-Critical Java (SCJ) is a recent technology that restricts the execution and memory model of Java in such a way that applications can be statically analysed and certified for their real-time properties and safe use of memory. Our interest is in the
Frank Zeyda, Ana Cavalcanti
doaj +4 more sources
Model Checking Real Time Java Using Java PathFinder [PDF]
, 2005 The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real time threads; user defined schedulers; asynchronous events, handlers, and control transfers; a priority inheritance based default scheduler; non-heap memory areas such as immortal and ...
Gary Lindstrom +2 more
openaire +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 +6 more sources
TarsosDSP, a Real-Time Audio Processing Framework in Java [PDF]
, 2014 This paper presents TarsosDSP, a framework for real-time audio analysis and processing. Most libraries and frameworks offer either audio analysis and feature extraction or audio synthesis and processing.
Joren Six, Olmo Cornelis, Marc Leman
openalex +3 more sources
A distributed Real-Time Java system based on CSP [PDF]
, 1999 CSP is a fundamental concept for developing software for distributed real time systems. The CSP paradigm constitutes a natural addition to object orientation and offers higher order multithreading constructs.
Bakkers, André +2 more
core +5 more sources
A Java program for LRE-based real-time qPCR that enables large-scale absolute quantification. [PDF]
PLoS ONE, 2011 BACKGROUND: Linear regression of efficiency (LRE) introduced a new paradigm for real-time qPCR that enables large-scale absolute quantification by eliminating the need for standard curves.
Robert G Rutledge
doaj +1 more source
MOJMA: A novel multi-objective optimization algorithm based Java Macaque Behavior Model
AIMS Mathematics, 2023 We introduce the Multi-objective Java Macaque Algorithm for tackling complex multi-objective optimization (MOP) problems. Inspired by the natural behavior of Java Macaque monkeys, the algorithm employs a unique selection strategy based on social ...
Dinesh Karunanidy +4 more
doaj +1 more source
Revista Iberoamericana de Automática e Informática Industrial RIAI, 2013 Resumen: Las facilidades e independencia de plataforma de Java han generado un gran interés en la comunidad de tiempo real. Dicho interés se ha reflejado en la especificación RTSJ (Real-Time Specification for Java), que extiende y adapta el lenguaje Java
Daniel Tejera +2 more
doaj +1 more source
A real-time Java chip-multiprocessor [PDF]
ACM Transactions on Embedded Computing Systems, 2010 Chip-multiprocessors are an emerging trend for embedded systems. In this article, we introduce a real-time Java multiprocessor called JopCMP. It is a symmetric shared-memory multiprocessor, and consists of up to eight Java Optimized Processor (JOP) cores, an arbitration control device, and a shared memory. All components are interconnected via a system
Christof Pitter, Martin Schoeberl
openaire +2 more sources
Adding real-time capabilities to Java [PDF]
Communications of the ACM, 1998 Kelvin Nilsen
openaire +2 more sources