1 citations · 1 across the 5 of their papers we have counts for
5 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…
Schedulable Job-Level Dependencies for Cause-Effect Chains via Graph Neural Networks
Silviu S. Craciunas, Christian Hakert, Jian-Jia Chen +2
Modern automotive software architectures comprise large sets of mixed-criticality functions executing on shared multi-core platforms with strict real-time and end-to-end timing req…
HEP-BNN: A Framework for Finding Low-Latency Execution Configurations of BNNs on Heterogeneous Multiprocessor Platforms
Leonard David Bereholschi, Ching-Chi Lin, Mikail Yayla +1
Binarized Neural Networks (BNNs) significantly reduce the computation and memory demands with binarized weights and activations compared to full-precision NNs. Executing a layer in…
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…