A Mechanized Semantic Metalanguage for High Level Synthesis.

William L. Harrison Chris Hathhorn Gerard Allwein

Published in: PPDP (2021)

Keyphrases

high level synthesis
domain specific
semantic information
natural language
computer vision
semantic network
parallel architecture
real world
optimal solution
multi agent systems
expert systems
signal processing
semantic web
semantic similarity