WCDT: Systematic WCET Optimization for Decision Tree Implementations

Nils Hölscher, Christian Hakert, Georg von der Brüggen, Jian-Jia Chen, Kuan-Hsun Chen +1 more
1/29/2025
cs.LGcs.PF

No confident code implementation found for this paper.

Abstract

Machine-learning models are increasingly deployed on resource-constrained embedded systems with strict timing constraints. In such scenarios, the worst-case execution time (WCET) of the models is required to ensure safe operation. Specifically, decision trees are a prominent class of machine-learning models and the main building blocks of tree-based ensemble models (e.g., random forests), which are commonly employed in resource-constrained embedded systems. In this paper, we develop a systematic approach for WCET optimization of decision tree implementations. To this end, we introduce a linear surrogate model that estimates the execution time of individual paths through a decision tree based on the path's length and the number of taken branches. We provide an optimization algorithm that constructively builds a WCET-optimal implementation of a given decision tree with respect to this surrogate model. We experimentally evaluate both the surrogate model and the WCET-optimization algorithm. The evaluation shows that the optimization algorithm improves analytically determined WCET by up to $17\%$ compared to an unoptimized implementation.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Cite this paper

@article{hlscher2025wcdt,
  title  = {WCDT: Systematic WCET Optimization for Decision Tree Implementations},
  author = {Nils Hölscher and Christian Hakert and Georg von der Brüggen and Jian-Jia Chen and Kuan-Hsun Chen and Jan Reineke},
  year   = {2025},
  eprint = {2501.17428},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2501.17428v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2501.17428.svg)](https://codeofpaper.com/paper/2501.17428)

Discussion