Solving Schedulability as a Search Space Problem with Decision Diagrams.

Dimitri Racordon, Aurlien Coet, Emmanouela Stachtiari, Didier Buchs

Browse the full SSBSE paper archive.