Advanced search
Advanced search in people
IEEE Micro > 2011 > 31 > 4 > 30 - 41
IEEE Transactions on Computers > 2011 > 60 > 4 > 484 - 497
Formal Methods in Computer Aided Design > 217 - 220
IEEE Computer Architecture Letters > 2009 > 8 > 2 > 56 - 59