Results 1 to 10 of about 119,317 (330)

Java Simulations of Embedded Control Systems [PDF]

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, Gonzalo Farias, Anton Cervin, Karl-Erik Årzén, Sebastián Dormido   +4 more
doaj   +5 more sources

Safety-critical Java for embedded systems [PDF]

Concurrency and Computation: Practice and Experience, 2016
This paper presents the motivation for and outcomes of an engineering research project on certifiable Java for embedded systems. The project supports the upcoming standard for safety-critical Java, which defines a subset of Java and libraries aiming for ...
Albert, Andersen, Armbruster, Atkey, Bogholm, Bollella, Boyapati, Burns, Burns, Bøgholm, Cassez, Dalsgaard, Fenacci, Hepp, Huber, Huber, Joseph, Kalibera, Korsholm, Kwon, Luckow, Marriott, Nielson, Nilsen, Pitter, Plsek, Ravn, Ravn, Rios, Schmitt, Schoeberl, Schoeberl, Schoeberl, Schoeberl, Schoeberl, Schoeberl, Schoeberl, Schoeberl, Schoeberl, Schoeberl, Schoeberl, Siebert, Singh, Strøm, Strøm, Strøm, Søndergaard, Søndergaard, Tang, Wellings, Zhao   +50 more
core   +7 more sources

Bibliometric Analysis of Research Articles on Embedded Internet of Health Things (IoHT) Fall Detection in the Elderly Published from 2006 to 2025 [PDF]

Journal of Multidisciplinary Healthcare
Dhika Dharmansyah,1,2 Laili Rahayuwati,3 Iqbal Pramukti,3 Kuswandewi Mutyara4 1Doctoral Program in Medicine, Faculty of Medicine, Universitas Padjadjaran, Sumedang, West Java, Indonesia; 2Department of Nursing, Faculty of Sport and Health Education ...
Dharmansyah D, Rahayuwati L, Pramukti I, Mutyara K   +3 more
doaj   +2 more sources

Formal Verification of Embedded Java Program [PDF]

The KIPS Transactions:PartD, 2005
There may be subtle errors in embedded software since its functionality is very complex. Thus formal verification for detecting them is very needed. Model checking is one of formal verification techniques, and SLAM is a well-known software model checking tool for verifying safety properties of embedded C program.
Tae‐Hoon Lee, Gi-Hwon Kwon
openalex   +2 more sources

Embedding Java Classes with code2vec: Improvements from Variable Obfuscation [PDF]

Proceedings of the 17th International Conference on Mining Software Repositories, 2020
Automatic source code analysis in key areas of software engineering, such as code security, can benefit from Machine Learning (ML). However, many standard ML approaches require a numeric representation of data and cannot be applied directly to source code.
Rhys Compton, Eibe Frank, Panos Patros, Abigail Koay   +3 more
openalex   +4 more sources

The embedded Java benchmark suite JemBench [PDF]

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010
Requirements to embedded systems increase steadily. In parallel, also the performance of the processors used in these systems is improved leading to multithreaded and/or multicore architectures. Depending on the type of the embedded system, using Java is a more and more popular way for software development.
Preusser, Thomas B., Schoeberl, Martin, Uhrig, Sascha   +2 more
core   +5 more sources

Deterministic Java in tiny embedded systems [PDF]

Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001, 2002
As embedded systems become more and more complex, and the time to market becomes shorter, there is a need in the embedded systems community to find better programming languages that let the programmers develop correct code faster. The programming languages used today, typically C and/or Assemblers, are just too error-prone.
A. Nilsson, Torbjörn Ekman
openalex   +4 more sources

Embedded Eavesdropping on Java Card [PDF]

, 2012
In this article we present the first Combined Attack on a Java Card targeting the APDU buffer itself, thus threatening both the security of the platform and of the hosted applications as well as the privacy of the cardholder. We show that such an attack, which combines malicious application and fault injection, is achievable in practice on the latest ...
Guillaume Barbu, Christophe Giraud, Vincent Guerin   +2 more
openalex   +3 more sources

Java Dust: How Small Can Embedded Java Be? [PDF]

, 2011
Java is slowly being accepted as a language and platform for embedded devices. However, the memory requirements of the Java library and runtime are still troublesome.
Caska, James, Schoeberl, Martin
core   +4 more sources

Embedding Java Classes with code2vec - Code

, 2019
Code for the research 'Embedding Java Classes with code2vec: Improvements from Variable Obfuscation'. This contains the java dataset obfuscation tool, as well as the dataset pipeline.
­ Anonymous
openalex   +3 more sources