| Title: |
Convolutions Predictable Offloading to an Accelerator: Formalization and Optimization |
| Authors: |
Husson, Benjamin; Belcaïd, Mohammed; Carle, Thomas; Pagetti, Claire |
| Contributors: |
CS Group - SI Toulouse France (C-S Group); DTIS, ONERA, Université de Toulouse Toulouse; ONERA-Communauté d'universités et établissements de Toulouse (Comue de Toulouse); Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués (IRIT-TRACES); Institut de recherche en informatique de Toulouse (IRIT); Université Toulouse Capitole (UT Capitole); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse - Jean Jaurès (UT2J); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université de Toulouse (EPE UT); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Toulouse Mind & Brain Institut (TMBI); Université Toulouse - Jean Jaurès (UT2J); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université de Toulouse (EPE UT); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse Capitole (UT Capitole); Communauté d'universités et établissements de Toulouse (Comue de Toulouse); ONERA - The French Aerospace Lab Toulouse; ONERA |
| Source: |
ERTS 2026 - Embedded Real Time Systems ; 13th European Congress of Embedded Real Time Systems (ERTS) ; https://hal.science/hal-05513761 ; 13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.25⟩ ; https://conference-erts.org/ |
| Publisher Information: |
CCSD |
| Publication Year: |
2026 |
| Collection: |
Université Toulouse III - Paul Sabatier: HAL-UPS |
| Subject Terms: |
Hardware Accelerators; Formalization; CNNs; [INFO.INFO-ES]Computer Science [cs]/Embedded Systems |
| Subject Geographic: |
Toulouse; France |
| Description: |
International audience ; Convolutional neural networks (CNNs) require a large number of multiply-accumulate (MAC) operations. To meet real-time constraints, they often need to be executed on specialized accelerators composed of an on-chip memory and a processing unit. However, the on-chip memory is often insufficient to store all the data required to compute a CNN layer. Thus, the computation must be performed in several offloading steps. We formalise such sequences of steps and apply our formalism to a state of the art decomposition of convolutions. In order to find optimal strategies in terms of duration, we encode the problem with a set of constraints. A Python-based simulator allows to analyse in-depth computed strategies. |
| Document Type: |
conference object |
| Language: |
English |
| DOI: |
10.82331/ERTS.2026.25 |
| Availability: |
https://hal.science/hal-05513761; https://hal.science/hal-05513761v1/document; https://hal.science/hal-05513761v1/file/ERTS2026_paper_25.pdf; https://doi.org/10.82331/ERTS.2026.25 |
| Rights: |
https://creativecommons.org/licenses/by/4.0/ ; info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.461C91DF |
| Database: |
BASE |