A Formal Framework for High Level Synthesis.

Thomas Kropf Klaus Schneider Ramayya Kumar

Published in: TPCD (1994)

Keyphrases

high level synthesis
probabilistic model
dynamic environments
theoretical framework
formal model
information systems
pattern recognition
online learning
fault tolerance