Formal Methods for Scheduling of Latency-Insensitive Designs

Julien Boucaron, Robert de Simone, Jean-Vivien Millo. Formal Methods for Scheduling of Latency-Insensitive Designs. EURASIP J. Emb. Sys., 2007, 2007. [doi]

Abstract

Abstract is missing.