Performance debugging of Esterel specifications.

Lei Ju Bach Khoa Huynh Abhik Roychoudhury Samarjit Chakraborty

Published in: CODES+ISSS (2008)

Keyphrases

circuit design
execution traces
high level
formal specification
databases
computer vision
specification language
delay insensitive
machine learning
information retrieval
software engineering
written in natural language