LCTES Best Papers
ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems
2 papers · 2024–2025
← LCTES Conference Info🏆 2025(1)
Best Paper Award
Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo TheoryDas, Banerjee & Mohalik
Neural NetworksSMT
🏆 2024(1)
Best Paper Award
TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded SystemsChae, Kim & Heo
Embedded AISegmentation