Marty, T. (2022, mars).
Spéculation temporelle
pour accélérateurs
matériels [theses,
Université de Rennes 1].
https://inria.hal.science/tel-03925783
Derrien, S., Marty, T., Rokicki, S. et Yuki, T. (2020). Toward
Speculative Loop Pipelining for
High-Level
Synthesis.
IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems,
39(11), 4229‑4239.
https://doi.org/10.1109/TCAD.2020.3012866
Marty, T., Yuki, T. et Derrien, S. (2020). Safe
Overclocking for
CNN Accelerators Through
Algorithm-Level Error Detection.
IEEE Transactions on
Computer-Aided Design of Integrated Circuits and Systems,
39(12), 4777‑4790.
https://doi.org/10.1109/TCAD.2020.2981056
Marty, T., Yuki, T. et Derrien, S. (2018, décembre).
Enabling
Overclocking Through Algorithm-Level Error Detection.
2018
International Conference on
Field-Programmable
Technology (
FPT) (p. 174‑181).
https://doi.org/10.1109/FPT.2018.00034
Kritikakou, A., Marty, T. et Roy, M. (2017).
DYNASCORE:
DYNAmic Software COntroller to
Increase REsource
Utilization in
Mixed-Critical Systems.
ACM
Trans. Des. Autom. Electron. Syst.,
23(2), 13:1‑13:26.
https://doi.org/10.1145/3110222