Search dblp for Publications

export results for "Bit-Width Allocation for Hardware Accelerators for Scientific Computing Using SAT-Modulo Theory"

 download as .bib file

@article{DBLP:journals/tcad/KinsmanN10,
  author       = {Adam B. Kinsman and
                  Nicola Nicolici},
  title        = {Bit-Width Allocation for Hardware Accelerators for Scientific Computing
                  Using SAT-Modulo Theory},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {29},
  number       = {3},
  pages        = {405--413},
  year         = {2010}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics