Multicore power management: Ensuring robustness via early-stage formal verification.

Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen

Browse the full MEMOCODE paper archive.