Search results
IEEE Transactions on Computers > 2010 > 59 > 2 > 174 - 187
IEEE Transactions on Communications > 2010 > 58 > 1 > 247 - 256
2009 Formal Methods in Computer-Aided Design > 184 - 187
2009 NORCHIP > 1 - 5
2009 14th International CSI Computer Conference > 225 - 230
2009 IEEE 8th International Conference on ASIC > 1280 - 1283
2009 14th International CSI Computer Conference > 242 - 246