Results 1 to 10 of about 759,542 (211)
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 +2 more sources
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 +2 more sources
Evaluation of in-house dengue real-time PCR assays in West Java, Indonesia [PDF]
PeerJDengue is an infectious disease caused by infection of dengue virus (DENV) transmitted by Aedes aegypti and Aedes albopictus. In Indonesia, dengue commonly occurs with an increasing incidence rate annually.
Denti R. Kinanti +18 more
doaj +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
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
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
Montsalvat: Intel SGX Shielding for GraalVM Native Images [PDF]
, 2023 The popularity of the Java programming language has led to its wide adoption in cloud computing infrastructures. However, Java applications running in untrusted clouds are vulnerable to various forms of privileged attacks. The emergence of trusted execution environments (TEEs) such as Intel SGX mitigates this problem.
arxiv +1 more source
Industrialization and Convergence of West Java Manufacturing Labor Productivity, Indonesia
JEJAK: Jurnal Ekonomi dan Kebijakan, 2022 West Java as a national manufacturing center has experienced industrialization since 1989. This is marked by the continuous increase in the manufacturing sector so that it is able to shift other sectors. Unfortunately, the industrialization that occurred
Nauli Fitriyanni Nasution +1 more
doaj +1 more source