4 citations · 4 across the 4 of their papers we have counts for
4 papers
Convolutions Predictable Offloading to an Accelerator: Formalization and Optimization
Benjamin Husson, Mohammed Belcaïd, Thomas Carle +1
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 ac…
Extension of ACETONE C code generator for multi-core architectures
Yanis Aït-Aïssa, Thomas Carle, Sergei Chichin +2
As the industry's interest in machine learning has grown in recent years, some solutions have emerged to safely embed them in safety-critical systems, such as the C code generator…
Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources
Zhenyu Bai, Hugues Cassé, Thomas Carle +1
Worst-Case Execution Time (WCET) is a key component for the verification of critical real-time applications. Yet, even the simplest microprocessors implement pipelines with concurr…
Static extraction of memory access profiles for multi-core interference analysis of real-time tasks
Thomas Carle, Hugues Cassé
We present a static analysis framework for real-time task systems running on multi-core processors. Our method analyzes tasks in isolation at the binary level and generates worst-c…