Anita Lungu

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen
Multicore power management: Ensuring robustness via early-stage formal verification. MEMOCODE (2009)
Anita Lungu, Pradip Bose, Alper Buyuktosunoglu, Daniel J. Sorin
Dynamic power gating with quality guarantees. ISLPED (2009)
Meng Zhang, Anita Lungu, Daniel J. Sorin
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. DFT (2009)
Anita Lungu, Daniel J. Sorin
Verification-Aware Microprocessor Design. PACT (2007)