Kuan-Hsun Chen

1. FLInt: Exploiting Floating Point Enabled Integer Arithmetic for Efficient Random Forest Inference
   2022/09/09 by Christian Hakert, Kuan-Hsun Chen, Hakert, Christian +3 · 1 citation
   Computer Science · #Computational Physics and Python Applications #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques
2. Deductive Verification for Earliest Deadline First Scheduler Implementations
   2026/07/29 by Daniel Kuhse, Junjie Shi, Jan Duy Thien Pham +4
   Computer Science · #cs.OS