Dr.-Ing. Kuan-Hsun Chen
Dr.-Ing. Kuan-Hsun Chen
Home
Experience
Posts
Talks
Publications
Contact
Light
Dark
Automatic
1
Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
To avoid race conditions and ensure data integrity, resource synchronization protocols have been widely studied in real-time systems …
Junjie Shi
,
Cordt von Egidy
,
Kuan-Hsun Chen
,
Jian-Jia Chen
DOI
EDF-Like Scheduling for Self-Suspending Real-Time Tasks
In real-time systems, schedulability analyses provide the required timing guarantees. However, current suspension-aware analyses are …
Mario Günzel
,
Georg Von Der Brüggen
,
Kuan-Hsun Chen
,
and Jian-Jia Chen
Immediate Split Trees: Immediate Encoding of Floating Point Split Values in Random Forests
Random forests and decision trees are increasingly interesting candidates for resource-constrained machine learning models. In order to …
Christian Hakert
,
Kuan-Hsun Chen
,
Jian-Jia Chen
LLVMTA: An LLVM-Based WCET Analysis Tool
We present llvmta, an academic WCET analysis tool based on the LLVM compiler infrastructure. It aims to enable the evaluation of novel …
Sebastian Hahn
,
Michael Jacobs
,
Nils Hölscher
,
Kuan-Hsun Chen
,
Jian-Jia Chen
,
Jan Reineke
DOI
Unikernel-Based Real-Time Virtualization under Deferrable Servers: Analysis and Realization
For cyber-physical systems, real-time virtualization optimizes the hardware utilization by consolidating multiple systems into the same …
Kuan-Hsun Chen
,
Mario Günzel
,
Boguslaw Jablkowski
,
Markus Buschhoff
,
Jian-Jia Chen
Cite
DOI
This is SPATEM! A Spatial-Temporal Optimization Framework for Efficient Inference on ReRAM-based CNN Accelerator
Resistive memory-based computing-in-memory (CIM) has been considered as a promising solution to accelerate convolutional neural …
Yen-Ting Tsou
,
Kuan-Hsun Chen
,
Chia-Lin Yang
,
Hsiang-Yun Cheng
,
Jian-Jia Chen
,
Der-Yu Tsai
DOI
Efficiently Approximating the Worst-Case Deadline Failure Probability under EDF
Probabilistic timing guarantees enable a tradeoff between system safety and hardware costs in embedded real-time systems. A key metric …
Georg Von Der Brüggen
,
Nico Piatkowski
,
Kuan-Hsun Chen
,
Jian-Jia Chen
,
Katharina Morik
,
Björn Brandenburg
DOI
Work-in-Progress: Evaluation Framework for Self-Suspending Schedulability Tests
Numerical simulations often play an important role when evaluating and comparing the performance of schedulability tests, as they allow …
Mario Günzel
,
Harun Teper
,
Kuan-Hsun Chen
,
Georg Von Der Brüggen
,
Jian-Jia Chen
DOI
Renovation of EdgeCloudSim: An Efficient Discrete-Event Approach
Due to the growing popularity of the Internet of Things, edge computing concept has been widely studied to relieve the load on the …
Raphael Freymann
,
Junjie Shi
,
Jian-Jia Chen
,
Kuan-Hsun Chen
DOI
BLOwing Trees to the Ground: Layout Optimization of Decision Trees on Racetrack Memory
Modern distributed low power systems tend to integrate machine learning algorithms, which are directly executed on the distributed …
Christian Hakert
,
Asif-Ali Khan
,
Kuan-Hsun Chen
,
Fazal Hameed
,
Jeronimo Castrillon
,
Jian-Jia Chen
DOI
«
»
Cite
×