Algorithmic Analysis of Piecewise FIFO Systems.

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler

Browse the full FMCAD paper archive.