BibTeX records: Daniel K. Beece

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics