Login / Signup

Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis.

Felix WintersteinSamuel BaylissGeorge A. Constantinides
Published in: FCCM (2014)
Keyphrases
  • high level synthesis
  • modal logic
  • image processing
  • logic programming
  • stereo matching
  • fault tolerant