Login / Signup
Bit-Width Allocation for Hardware Accelerators for Scientific Computing Using SAT-Modulo Theory.
Adam B. Kinsman
Nicola Nicolici
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
</>
scientific computing
high performance computing
file system
computer vision
resource allocation
highly parallel
formal methods
workflow management