Sign in

Symbolic simulation of dataflow synchronous programs with timers.

Guillaume BaudartTimothy BourkeMarc Pouzet
Published in: FDL (2017)
Keyphrases
  • intermediate level
  • control flow
  • simulation model
  • data flow
  • simulation environment
  • simulation models
  • data mining
  • artificial intelligence
  • artificial neural networks
  • evolutionary algorithm
  • design methodology