SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management.

Amir M. Rahmani, Bryan Donyanavard, Tiago Mck, Kasra Moazzemi, Axel Jantsch, Onur Mutlu, Nikil D. Dutt

Browse the full ASPLOS paper archive.