5 citations · 12 across the 15 of their papers we have counts for
15 papers
Deductive Verification for Earliest Deadline First Scheduler Implementations
Daniel Kuhse, Junjie Shi, Jan Duy Thien Pham +4
Real-Time Operating Systems (RTOSes) rely on scheduler implementations to provide predictable task execution. For safety-critical systems, it is therefore not sufficient to reason…
CHRONOS: Compensating Hardware Related Overheads with Native Multi Timer Support for Real-Time Operating Systems
Kay Heider, Christian Hakert, Kuan-Hsun Chen +1
The management of timing constraints in a real-time operating system (RTOS) is usually realized through a global tick counter. This counter acts as the foundational time unit for a…
WCDT: Systematic WCET Optimization for Decision Tree Implementations
Nils Hölscher, Christian Hakert, Georg von der Brüggen +3
Machine-learning models are increasingly deployed on resource-constrained embedded systems with strict timing constraints. In such scenarios, the worst-case execution time (WCET) o…
TREE: Tree Regularization for Efficient Execution
Lena Schmid, Daniel Biebert, Christian Hakert +4
The rise of machine learning methods on heavily resource constrained devices requires not only the choice of a suitable model architecture for the target platform, but also the opt…
Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation
Daniel Biebert, Christian Hakert, Kuan-Hsun Chen +1
Bringing high-level machine learning models to efficient and well-suited machine implementations often invokes a bunch of tools, e.g.~code generators, compilers, and optimizers. Al…
Dawn of the Dead(line Misses): Impact of Job Dismiss on the Deadline Miss Rate
Jian-Jia Chen, Mario Günzel, Peter Bella +2
Occasional deadline misses are acceptable for soft real-time systems. Quantifying probabilistic and deterministic characteristics of deadline misses is therefore essential to ensur…
Simulation Environment with Customized RISC-V Instructions for Logic-in-Memory Architectures
Jia-Hui Su, Chen-Hua Lu, Jenq Kuen Lee +5
Nowadays, various memory-hungry applications like machine learning algorithms are knocking "the memory wall". Toward this, emerging memories featuring computational capacity are fo…
FLInt: Exploiting Floating Point Enabled Integer Arithmetic for Efficient Random Forest Inference
Christian Hakert, Kuan-Hsun Chen, Jian-Jia Chen
In many machine learning applications, e.g., tree-based ensembles, floating point numbers are extensively utilized due to their expressiveness. Nowadays performing data analysis on…
AuNa: Modularly Integrated Simulation Framework for Cooperative Autonomous Navigation
Harun Teper, Anggera Bayuwindra, Raphael Riebl +3
In the near future, the development of autonomous driving will get more complex as the vehicles will not only rely on their own sensors but also communicate with other vehicles and…
EDF-Like Scheduling for Self-Suspending Real-Time Tasks
Mario Günzel, Kuan-Hsun Chen, Jian-Jia Chen
In real-time systems, schedulability tests are utilized to provide timing guarantees. However, for self-suspending task sets, current suspension-aware schedulability tests are limi…
Renovation of EdgeCloudSim: An Efficient Discrete-Event Approach
Raphael Freymann, Junjie Shi, Jian-Jia Chen +1
Due to the growing popularity of the Internet of Things, edge computing concept has been widely studied to relieve the load on the original cloud and networks while improving the s…
Supporting Multiprocessor Resource Synchronization Protocols in RTEMS
Junjie Shi, Jan Duy Thien Pham, Malte Münch +3
When considering recurrent tasks in real-time systems, concurrent accesses to shared resources, can cause race conditions or data corruptions. Such a problem has been extensively s…
Bit Error Tolerance Metrics for Binarized Neural Networks
Sebastian Buschjäger, Jian-Jia Chen, Kuan-Hsun Chen +5
To reduce the resource demand of neural network (NN) inference systems, it has been proposed to use approximate memory, in which the supply voltage and the timing parameters are tu…
SoftWear: Software-Only In-Memory Wear-Leveling for Non-Volatile Main Memory
Christian Hakert, Kuan-Hsun Chen, Paul R. Genssler +5
Several emerging technologies for byte-addressable non-volatile memory (NVM) have been considered to replace DRAM as the main memory in computer systems during the last years. The…
Towards Explainable Bit Error Tolerance of Resistive RAM-Based Binarized Neural Networks
Sebastian Buschjäger, Jian-Jia Chen, Kuan-Hsun Chen +6
Non-volatile memory, such as resistive RAM (RRAM), is an emerging energy-efficient storage, especially for low-power machine learning models on the edge. It is reported, however, t…