Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Amir Nahir
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.