Ansaloni, Giovanni
- DB4HLS: A Database of High-Level Synthesis Design Space Explorations
2021/01/03 by Ferretti, Lorenzo, Kwon, Jihye, Ansaloni, Giovanni +3 · 3 citations
#FOS: Computer and information sciences #Hardware Architecture (cs.AR)
- MetaWearS: A Shortcut in Wearable Systems Lifecycle with Only a Few Shots
2024/08/04 by Amirshahi, Alireza, Toosi, Maedeh H., Mohammadi, Siamak +5 · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG)
- SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs
2024/02/20 by Cristian Tirelli, Tirelli, Cristian, Juan Sapriza +15 · 3 citations
Engineering · Computer Science · #Manufacturing Process and Optimization #Formal Methods in Verification #Constraint Satisfaction and Optimization