BibTeX records: Kevin Normoyle

download as .bib file

@inproceedings{DBLP:conf/dac/BacchiniDBBNIY04,
  author    = {Francine Bacchini and
               Robert F. Damiano and
               Bob Bentley and
               Kurt Baty and
               Kevin Normoyle and
               Makoto Ishii and
               Einat Yogev},
  editor    = {Sharad Malik and
               Limor Fix and
               Andrew B. Kahng},
  title     = {Verification: what works and what doesn't},
  booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
               San Diego, CA, USA, June 7-11, 2004},
  pages     = {274},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://doi.org/10.1145/996566.996648},
  doi       = {10.1145/996566.996648},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/BacchiniDBBNIY04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MelamedSWCNB02,
  author    = {Victor Melamed and
               Harry Stuimer and
               David Wilkins and
               Lawrence Chang and
               Kevin Normoyle and
               Sutikshan Bhutani},
  editor    = {Doron A. Peled and
               Moshe Y. Vardi},
  title     = {Innovative Verification Techniques Used in the Implementation of a
               Third-Generation 1.1GHz 64b Microprocessor},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
               USA, November 11-14, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2529},
  pages     = {360--363},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36135-9\_23},
  doi       = {10.1007/3-540-36135-9\_23},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/MelamedSWCNB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/Normoyle01,
  author    = {Kevin Normoyle},
  title     = {Where are the Async Millionaires?},
  booktitle = {7th International Symposium on Advanced Research in Asynchronous Circuits
               and Systems {(ASYNC} 2001), 11-14 March 2001, Salt Lake City, UT,
               {USA}},
  pages     = {138},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ASYNC.2001.10005},
  doi       = {10.1109/ASYNC.2001.10005},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/async/Normoyle01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/NormoyleCTJFM98,
  author    = {Kevin Normoyle and
               Michael A. Csoppenszky and
               Allan Tzeng and
               Timothy P. Johnson and
               Christopher D. Furman and
               Jamshid Mostoufi},
  title     = {UltraSPARC-II/: expanding the boundaries of a system on a chip},
  journal   = {{IEEE} Micro},
  volume    = {18},
  number    = {2},
  pages     = {14--24},
  year      = {1998},
  url       = {https://doi.org/10.1109/40.671399},
  doi       = {10.1109/40.671399},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/micro/NormoyleCTJFM98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/GreenleyBCCEFFGGGHKKKLMMNNPPPTWYYYYZ95,
  author    = {Dale Greenley and
               J. Bauman and
               D. Chang and
               Dennis Chen and
               R. Eltejaein and
               P. Ferolito and
               P. Fu and
               Robert B. Garner and
               D. Greenhill and
               H. Grewal and
               Kalon Holdbrook and
               B. Kim and
               Leslie Kohn and
               H. Kwan and
               M. Levitt and
               Guillermo Maturana and
               D. Mrazek and
               Chitresh Narasimhaiah and
               Kevin Normoyle and
               N. Parveen and
               P. Patel and
               A. Prabhu and
               Marc Tremblay and
               Michelle Wong and
               L. Yang and
               Krishna Yarlagadda and
               Robert K. Yu and
               Robert Yung and
               Gregory B. Zyner},
  title     = {UltraSPARC: The Next Generation Superscalar 64-bit {SPARC}},
  booktitle = {{COMPCON} '95: Technologies for the Information Superhighway, Digest
               of Papers, San Francisco, California, USA, March 5-9, 1995},
  pages     = {442--451},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {https://doi.org/10.1109/CMPCON.1995.512421},
  doi       = {10.1109/CMPCON.1995.512421},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/compcon/GreenleyBCCEFFGGGHKKKLMMNNPPPTWYYYYZ95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics