Search results
IEEE Transactions on Consumer Electronics > 2010 > 56 > 3 > 1927 - 1932
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2010 > 18 > 6 > 875 - 886
IEEE Annals of the History of Computing > 2010 > 32 > 3 > 30 - 39
IEEE Transactions on Circuits and Systems I: Regular Papers > 2010 > 57 > 5 > 1083 - 1094
2009 Formal Methods in Computer-Aided Design > 180 - 183
OCEANS 2009 > 1 - 9
2009 46th ACM/IEEE Design Automation Conference > 358 - 363
Proceedings of the IEEE > 2009 > 97 > 4 > 660 - 688
IEEE Transactions on Computers > 2009 > 58 > 9 > 1153 - 1170