Search dblp for Publications

export results for "toc:db/conf/micro/micro1976.bht:"

 download as .bib file

@inproceedings{DBLP:conf/micro/Andrews76,
  author       = {Michael Andrews},
  title        = {A bit slice architecture for microprogrammable machines},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {5--8},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804778},
  doi          = {10.1145/800145.804778},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/Andrews76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/BlikleB76,
  author       = {Andrzej Blikle and
                  Stanislaw Budkowski},
  title        = {Certification of microprograms by an algebraic method},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {9--14},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804779},
  doi          = {10.1145/800145.804779},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/BlikleB76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/Chattergy76,
  author       = {Rahul Chattergy},
  title        = {Microprogrammed implementation of a scheduler},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {15--19},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804780},
  doi          = {10.1145/800145.804780},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/Chattergy76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/DeWitt76,
  author       = {David J. DeWitt},
  title        = {Extensibility - a new approach for designing machine independent microprogramming
                  languages},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {33--41},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804783},
  doi          = {10.1145/800145.804783},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/DeWitt76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/DemcoM76,
  author       = {J. C. Demco and
                  T. Anthony Marsland},
  title        = {An insight into {PDP-11} emulation},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {20--26},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804781},
  doi          = {10.1145/800145.804781},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/DemcoM76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/DennisJ76,
  author       = {T. Don Dennis and
                  Olin G. Johnson},
  title        = {Design problems in emulating the {MIX} computer on the Microdata 1600},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {27--32},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804782},
  doi          = {10.1145/800145.804782},
  timestamp    = {Fri, 16 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/micro/DennisJ76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/ForbesWYP76,
  author       = {Brian Forbes and
                  Tom Weidner and
                  Ron Yoder and
                  Tony Pitchford},
  title        = {Realizing a virtual machine},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {42--46},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804784},
  doi          = {10.1145/800145.804784},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/ForbesWYP76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/Frieder76,
  author       = {Gideon Frieder},
  title        = {The {FORTRAN} project - a multifaceted approach to software-firmware
                  high level language support},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {47--50},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804785},
  doi          = {10.1145/800145.804785},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/Frieder76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/JoynerCL76,
  author       = {William H. Joyner Jr. and
                  William C. Carter and
                  George B. Leeman Jr.},
  title        = {Automated proofs of microprogram correctness},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {51--55},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804786},
  doi          = {10.1145/800145.804786},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/JoynerCL76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/NowlinG76,
  author       = {Robert W. Nowlin and
                  Donald Gustafson},
  title        = {A microprogrammed machine architecture for efficient matrix multiplication},
  booktitle    = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  pages        = {56--61},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800145.804787},
  doi          = {10.1145/800145.804787},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/NowlinG76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micro/1976,
  title        = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
                  1976, New Orleans, Louisiana, USA, September 27-29, 1976},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {http://dl.acm.org/citation.cfm?id=800145},
  timestamp    = {Thu, 25 Sep 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/micro/1976.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}