Anita Lungu

According to our database, Anita Lungu authored at least 4 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

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

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

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Dynamic power gating with quality guarantees.

Anita Lungu, Pradip Bose, Alper Buyuktosunoglu, Daniel J. Sorin

Proceedings of the 2009 International Symposium on Low Power Electronics and Design, 2009

Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms.

Meng Zhang, Anita Lungu, Daniel J. Sorin

Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009

2007

Verification-Aware Microprocessor Design.

Anita Lungu, Daniel J. Sorin

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007