אמיר נהיר

יצירת קשר

מנחים

פרסומים נבחרים

Amir Nahir, Yossi Shiloach and Avi Ziv.
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.
In Haifa Verification Conference, 16-33, 2006 [bibtex]
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar and Nir Ronen.
Scheduling-based test-case generation for verification of multimedia SoCs.
In DAC, 348-351, 2006 [bibtex]
David Breitgand, Rami Cohen, Amir Nahir and Danny Raz.
Using the Right Amount of Monitoring in Adaptive Load Sharing.
In ICAC, 7, 2007 [bibtex]

מדעי המחשב