Combining Acceleration and Approximation in Dependable Edge AI: Optimization Methodology and Tools Applied to a Case Study. - Régis Leveugle; Mounir Benabdenbi; Ahmed Al Kaf; Luc Noizette (DTTIS, 2024)