Search results for: Amir Nahir
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Hardware Verification Track > 16-33
Lecture Notes in Computer Science > Computer Aided Verification > Session 12: Hardware Verification I > 433-445
Lecture Notes in Computer Science > Managing Virtualization of Networks and Services > Session 3: Performance Tuning and Dimensioning > 74-85
IEEE Transactions on Parallel and Distributed Systems > 2016 > 27 > 2 > 494 - 507
IEEE/ACM Transactions on Networking > 2015 > 23 > 6 > 1998 - 2009
IEEE/ACM Transactions on Networking > 2014 > 22 > 2 > 405 - 414
2013 Proceedings IEEE INFOCOM > 510 - 514
2012 Proceedings IEEE INFOCOM > 2566 - 2570
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2012 > 31 > 8 > 1297 - 1302