Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration.

Ourania Spantidi, Iraklis Anagnostopoulos, Georgios Fainekos

Browse the full DATE paper archive.