BibTeX records: Amir Nahir

download as .bib file

@article{DBLP:journals/dt/KadryKMNSPPJS17,
  author       = {Wisam Kadry and
                  Dmitry Krestyashyn and
                  Arkadiy Morgenshtein and
                  Amir Nahir and
                  Vitali Sokhin and
                  Jin Sung Park and
                  Sung{-}Boem Park and
                  Wookyeong Jeong and
                  Jae{-}Cheol Son},
  title        = {Test Generation Methods for Utilization Improvement of Hardware-Accelerated
                  Simulation Platforms},
  journal      = {{IEEE} Des. Test},
  volume       = {34},
  number       = {1},
  pages        = {65--76},
  year         = {2017},
  url          = {https://doi.org/10.1109/MDAT.2016.2527998},
  doi          = {10.1109/MDAT.2016.2527998},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dt/KadryKMNSPPJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/NahirOR16,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Danny Raz},
  title        = {Replication-Based Load Balancing},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {27},
  number       = {2},
  pages        = {494--507},
  year         = {2016},
  url          = {https://doi.org/10.1109/TPDS.2015.2400456},
  doi          = {10.1109/TPDS.2015.2400456},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/NahirOR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/NahirOR16,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Danny Raz},
  editor       = {Sema Oktug and
                  Mehmet Ulema and
                  Cicek Cavdar and
                  Lisandro Zambenedetti Granville and
                  Carlos Raniery Paula dos Santos},
  title        = {Reversing the supermarket: {A} distributed approach for handling elasticity
                  in the cloud},
  booktitle    = {2016 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
                  2016, Istanbul, Turkey, April 25-29, 2016},
  pages        = {87--95},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/NOMS.2016.7502800},
  doi          = {10.1109/NOMS.2016.7502800},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/noms/NahirOR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/DusanapudiFFGKK15,
  author       = {Manoj Dusanapudi and
                  S. Fields and
                  Michael S. Floyd and
                  Guy L. Guthrie and
                  Ronald N. Kalla and
                  Shakti Kapoor and
                  L. S. Leitner and
                  Charles F. Marino and
                  Joseph McGill and
                  Amir Nahir and
                  Kevin Reick and
                  H. Shen and
                  K. L. Wright},
  title        = {Debugging post-silicon fails in the {IBM} {POWER8} bring-up lab},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {59},
  number       = {1},
  year         = {2015},
  url          = {https://doi.org/10.1147/JRD.2014.2380272},
  doi          = {10.1147/JRD.2014.2380272},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/DusanapudiFFGKK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/SchubertLABBCGH15,
  author       = {Klaus{-}Dieter Schubert and
                  John M. Ludden and
                  Salma Ayub and
                  J. Behrend and
                  Bishop Brock and
                  Fady Copty and
                  S. M. German and
                  Oz Hershkovitz and
                  H. Horbach and
                  Jonathan R. Jackson and
                  K. Keuerleber and
                  J. Koesters and
                  L. S. Leitner and
                  G. B. Meil and
                  Charles Meissner and
                  Ronny Morad and
                  Amir Nahir and
                  Viresh Paruthi and
                  Richard D. Peterson and
                  Randall R. Pratt and
                  Michal Rimon and
                  John Schumann},
  title        = {Solutions to {IBM} {POWER8} verification challenges},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {59},
  number       = {1},
  year         = {2015},
  url          = {https://doi.org/10.1147/JRD.2014.2380271},
  doi          = {10.1147/JRD.2014.2380271},
  timestamp    = {Thu, 28 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ibmrd/SchubertLABBCGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/NahirOR15,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Danny Raz},
  title        = {Workload Factoring: {A} Game-Theoretic Perspective},
  journal      = {{IEEE/ACM} Trans. Netw.},
  volume       = {23},
  number       = {6},
  pages        = {1998--2009},
  year         = {2015},
  url          = {https://doi.org/10.1109/TNET.2014.2354572},
  doi          = {10.1109/TNET.2014.2354572},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ton/NahirOR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KadryKMNSPPJS15,
  author       = {Wisam Kadry and
                  Dmitry Krestyashyn and
                  Arkadiy Morgenshtein and
                  Amir Nahir and
                  Vitali Sokhin and
                  Jin Sung Park and
                  Sung{-}Boem Park and
                  Wookyeong Jeong and
                  Jae{-}Cheol Son},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Comparative study of test generation methods for simulation accelerators},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {321--324},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2755825},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/KadryKMNSPPJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/NahirOR15,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Danny Raz},
  editor       = {Remi Badonnel and
                  Jin Xiao and
                  Shingo Ata and
                  Filip De Turck and
                  Voicu Groza and
                  Carlos Raniery Paula dos Santos},
  title        = {Resource allocation and management in Cloud Computing},
  booktitle    = {{IFIP/IEEE} International Symposium on Integrated Network Management,
                  {IM} 2015, Ottawa, ON, Canada, 11-15 May, 2015},
  pages        = {1078--1084},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/INM.2015.7140436},
  doi          = {10.1109/INM.2015.7140436},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/im/NahirOR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Nahir14,
  author       = {Amir Nahir},
  title        = {Design and management of complex distributed systems: optimization
                  and game-theoretic perspectives},
  school       = {Technion - Israel Institute of Technology, Israel},
  year         = {2014},
  url          = {https://technion.primo.exlibrisgroup.com/permalink/972TEC\_INST/q1jq5o/alma990024985710203971},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/il/Nahir14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/NahirOF14,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Ari Freund},
  title        = {Topology Design of Communication Networks: {A} Game-Theoretic Perspective},
  journal      = {{IEEE/ACM} Trans. Netw.},
  volume       = {22},
  number       = {2},
  pages        = {405--414},
  year         = {2014},
  url          = {https://doi.org/10.1109/TNET.2013.2254125},
  doi          = {10.1109/TNET.2013.2254125},
  timestamp    = {Wed, 03 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ton/NahirOF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NahirDKRRSSW14,
  author       = {Amir Nahir and
                  Manoj Dusanapudi and
                  Shakti Kapoor and
                  Kevin Reick and
                  Wolfgang Roesner and
                  Klaus{-}Dieter Schubert and
                  Keith Sharp and
                  Greg Wetli},
  title        = {Post-Silicon Validation of the {IBM} {POWER8} Processor},
  booktitle    = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
                  Francisco, CA, USA, June 1-5, 2014},
  pages        = {56:1--56:6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593069.2593183},
  doi          = {10.1145/2593069.2593183},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NahirDKRRSSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AdirGHHHHKKLMNPSOTTZ14,
  author       = {Allon Adir and
                  Dave Goodman and
                  Daniel Hershcovich and
                  Oz Hershkovitz and
                  Bryan G. Hickerson and
                  Karen Holtz and
                  Wisam Kadry and
                  Anatoly Koyfman and
                  John M. Ludden and
                  Charles Meissner and
                  Amir Nahir and
                  Randall R. Pratt and
                  Mike Schiffli and
                  Brett St. Onge and
                  Brian W. Thompto and
                  Elena Tsanko and
                  Avi Ziv},
  title        = {Verification of Transactional Memory in {POWER8}},
  booktitle    = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
                  Francisco, CA, USA, June 1-5, 2014},
  pages        = {58:1--58:6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593069.2593241},
  doi          = {10.1145/2593069.2593241},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AdirGHHHHKKLMNPSOTTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FriedlerKMNS14,
  author       = {Ophir Friedler and
                  Wisam Kadry and
                  Arkadiy Morgenshtein and
                  Amir Nahir and
                  Vitali Sokhin},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Effective post-silicon failure localization using dynamic program
                  slicing},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.332},
  doi          = {10.7873/DATE.2014.332},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/FriedlerKMNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KadryKKLNS13,
  author       = {Wisam Kadry and
                  Anatoly Koyfman and
                  Dmitry Krestyashyn and
                  Shimon Landa and
                  Amir Nahir and
                  Vitali Sokhin},
  editor       = {Valeria Bertacco and
                  Axel Legay},
  title        = {Improving Post-silicon Validation Efficiency by Using Pre-generated
                  Data},
  booktitle    = {Hardware and Software: Verification and Testing - 9th International
                  Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
                  5-7, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8244},
  pages        = {166--181},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03077-7\_12},
  doi          = {10.1007/978-3-319-03077-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/KadryKKLNS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChatterjeeMLGMNZB13,
  author       = {Debapriya Chatterjee and
                  Biruk Mammo and
                  Doowon Lee and
                  Raviv Gal and
                  Ronny Morad and
                  Amir Nahir and
                  Avi Ziv and
                  Valeria Bertacco},
  editor       = {J{\"{o}}rg Henkel},
  title        = {Hybrid checking for microarchitectural validation of microprocessor
                  designs on acceleration platforms},
  booktitle    = {The {IEEE/ACM} International Conference on Computer-Aided Design,
                  ICCAD'13, San Jose, CA, USA, November 18-21, 2013},
  pages        = {311--317},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICCAD.2013.6691137},
  doi          = {10.1109/ICCAD.2013.6691137},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/ChatterjeeMLGMNZB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/NahirOR13,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Danny Raz},
  title        = {Schedule first, manage later: Network-aware load balancing},
  booktitle    = {Proceedings of the {IEEE} {INFOCOM} 2013, Turin, Italy, April 14-19,
                  2013},
  pages        = {510--514},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/INFCOM.2013.6566825},
  doi          = {10.1109/INFCOM.2013.6566825},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/NahirOR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/BasuMPNA13,
  author       = {Kanad Basu and
                  Prabhat Mishra and
                  Priyadarsan Patra and
                  Amir Nahir and
                  Allon Adir},
  title        = {Dynamic Selection of Trace Signals for Post-Silicon Debug},
  booktitle    = {14th International Workshop on Microprocessor Test and Verification,
                  {MTV} 2013, Austin, TX, USA, December 11-13, 2013},
  pages        = {62--67},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/MTV.2013.13},
  doi          = {10.1109/MTV.2013.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mtv/BasuMPNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2012,
  editor       = {Armin Biere and
                  Amir Nahir and
                  Tanja E. J. Vos},
  title        = {Hardware and Software: Verification and Testing - 8th International
                  Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
                  6-8, 2012. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7857},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39611-3},
  doi          = {10.1007/978-3-642-39611-3},
  isbn         = {978-3-642-39610-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AdirNZ12,
  author       = {Allon Adir and
                  Amir Nahir and
                  Avi Ziv},
  title        = {Concurrent Generation of Concurrent Programs for Post-Silicon Validation},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {31},
  number       = {8},
  pages        = {1297--1302},
  year         = {2012},
  url          = {https://doi.org/10.1109/TCAD.2012.2189394},
  doi          = {10.1109/TCAD.2012.2189394},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/AdirNZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/NahirZP12,
  author       = {Amir Nahir and
                  Avi Ziv and
                  Subrat Panda},
  title        = {Optimizing test-generation to the execution platform},
  booktitle    = {Proceedings of the 17th Asia and South Pacific Design Automation Conference,
                  {ASP-DAC} 2012, Sydney, Australia, January 30 - February 2, 2012},
  pages        = {304--309},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ASPDAC.2012.6164964},
  doi          = {10.1109/ASPDAC.2012.6164964},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/NahirZP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PaulaHN12,
  author       = {Flavio M. de Paula and
                  Alan J. Hu and
                  Amir Nahir},
  editor       = {P. Madhusudan and
                  Sanjit A. Seshia},
  title        = {nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon
                  Debug Traces},
  booktitle    = {Computer Aided Verification - 24th International Conference, {CAV}
                  2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7358},
  pages        = {513--531},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31424-7\_37},
  doi          = {10.1007/978-3-642-31424-7\_37},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PaulaHN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/NahirOR12,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Danny Raz},
  title        = {Distributed oblivious load balancing using prioritized job replication},
  booktitle    = {8th International Conference on Network and Service Management, {CNSM}
                  2012, Las Vegas, NV, USA, October 22-26, 2012},
  pages        = {55--63},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6379992/},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cnsm/NahirOR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MammoCPNZMB12,
  author       = {Biruk Mammo and
                  Debapriya Chatterjee and
                  Dmitry Pidan and
                  Amir Nahir and
                  Avi Ziv and
                  Ronny Morad and
                  Valeria Bertacco},
  editor       = {Wolfgang Rosenstiel and
                  Lothar Thiele},
  title        = {Approximating checkers for simulation acceleration},
  booktitle    = {2012 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
  pages        = {153--158},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/DATE.2012.6176449},
  doi          = {10.1109/DATE.2012.6176449},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/MammoCPNZMB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BalstonHWN12,
  author       = {Kyle Balston and
                  Alan J. Hu and
                  Steven J. E. Wilton and
                  Amir Nahir},
  title        = {Emulation in post-silicon validation: It's not just for functionality
                  anymore},
  booktitle    = {2012 {IEEE} International High Level Design Validation and Test Workshop,
                  {HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
  pages        = {110--117},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/HLDVT.2012.6418252},
  doi          = {10.1109/HLDVT.2012.6418252},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/BalstonHWN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/PaulGKNP12,
  author       = {John Paul and
                  Elena Guralnik and
                  Anatoly Koyfman and
                  Amir Nahir and
                  Subrat Panda},
  editor       = {Armin Biere and
                  Amir Nahir and
                  Tanja E. J. Vos},
  title        = {Leveraging Accelerated Simulation for Floating-Point Regression},
  booktitle    = {Hardware and Software: Verification and Testing - 8th International
                  Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
                  6-8, 2012. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7857},
  pages        = {118--131},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39611-3\_15},
  doi          = {10.1007/978-3-642-39611-3\_15},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/PaulGKNP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/NahirOR12,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Danny Raz},
  editor       = {Albert G. Greenberg and
                  Kazem Sohraby},
  title        = {Workload factoring with the cloud: {A} game-theoretic perspective},
  booktitle    = {Proceedings of the {IEEE} {INFOCOM} 2012, Orlando, FL, USA, March
                  25-30, 2012},
  pages        = {2566--2570},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/INFCOM.2012.6195654},
  doi          = {10.1109/INFCOM.2012.6195654},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/NahirOR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PaulaNNOH11,
  author       = {Flavio M. de Paula and
                  Amir Nahir and
                  Ziv Nevo and
                  Avigail Orni and
                  Alan J. Hu},
  editor       = {Leon Stok and
                  Nikil D. Dutt and
                  Soha Hassoun},
  title        = {TAB-BackSpace: unlimited-length trace buffers with zero additional
                  on-chip overhead},
  booktitle    = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
                  San Diego, California, USA, June 5-10, 2011},
  pages        = {411--416},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2024724.2024821},
  doi          = {10.1145/2024724.2024821},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/PaulaNNOH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AdirNSZMS11,
  author       = {Allon Adir and
                  Amir Nahir and
                  Gil Shurek and
                  Avi Ziv and
                  Charles Meissner and
                  John Schumann},
  editor       = {Leon Stok and
                  Nikil D. Dutt and
                  Soha Hassoun},
  title        = {Leveraging pre-silicon verification resources for the post-silicon
                  validation of the {IBM} {POWER7} processor},
  booktitle    = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
                  San Diego, California, USA, June 5-10, 2011},
  pages        = {569--574},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2024724.2024856},
  doi          = {10.1145/2024724.2024856},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AdirNSZMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AdirGLNSSZ11,
  author       = {Allon Adir and
                  Maxim Golubev and
                  Shimon Landa and
                  Amir Nahir and
                  Gil Shurek and
                  Vitali Sokhin and
                  Avi Ziv},
  editor       = {Leon Stok and
                  Nikil D. Dutt and
                  Soha Hassoun},
  title        = {Threadmill: a post-silicon exerciser for multi-threaded processors},
  booktitle    = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
                  San Diego, California, USA, June 5-10, 2011},
  pages        = {860--865},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2024724.2024916},
  doi          = {10.1145/2024724.2024916},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AdirGLNSSZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AdirCLNSZMS11,
  author       = {Allon Adir and
                  Shady Copty and
                  Shimon Landa and
                  Amir Nahir and
                  Gil Shurek and
                  Avi Ziv and
                  Charles Meissner and
                  John Schumann},
  title        = {A unified methodology for pre-silicon verification and post-silicon
                  validation},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
                  March 14-18, 2011},
  pages        = {1590--1595},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/DATE.2011.5763252},
  doi          = {10.1109/DATE.2011.5763252},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/AdirCLNSZMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/BreitgandCNR10,
  author       = {David Breitgand and
                  Rami Cohen and
                  Amir Nahir and
                  Danny Raz},
  title        = {On cost-aware monitoring for self-adaptive load sharing},
  journal      = {{IEEE} J. Sel. Areas Commun.},
  volume       = {28},
  number       = {1},
  pages        = {70--83},
  year         = {2010},
  url          = {https://doi.org/10.1109/JSAC.2010.100108},
  doi          = {10.1109/JSAC.2010.100108},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsac/BreitgandCNR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NahirZGHACBFBK10,
  author       = {Amir Nahir and
                  Avi Ziv and
                  Rajesh Galivanche and
                  Alan J. Hu and
                  Miron Abramovici and
                  Albert Camilleri and
                  Bob Bentley and
                  Harry Foster and
                  Valeria Bertacco and
                  Shakti Kapoor},
  editor       = {Sachin S. Sapatnekar},
  title        = {Bridging pre-silicon verification and post-silicon validation},
  booktitle    = {Proceedings of the 47th Design Automation Conference, {DAC} 2010,
                  Anaheim, California, USA, July 13-18, 2010},
  pages        = {94--95},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1837274.1837300},
  doi          = {10.1145/1837274.1837300},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NahirZGHACBFBK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AdirNZMS10,
  author       = {Allon Adir and
                  Amir Nahir and
                  Avi Ziv and
                  Charles Meissner and
                  John Schumann},
  editor       = {Sharon Barner and
                  Ian G. Harris and
                  Daniel Kroening and
                  Orna Raz},
  title        = {Reaching Coverage Closure in Post-silicon Validation},
  booktitle    = {Hardware and Software: Verification and Testing - 6th International
                  Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
                  4-7, 2010. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6504},
  pages        = {60--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19583-9\_10},
  doi          = {10.1007/978-3-642-19583-9\_10},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/AdirNZMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EisnerNY09,
  author       = {Cindy Eisner and
                  Amir Nahir and
                  Karen Yorav},
  title        = {Functional verification of power gated designs by compositional reasoning},
  journal      = {Formal Methods Syst. Des.},
  volume       = {35},
  number       = {1},
  pages        = {40--55},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-009-0077-x},
  doi          = {10.1007/S10703-009-0077-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/EisnerNY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/NahirOF09,
  author       = {Amir Nahir and
                  Ariel Orda and
                  Ari Freund},
  title        = {Topology Design and Control: {A} Game-Theoretic Perspective},
  booktitle    = {{INFOCOM} 2009. 28th {IEEE} International Conference on Computer Communications,
                  Joint Conference of the {IEEE} Computer and Communications Societies,
                  19-25 April 2009, Rio de Janeiro, Brazil},
  pages        = {1620--1628},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/INFCOM.2009.5062080},
  doi          = {10.1109/INFCOM.2009.5062080},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/NahirOF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EisnerNY08,
  author       = {Cindy Eisner and
                  Amir Nahir and
                  Karen Yorav},
  editor       = {Aarti Gupta and
                  Sharad Malik},
  title        = {Functional Verification of Power Gated Designs by Compositional Reasoning},
  booktitle    = {Computer Aided Verification, 20th International Conference, {CAV}
                  2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5123},
  pages        = {433--445},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70545-1\_42},
  doi          = {10.1007/978-3-540-70545-1\_42},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/EisnerNY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsom/BreitgandCNR07,
  author       = {David Breitgand and
                  Rami Cohen and
                  Amir Nahir and
                  Danny Raz},
  editor       = {Alexander Clemm and
                  Lisandro Zambenedetti Granville and
                  Rolf Stadler},
  title        = {On Fully Distributed Adaptive Load Balancing},
  booktitle    = {Managing Virtualization of Networks and Services, 18th {IFIP/IEEE}
                  International Workshop on Distributed Systems: Operations and Management,
                  {DSOM} 2007, San Jos{\'{e}}, CA, USA, October 29-31, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4785},
  pages        = {74--85},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75694-1\_7},
  doi          = {10.1007/978-3-540-75694-1\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsom/BreitgandCNR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/BreitgandCNR07,
  author       = {David Breitgand and
                  Rami Cohen and
                  Amir Nahir and
                  Danny Raz},
  title        = {Using the Right Amount of Monitoring in Adaptive Load Sharing},
  booktitle    = {Fourth International Conference on Autonomic Computing (ICAC'07),
                  Jacksonville, Florida, USA, June 11-15, 2007},
  pages        = {7},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICAC.2007.41},
  doi          = {10.1109/ICAC.2007.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icac/BreitgandCNR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsos/BreitgandCNR07,
  author       = {David Breitgand and
                  Rami Cohen and
                  Amir Nahir and
                  Danny Raz},
  editor       = {David Hutchison and
                  Randy H. Katz},
  title        = {Cost Aware Adaptive Load Sharing},
  booktitle    = {Self-Organizing Systems, Second International Workshop, {IWSOS} 2007,
                  The Lake District, UK, September 11-13, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4725},
  pages        = {208--224},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74917-2\_17},
  doi          = {10.1007/978-3-540-74917-2\_17},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwsos/BreitgandCNR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NahirZEKR06,
  author       = {Amir Nahir and
                  Avi Ziv and
                  Roy Emek and
                  Tal Keidar and
                  Nir Ronen},
  editor       = {Ellen Sentovich},
  title        = {Scheduling-based test-case generation for verification of multimedia
                  SoCs},
  booktitle    = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
                  San Francisco, CA, USA, July 24-28, 2006},
  pages        = {348--351},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146909.1146999},
  doi          = {10.1145/1146909.1146999},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NahirZEKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/NahirSZ06,
  author       = {Amir Nahir and
                  Yossi Shiloach and
                  Avi Ziv},
  editor       = {Eyal Bin and
                  Avi Ziv and
                  Shmuel Ur},
  title        = {Using Linear Programming Techniques for Scheduling-Based Random Test-Case
                  Generation},
  booktitle    = {Hardware and Software, Verification and Testing, Second International
                  Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
                  23-26, 2006. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4383},
  pages        = {16--33},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-70889-6\_2},
  doi          = {10.1007/978-3-540-70889-6\_2},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/NahirSZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics