Search results
DAC Design Automation Conference 2012 > 924 - 929
2010 International SoC Design Conference > 83 - 86
International Conference on Green Computing > 309 - 316
2010 Proceedings IEEE INFOCOM > 1 - 9
2009 Formal Methods in Computer-Aided Design > 136 - 143