Publications

2 results for Anita Lungu

Dynamic power gating with quality guarantees
- - Anita Lungu
  - Pradip Bose
  - et al.
- 2009
- ISLPED 2009
Conference paper
Multicore power management: Ensuring robustness via early-stage formal verification
- - Anita Lungu
  - Pradip Bose
  - et al.
- 2009
- MEMOCODE 2009
Conference paper