Pipeline Optimization using a Cost Extension of Timed Petri Nets.

Rmi Parrot, Mikal Briday, Olivier H. Roux

Browse the full ARITH paper archive.