Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Daniel K. Beece
@inproceedings{DBLP:conf/dac/BeeceXVZL10, author = {Daniel K. Beece and Jinjun Xiong and Chandu Visweswariah and Vladimir Zolotov and Yifang Liu}, editor = {Sachin S. Sapatnekar}, title = {Transistor sizing of custom high-performance digital circuits with parametric yield considerations}, booktitle = {Proceedings of the 47th Design Automation Conference, {DAC} 2010, Anaheim, California, USA, July 13-18, 2010}, pages = {781--786}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1837274.1837472}, doi = {10.1145/1837274.1837472}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/BeeceXVZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/VisweswariahRKWNBPVH06, author = {Chandramouli Visweswariah and K. Ravindran and Kerim Kalafala and Steven G. Walker and S. Narayan and Daniel K. Beece and Jeff Piaget and Natesan Venkateswaran and Jeffrey G. Hemmett}, title = {First-Order Incremental Block-Based Statistical Timing Analysis}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {25}, number = {10}, pages = {2170--2180}, year = {2006}, url = {https://doi.org/10.1109/TCAD.2005.862751}, doi = {10.1109/TCAD.2005.862751}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/VisweswariahRKWNBPVH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ibmrd/WazlowskiABBBCDGGHHHNOSSSTTUV05, author = {Michael E. Wazlowski and Narasimha R. Adiga and Daniel K. Beece and Ralph Bellofatto and Matthias A. Blumrich and Dong Chen and Marc Boris Dombrowa and Alan Gara and Mark Giampapa and Ruud A. Haring and Philip Heidelberger and Dirk Hoenicke and Ben J. Nathanson and Martin Ohmacht and Robert Sharrar and Sarabjeet Singh and Burkhard D. Steinmacher{-}Burow and R. Brett Tremaine and Mickey Tsao and Arun R. Umamaheshwaran and Pavlos Vranas}, title = {Verification strategy for the Blue Gene/L chip}, journal = {{IBM} J. Res. Dev.}, volume = {49}, number = {2-3}, pages = {303--318}, year = {2005}, url = {https://doi.org/10.1147/rd.492.0303}, doi = {10.1147/RD.492.0303}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ibmrd/WazlowskiABBBCDGGHHHNOSSSTTUV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/GuptaRSBBFPOS03, author = {Rajesh K. Gupta and Shishpal Rawat and Sandeep K. Shukla and Brian Bailey and Daniel K. Beece and Masahiro Fujita and Carl Pixley and John O'Leary and Fabio Somenzi}, title = {Formal verification - prove it or pitch it}, booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003, Anaheim, CA, USA, June 2-6, 2003}, pages = {710--711}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/775832.776013}, doi = {10.1145/775832.776013}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/GuptaRSBBFPOS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cluster/AlmasiAB02, author = {George S. Alm{\'{a}}si and Daniel K. Beece and Ralph Bellofatto and Gyan Bhanot and Randy Bickford and Matthias A. Blumrich and Arthur A. Bright and Jos{\'{e}} R. Brunheroto and Calin Cascaval and Jos{\'{e}} G. Casta{\~{n}}os and Luis Ceze and Paul Coteus and Siddhartha Chatterjee and Dong Chen and George L.{-}T. Chiu and Thomas M. Cipolla and Paul Crumley and Alina Deutsch and Marc Boris Dombrowa and Wilm E. Donath and Maria Eleftheriou and Blake G. Fitch and Joseph Gagliano and Alan Gara and Robert S. Germain and Mark Giampapa and Manish Gupta and Fred G. Gustavson and Shawn Hall and Ruud A. Haring and David F. Heidel and Philip Heidelberger and Lorraine Herger and Dirk Hoenicke and T. Jamal{-}Eddine and Gerard V. Kopcsay and Alphonso P. Lanzetta and Derek Lieber and M. Lu and Mark P. Mendell and Lawrence S. Mok and Jos{\'{e}} E. Moreira and Ben J. Nathanson and Matthew Newton and Martin Ohmacht and Rick A. Rand and Richard D. Regan and Ramendra K. Sahoo and Alda Sanomiya and Eugen Schenfeld and Sarabjeet Singh and Peilin Song and Burkhard D. Steinmacher{-}Burow and Karin Strauss and Richard A. Swetz and Todd Takken and R. Brett Tremaine and Mickey Tsao and Pavlos Vranas and T. J. Christopher Ward and Michael E. Wazlowski and J. Brown and Thomas A. Liebsch and A. Schram and G. Ulsh}, title = {Blue Gene/L, a System-On-A-Chip}, booktitle = {2002 {IEEE} International Conference on Cluster Computing {(CLUSTER} 2002), 23-26 September 2002, Chicago, IL, {USA}}, pages = {349}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/CLUSTR.2002.1137766}, doi = {10.1109/CLUSTR.2002.1137766}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cluster/AlmasiAB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sc/AdigaAA02, author = {Narasimha R. Adiga and George Alm{\'{a}}si and George S. Alm{\'{a}}si and Yariv Aridor and Rajkishore Barik and Daniel K. Beece and Ralph Bellofatto and Gyan Bhanot and Randy Bickford and Matthias A. Blumrich and Arthur A. Bright and Jos{\'{e}} R. Brunheroto and Calin Cascaval and Jos{\'{e}} G. Casta{\~{n}}os and Waiman Chan and Luis Ceze and Paul Coteus and Siddhartha Chatterjee and Dong Chen and George L.{-}T. Chiu and Thomas M. Cipolla and Paul Crumley and K. M. Desai and Alina Deutsch and Tamar Domany and Marc Boris Dombrowa and Wilm E. Donath and Maria Eleftheriou and C. Christopher Erway and J. Esch and Blake G. Fitch and Joseph Gagliano and Alan Gara and Rahul Garg and Robert S. Germain and Mark Giampapa and Balaji Gopalsamy and John A. Gunnels and Manish Gupta and Fred G. Gustavson and Shawn Hall and Ruud A. Haring and David F. Heidel and Philip Heidelberger and Lorraine Herger and Dirk Hoenicke and R. D. Jackson and T. Jamal{-}Eddine and Gerard V. Kopcsay and Elie Krevat and Manish P. Kurhekar and Alphonso P. Lanzetta and Derek Lieber and L. K. Liu and M. Lu and Mark P. Mendell and A. Misra and Yosef Moatti and Lawrence S. Mok and Jos{\'{e}} E. Moreira and Ben J. Nathanson and Matthew Newton and Martin Ohmacht and Adam J. Oliner and Vinayaka Pandit and R. B. Pudota and Rick A. Rand and Richard D. Regan and Bradley Rubin and Albert E. Ruehli and Silvius Vasile Rus and Ramendra K. Sahoo and Alda Sanomiya and Eugen Schenfeld and M. Sharma and Edi Shmueli and Sarabjeet Singh and Peilin Song and Vijay Srinivasan and Burkhard D. Steinmacher{-}Burow and Karin Strauss and Christopher W. Surovic and Richard A. Swetz and Todd Takken and R. Brett Tremaine and Mickey Tsao and Arun R. Umamaheshwaran and P. Verma and Pavlos Vranas and T. J. Christopher Ward and Michael E. Wazlowski and W. Barrett and C. Engel and B. Drehmel and B. Hilgart and D. Hill and F. Kasemkhani and David J. Krolak and Chun{-}Tao Li and Thomas A. Liebsch and James A. Marcella and A. Muff and A. Okomo and M. Rouse and A. Schram and M. Tubbs and G. Ulsh and Charles D. Wait and J. Wittrup and Myung Bae and Kenneth A. Dockser and Lynn Kissel and Mark K. Seager and Jeffrey S. Vetter and K. Yates}, editor = {Roscoe C. Giles and Daniel A. Reed and Kathryn Kelley}, title = {An overview of the BlueGene/L Supercomputer}, booktitle = {Proceedings of the 2002 {ACM/IEEE} conference on Supercomputing, Baltimore, Maryland, USA, November 16-22, 2002, {CD-ROM}}, pages = {7:1--7:22}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/SC.2002.10017}, doi = {10.1109/SC.2002.10017}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sc/AdigaAA02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ibmsj/AllenAA01, author = {Frances E. Allen and George S. Alm{\'{a}}si and Wanda Andreoni and Daniel K. Beece and Bruce J. Berne and Arthur A. Bright and Jos{\'{e}} R. Brunheroto and Calin Cascaval and Jos{\'{e}} G. Casta{\~{n}}os and Paul Coteus and Paul Crumley and Alessandro Curioni and Monty Denneau and Wilm E. Donath and Maria Eleftheriou and Blake G. Fitch and Bruce M. Fleischer and Christos J. Georgiou and Robert S. Germain and Mark Giampapa and Donna L. Gresh and Manish Gupta and Ruud A. Haring and C. T. Howard Ho and Peter H. Hochschild and Susan Flynn Hummel and Tiziana Jonas and Derek Lieber and Glenn J. Martyna and Kiran K. Maturu and Jos{\'{e}} E. Moreira and Dennis M. Newns and Matthew Newton and Robert Philhower and Thomas Picunko and Jed W. Pitera and Michael Pitman and Rick A. Rand and Ajay K. Royyuru and Valentina Salapura and Alda Sanomiya and Rahul S. Shah and Yuk Yin Sham and Sarabjeet Singh and Marc Snir and Frank Suits and Richard A. Swetz and William C. Swope and Nagesh K. Vishnumurthy and T. J. Christopher Ward and Henry S. Warren Jr. and Ruhong Zhou}, title = {Blue Gene: {A} vision for protein science using a petaflop supercomputer}, journal = {{IBM} Syst. J.}, volume = {40}, number = {2}, pages = {310--327}, year = {2001}, url = {https://doi.org/10.1147/sj.402.0310}, doi = {10.1147/SJ.402.0310}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ibmsj/AllenAA01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jssc/WebbASSLWCKMCSF97, author = {Charles F. Webb and Carl J. Anderson and Leon J. Sigal and Kenneth L. Shepard and John S. Liptay and James D. Warnock and Brian W. Curran and Barry Krumm and Mark D. Mayo and Peter J. Camporese and Eric M. Schwarz and Mark S. Farrell and Phillip J. Restle and Robert M. Averill III and Timothy J. Slegel and William V. Huott and Yuen H. Chan and Bruce Wile and Thao N. Nguyen and Philip G. Emma and Daniel K. Beece and Ching{-}Te Chuang and Cyril Price}, title = {A 4.1-ns compact 54{\texttimes}54-b multiplier utilizing sign-select Booth encoders}, journal = {{IEEE} J. Solid State Circuits}, volume = {32}, number = {11}, pages = {1676--1682}, year = {1997}, url = {https://doi.org/10.1109/4.641687}, doi = {10.1109/4.641687}, timestamp = {Tue, 26 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jssc/WebbASSLWCKMCSF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/ShepardCBHN97, author = {Kenneth L. Shepard and Sean M. Carey and Daniel K. Beece and Robert F. Hatch and Gregory A. Northrop}, title = {Design Methodology for the High-Performance {G4} {S/390}}, booktitle = {Proceedings 1997 International Conference on Computer Design: {VLSI} in Computers {\&} Processors, {ICCD} '97, Austin, Texas, USA, October 12-15, 1997}, pages = {232--240}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ICCD.1997.628873}, doi = {10.1109/ICCD.1997.628873}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccd/ShepardCBHN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurodac/BeeceDPS90, author = {Daniel K. Beece and Robert F. Damiano and Georgina Papp and R. Schoen}, editor = {Gordon Adshead and Jochen A. G. Jess}, title = {The {EVE} companion simulator}, booktitle = {European Design Automation Conference, {EURO-DAC} 1990, Glasgow, Scotland, UK, March 12-15, 1990}, pages = {290--295}, publisher = {{IEEE} Computer Society}, year = {1990}, url = {https://doi.org/10.1109/EDAC.1990.136661}, doi = {10.1109/EDAC.1990.136661}, timestamp = {Tue, 14 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurodac/BeeceDPS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/BarzilaiBHIS88, author = {Zeev Barzilai and Daniel K. Beece and Leendert M. Huisman and Vijay S. Iyengar and Gabriel M. Silberman}, title = {SLS-a fast switch-level simulator [for {MOS]}}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {7}, number = {8}, pages = {838--849}, year = {1988}, url = {https://doi.org/10.1109/43.3214}, doi = {10.1109/43.3214}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/BarzilaiBHIS88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/BeeceDPV88, author = {Daniel K. Beece and George Deibert and Georgina Papp and Frank Villante}, editor = {Dennis W. Shaklee and A. Richard Newton}, title = {The {IBM} Engineering Verification Engine}, booktitle = {Proceedings of the 25th {ACM/IEEE} Conference on Design Automation, {DAC} '88, Anaheim, CA, USA, June 12-15, 1988}, pages = {218--224}, publisher = {{ACM}}, year = {1988}, url = {http://portal.acm.org/citation.cfm?id=285730.285766}, timestamp = {Fri, 12 Mar 2021 15:27:48 +0100}, biburl = {https://dblp.org/rec/conf/dac/BeeceDPV88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/BarzilaiBHIS86, author = {Zeev Barzilai and Daniel K. Beece and Leendert M. Huisman and Vijay S. Iyengar and Gabriel M. Silberman}, editor = {Don Thomas}, title = {{SLS} - a fast switch level simulator for verification and fault coverage analysis}, booktitle = {Proceedings of the 23rd {ACM/IEEE} Design Automation Conference. Las Vegas, NV, USA, June, 1986}, pages = {164--170}, publisher = {{IEEE} Computer Society Press}, year = {1986}, url = {https://doi.org/10.1145/318013.318039}, doi = {10.1145/318013.318039}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/BarzilaiBHIS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ibmrd/BarzilaiBHS84, author = {Zeev Barzilai and Daniel K. Beece and Leendert M. Huisman and Gabriel M. Silberman}, title = {Using a Hardware Simulation Engine for Custom {MOS} Structured Designs}, journal = {{IBM} J. Res. Dev.}, volume = {28}, number = {5}, pages = {564--571}, year = {1984}, url = {https://doi.org/10.1147/rd.285.0564}, doi = {10.1147/RD.285.0564}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ibmrd/BarzilaiBHS84.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.