BibTeX record conf/iccd/GrossmanSHITBSWMTYGDDS08

• > Home > conf/iccd/GrossmanSHITBSWMTYGDDS08

@inproceedings{DBLP:conf/iccd/GrossmanSHITBSWMTYGDDS08,
  author       = {J. P. Grossman and
                  John K. Salmon and
                  C. Richard Ho and
                  Doug Ierardi and
                  Brian Towles and
                  Brannon Batson and
                  Jochen Spengler and
                  Stanley C. Wang and
                  Rolf Mueller and
                  Michael Theobald and
                  Cliff Young and
                  Joseph Gagliardo and
                  Martin M. Deneroff and
                  Ron O. Dror and
                  David E. Shaw},
  title        = {Hierarchical simulation-based verification of Anton, a special-purpose
                  parallel machine},
  booktitle    = {26th International Conference on Computer Design, {ICCD} 2008, 12-15
                  October 2008, Lake Tahoe, CA, USA, Proceedings},
  pages        = {340--347},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICCD.2008.4751883},
  doi          = {10.1109/ICCD.2008.4751883},
  timestamp    = {Thu, 23 Mar 2023 23:59:55 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/GrossmanSHITBSWMTYGDDS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}