dblp.uni-trier.dewww.uni-trier.de

Amir Nahir

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1David Breitgand [3] [4] [5]
2Rami Cohen [3] [4] [5]
3Cindy Eisner [6]
4Roy Emek [2]
5Tal Keidar [2]
6Danny Raz [3] [4] [5]
7Nir Ronen [2]
8Yossi Shiloach [1]
9Karen Yorav (Karen Laster) [6]
10Avi Ziv [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)