Inproceedings,
Correct-by-construction microarchitectural pipelining.
T. Kam, M. Kishinevsky, J. Cortadella, and M. Oms.ICCAD, page 434-441. IEEE Computer Society, (2008)
Meta data
- BibTeX key
- conf/iccad/KamKCO08
- entry type
- inproceedings
- booktitle
- ICCAD
- year
- 2008
- pages
- 434-441
- publisher
- IEEE Computer Society
- crossref
- conf/iccad/2008
- ee
- https://www.wikidata.org/entity/Q56892226
- isbn
- 978-1-4244-2820-5
- url
- http://dblp.uni-trier.de/db/conf/iccad/iccad2008.html#KamKCO08
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iccad/KamKCO08
%A Kam, Timothy
%A Kishinevsky, Michael
%A Cortadella, Jordi
%A Oms, Marc Galceran
%B ICCAD
%D 2008
%E Nassif, Sani R.
%E Roychowdhury, Jaijeet S.
%I IEEE Computer Society
%K dblp
%P 434-441
%T Correct-by-construction microarchitectural pipelining.
%U http://dblp.uni-trier.de/db/conf/iccad/iccad2008.html#KamKCO08
%@ 978-1-4244-2820-5
@inproceedings{conf/iccad/KamKCO08,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Kam, Timothy and Kishinevsky, Michael and Cortadella, Jordi and Oms, Marc Galceran},
biburl = {https://www.bibsonomy.org/bibtex/274b7439f3d1eda7dd64c30407d847bbf/dblp},
booktitle = {ICCAD},
crossref = {conf/iccad/2008},
editor = {Nassif, Sani R. and Roychowdhury, Jaijeet S.},
ee = {https://www.wikidata.org/entity/Q56892226},
interhash = {68e61cd1ecce2e8cac8b0230953256e5},
intrahash = {74b7439f3d1eda7dd64c30407d847bbf},
isbn = {978-1-4244-2820-5},
keywords = {dblp},
pages = {434-441},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T17:54:13.000+0200},
title = {Correct-by-construction microarchitectural pipelining.},
url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2008.html#KamKCO08},
year = 2008
}