A satisfiability approach to speed assignment for distributed real-time systems.

Pratyush Kumar, Devesh B. Chokshi, Lothar Thiele

Browse the full DATE paper archive.