Rémi Parrot, Mikaël Briday, Olivier H. Roux. Pipeline Optimization using a Cost Extension of Timed Petri Nets. In 28th IEEE Symposium on Computer Arithmetic, ARITH 2021, Lyngby, Denmark, June 14-16, 2021. pages 37-44, IEEE, 2021. [doi]
Abstract is missing.