Results 11 to 20 of about 311,378 (293)
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
Cavalcanti, Ana, Zeyda, Frank
core +3 more sources
Concrete mix design using Java Eclipse IDE [PDF]
E3S Web of Conferences, 2023 Concrete mix design is the process of selecting the proper components and figuring out the proper ratios to achieve the desired workability, strength, and durability.
Raju V.S.P. +3 more
doaj +1 more source
Automated integration of real-time and non-real-time defense systems
Defence Technology, 2021 Various application domains require the integration of distributed real-time or near-real-time systems with non-real-time systems. Smart cities, smart homes, ambient intelligent systems, or network-centric defense systems are among these application ...
Emre Dalkıran +3 more
doaj +1 more source
livE (onLine – java Exercise) java programming language learning system for lab and online test
Matrix: Jurnal Manajemen Teknologi dan Informatika, 2021 Java programming language is one of the most popular programming languages among IT developers. There are common problems in the beginning learning process such as the installation and configuration process of java software like JDK (Java Development Kit)
Mamluatul Hani'ah +2 more
doaj +1 more source
JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR [PDF]
Acta Electrotechnica et Informatica, 2019 Development of algorithms for solving various kinds of computer related problems consists of several consecutive and possibly repetitive phases. The final and very important step in this process is to implement the developed algorithm in a selected ...
Tomaž DOBRAVEC
doaj +1 more source
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
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
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
Java Simulations of Embedded Control Systems
Sensors, 2010 This paper introduces a new Open Source Java library suited for the simulation of embedded control systems. The library is based on the ideas and architecture of TrueTime, a toolbox of Matlab devoted to this topic, and allows Java programmers to simulate
Francisco Esquembre +4 more
doaj +1 more source
Using Sun’s Java Real-Time System to Manage Behavior-Based Mobile Robot Controllers
Journal of Robotics, 2011 Implementing a robot controller that can effectively manage limited resources in a deterministic, real-time manner is challenging. Behavior-based architectures that decompose autonomy into levels of intelligence are popular due to their robustness but do
Andrew McKenzie +3 more
doaj +1 more source