Amir Nahir Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allon Adir, Amir Nahir, Avi Ziv: Concurrent Generation of Concurrent Programs for Post-Silicon Validation. IEEE Trans. on CAD of Integrated Circuits and Systems 31(8): 1297-1302 (2012)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir Nahir, Avi Ziv, Subrat Panda: Optimizing test-generation to the execution platform. ASP-DAC 2012: 304-309
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flavio M. de Paula, Alan J. Hu, Amir Nahir: nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. CAV 2012: 513-531
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir Nahir, Ariel Orda, Danny Raz: Distributed oblivious load balancing using prioritized job replication. CNSM 2012: 55-63
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco: Approximating checkers for simulation acceleration. DATE 2012: 153-158
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir Nahir, Ariel Orda, Danny Raz: Workload factoring with the cloud: A game-theoretic perspective. INFOCOM 2012: 2566-2570
2011
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu: TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. DAC 2011: 411-416
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allon Adir, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann: Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. DAC 2011: 569-574
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv: Threadmill: a post-silicon exerciser for multi-threaded processors. DAC 2011: 860-865
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allon Adir, Shady Copty, Shimon Landa, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann: A unified methodology for pre-silicon verification and post-silicon validation. DATE 2011: 1590-1595
2010
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Breitgand, Rami Cohen, Amir Nahir, Danny Raz: On cost-aware monitoring for self-adaptive load sharing. IEEE Journal on Selected Areas in Communications 28(1): 70-83 (2010)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor: Bridging pre-silicon verification and post-silicon validation. DAC 2010: 94-95
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann: Reaching Coverage Closure in Post-silicon Validation. Haifa Verification Conference 2010: 60-75
2009
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cindy Eisner, Amir Nahir, Karen Yorav: Functional verification of power gated designs by compositional reasoning. Formal Methods in System Design 35(1): 40-55 (2009)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir Nahir, Ariel Orda, A. Freund: Topology Design and Control: A Game-Theoretic Perspective. INFOCOM 2009: 1620-1628
2008
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cindy Eisner, Amir Nahir, Karen Yorav: Functional Verification of Power Gated Designs by Compositional Reasoning. CAV 2008: 433-445
2007
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Breitgand, Rami Cohen, Amir Nahir, Danny Raz: On Fully Distributed Adaptive Load Balancing. DSOM 2007: 74-85
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Breitgand, Rami Cohen, Amir Nahir, Danny Raz: Using the Right Amount of Monitoring in Adaptive Load Sharing. ICAC 2007: 7
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Breitgand, Rami Cohen, Amir Nahir, Danny Raz: Cost Aware Adaptive Load Sharing. IWSOS 2007: 208-224
2006
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen: Scheduling-based test-case generation for verification of multimedia SoCs. DAC 2006: 348-351
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir Nahir, Yossi Shiloach, Avi Ziv: Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. Haifa Verification Conference 2006: 16-33

Coauthor Index

1Miron Abramovici
[c9]
2Allon Adir
[j3] [c12] [c11] [c10] [c8]
3Bob Bentley
[c9]
4Valeria Bertacco
[c15] [c9]
5David Breitgand
[j2] [c5] [c4] [c3]
6Albert Camilleri
[c9]
7Debapriya Chatterjee
[c15]
8Rami Cohen
[j2] [c5] [c4] [c3]
9Shady Copty
[c10]
10Cindy Eisner
[j1] [c6]
11Roy Emek
[c2]
12Harry Foster
[c9]
13A. Freund
[c7]
14Rajesh Galivanche
[c9]
15Maxim Golubev
[c11]
16Alan J. Hu
[c17] [c13] [c9]
17Shakti Kapoor
[c9]
18Tal Keidar
[c2]
19Shimon Landa
[c11] [c10]
20Biruk Mammo
[c15]
21Charles Meissner
[c12] [c10] [c8]
22Ronny Morad
[c15]
23Ziv Nevo
[c13]
24Ariel Orda
[c16] [c14] [c7]
25Avigail Orni
[c13]
26Subrat Panda
[c18]
27Flavio M. de Paula
[c17] [c13]
28Dmitry Pidan
[c15]
29Danny Raz
[c16] [c14] [j2] [c5] [c4] [c3]
30Nir Ronen
[c2]
31John Schumann
[c12] [c10] [c8]
32Yossi Shiloach
[c1]
33Gil Shurek
[c12] [c11] [c10]
34Vitali Sokhin
[c11]
35Karen Yorav (Karen Laster)
[j1] [c6]
36Avi Ziv
[j3] [c18] [c15] [c12] [c11] [c10] [c9] [c8] [c2] [c1]

Colors in the list of coauthors

Last update Mon May 20 19:19:26 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page