| 2008 |
|---|
| 6 | EE | Cindy Eisner,
Amir Nahir,
Karen Yorav:
Functional Verification of Power Gated Designs by Compositional Reasoning.
CAV 2008: 433-445 |
| 2007 |
|---|
| 5 | EE | David Breitgand,
Rami Cohen,
Amir Nahir,
Danny Raz:
On Fully Distributed Adaptive Load Balancing.
DSOM 2007: 74-85 |
| 4 | EE | David Breitgand,
Rami Cohen,
Amir Nahir,
Danny Raz:
Using the Right Amount of Monitoring in Adaptive Load Sharing.
ICAC 2007: 7 |
| 3 | EE | David Breitgand,
Rami Cohen,
Amir Nahir,
Danny Raz:
Cost Aware Adaptive Load Sharing.
IWSOS 2007: 208-224 |
| 2006 |
|---|
| 2 | EE | Amir Nahir,
Avi Ziv,
Roy Emek,
Tal Keidar,
Nir Ronen:
Scheduling-based test-case generation for verification of multimedia SoCs.
DAC 2006: 348-351 |
| 1 | EE | Amir Nahir,
Yossi Shiloach,
Avi Ziv:
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.
Haifa Verification Conference 2006: 16-33 |
