Symbolic Simulation of Dataflow Synchronous Programs with Timers.

Guillaume Baudart Timothy Bourke Marc Pouzet

Published in: FDL (Selected Papers) (2017)

Keyphrases

control flow
intermediate level
simulation model
data flow
simulation models
high level language
decision trees
databases
mathematical models
database machine
simulation environment
communication systems
mathematical model
control system
multi agent systems
information systems
data mining
real world