Instantaneous Termination in Pure Esterel.

Olivier Tardieu Robert de Simone

Published in: SAS (2003)

Keyphrases

circuit design
rewrite systems
term rewriting
neural network
information retrieval
user interface
active rules
data sets
databases
video sequences
expert systems
relational databases
probabilistic model