Anita Lungu Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2009
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Meng Zhang, Anita Lungu, Daniel J. Sorin: Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. DFT 2009: 277-285
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anita Lungu, Pradip Bose, Alper Buyuktosunoglu, Daniel J. Sorin: Dynamic power gating with quality guarantees. ISLPED 2009: 377-382
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen: Multicore power management: Ensuring robustness via early-stage formal verification. MEMOCODE 2009: 78-87
2007
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anita Lungu, Daniel J. Sorin: Verification-Aware Microprocessor Design. PACT 2007: 83-93

Coauthor Index

1Pradip Bose
[c3] [c2]
2Alper Buyuktosunoglu
[c3]
3Steven German
[c2]
4Geert Janssen
[c2]
5Daniel J. Sorin
[c4] [c3] [c2] [c1]
6Meng Zhang
[c4]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 14:31:07 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page