Amir Nahir

41 papers A* 12A 5B 3Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2017 J jnl
Test Generation Methods for Utilization Improvement of Hardware-Accelerated Simulation Platforms.
IEEE Des. Test
Wisam Kadry, Dmitry Krestyashyn, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin, Jin Sung Park, Sung-Boem Park, Wookyeong Jeong, Jae-Cheol Son
2016 J jnl
Replication-Based Load Balancing.
IEEE Trans. Parallel Distributed Syst.
Amir Nahir, Ariel Orda, Danny Raz
2016 B conf
Reversing the supermarket: A distributed approach for handling elasticity in the cloud.
NOMS
Amir Nahir, Ariel Orda, Danny Raz
2015 A conf
Comparative study of test generation methods for simulation accelerators.
DATE
Wisam Kadry, Dmitry Krestyashyn, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin, Jin Sung Park, Sung-Boem Park, Wookyeong Jeong, Jae-Cheol Son
2015 J jnl
Debugging post-silicon fails in the IBM POWER8 bring-up lab.
IBM J. Res. Dev.
Manoj Dusanapudi, S. Fields, Michael S. Floyd, Guy L. Guthrie, Ronald N. Kalla, Shakti Kapoor, Larry S. Leitner, Charles F. Marino, Joseph McGill, Amir Nahir, Kevin Reick, H. Shen, K. L. Wright
2015 B conf
Resource allocation and management in Cloud Computing.
IM
Amir Nahir, Ariel Orda, Danny Raz
2015 J jnl
Solutions to IBM POWER8 verification challenges.
IBM J. Res. Dev.
Klaus-Dieter Schubert, John M. Ludden, Salma Ayub, J. Behrend, Bishop Brock, Fady Copty, S. M. German, Oz Hershkovitz, H. Horbach, Jonathan R. Jackson, K. Keuerleber, J. Koesters, Larry S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann
2015 J jnl
Workload Factoring: A Game-Theoretic Perspective.
IEEE/ACM Trans. Netw.
Amir Nahir, Ariel Orda, Danny Raz
2014 — —
Design and management of complex distributed systems: optimization and game-theoretic perspectives.
Amir Nahir
2014 A conf
Effective post-silicon failure localization using dynamic program slicing.
DATE
Ophir Friedler, Wisam Kadry, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin
2014 A* conf
Post-Silicon Validation of the IBM POWER8 Processor.
DAC
Amir Nahir, Manoj Dusanapudi, Shakti Kapoor, Kevin Reick, Wolfgang Roesner, Klaus-Dieter Schubert, Keith Sharp, Greg Wetli
2014 J jnl
Topology Design of Communication Networks: A Game-Theoretic Perspective.
IEEE/ACM Trans. Netw.
Amir Nahir, Ariel Orda, Ari Freund
2014 A* conf
Verification of Transactional Memory in POWER8.
DAC
Allon Adir, Dave Goodman, Daniel Hershcovich, Oz Hershkovitz, Bryan G. Hickerson, Karen Holtz, Wisam Kadry, Anatoly Koyfman, John M. Ludden, Charles Meissner, Amir Nahir, Randall R. Pratt, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv
2013 — conf
Dynamic Selection of Trace Signals for Post-Silicon Debug.
MTV
Kanad Basu, Prabhat Mishra, Priyadarsan Patra, Amir Nahir, Allon Adir
2013 — ed.
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Haifa Verification Conference
Armin Biere, Amir Nahir, Tanja E. J. Vos
2013 A conf
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms.
ICCAD
Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco
2013 — conf
Improving Post-silicon Validation Efficiency by Using Pre-generated Data.
Haifa Verification Conference
Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin
2013 A* conf
Schedule first, manage later: Network-aware load balancing.
INFOCOM
Amir Nahir, Ariel Orda, Danny Raz
2012 A conf
Approximating checkers for simulation acceleration.
DATE
Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco
2012 J jnl
Concurrent Generation of Concurrent Programs for Post-Silicon Validation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Allon Adir, Amir Nahir, Avi Ziv
2012 B conf
Distributed oblivious load balancing using prioritized job replication.
CNSM
Amir Nahir, Ariel Orda, Danny Raz
2012 — conf
Emulation in post-silicon validation: It's not just for functionality anymore.
HLDVT
Kyle Balston, Alan J. Hu, Steven J. E. Wilton, Amir Nahir
2012 — conf
Leveraging Accelerated Simulation for Floating-Point Regression.
Haifa Verification Conference
John Paul, Elena Guralnik, Anatoly Koyfman, Amir Nahir, Subrat Panda
2012 — conf
Optimizing test-generation to the execution platform.
ASP-DAC
Amir Nahir, Avi Ziv, Subrat Panda
2012 A* conf
Workload factoring with the cloud: A game-theoretic perspective.
INFOCOM
Amir Nahir, Ariel Orda, Danny Raz
2012 A* conf
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces.
CAV
Flavio M. de Paula, Alan J. Hu, Amir Nahir
2011 A conf
A unified methodology for pre-silicon verification and post-silicon validation.
DATE
Allon Adir, Shady Copty, Shimon Landa, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
2011 A* conf
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor.
DAC
Allon Adir, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
2011 A* conf
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead.
DAC
Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu
2011 A* conf
Threadmill: a post-silicon exerciser for multi-threaded processors.
DAC
Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv
2010 A* conf
Bridging pre-silicon verification and post-silicon validation.
DAC
Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor
2010 J jnl
On cost-aware monitoring for self-adaptive load sharing.
IEEE J. Sel. Areas Commun.
David Breitgand, Rami Cohen, Amir Nahir, Danny Raz
2010 — conf
Reaching Coverage Closure in Post-silicon Validation.
Haifa Verification Conference
Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann
2009 J jnl
Functional verification of power gated designs by compositional reasoning.
Formal Methods Syst. Des.
Cindy Eisner, Amir Nahir, Karen Yorav
2009 A* conf
Topology Design and Control: A Game-Theoretic Perspective.
INFOCOM
Amir Nahir, Ariel Orda, Ari Freund
2008 A* conf
Functional Verification of Power Gated Designs by Compositional Reasoning.
CAV
Cindy Eisner, Amir Nahir, Karen Yorav
2007 — conf
Cost Aware Adaptive Load Sharing.
IWSOS
David Breitgand, Rami Cohen, Amir Nahir, Danny Raz
2007 — conf
On Fully Distributed Adaptive Load Balancing.
DSOM
David Breitgand, Rami Cohen, Amir Nahir, Danny Raz
2007 — conf
Using the Right Amount of Monitoring in Adaptive Load Sharing.
ICAC
David Breitgand, Rami Cohen, Amir Nahir, Danny Raz
2006 A* conf
Scheduling-based test-case generation for verification of multimedia SoCs.
DAC
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen
2006 — conf
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.
Haifa Verification Conference
Amir Nahir, Yossi Shiloach, Avi Ziv