works on
deductive verification 1earliest deadline first 1formal verification 1frama-c 1real-time scheduling 1rtos 1

From the 1 of 3 linked papers with an AI index.

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2026

Jump Like A Squirrel: Optimized Execution Step Order for Anytime Random Forest Inference

Daniel Biebert, Christian Hakert, Kay Heider +3

Due to their efficiency and small size, decision trees and random forests are popular machine learning models used for classification on resource-constrained systems. In such syste…